diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:46:44 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:47:46 +0200 |
| commit | c4f96837538e953df3473107bd5d622092f74d80 (patch) | |
| tree | b6f0cd0b6b12f129089964fe489df1ecb94ff751 /src/dotty/tools/dotc/core/Hashable.scala | |
| parent | 4e287d506eeb1d0463c3efd275327b55fce452f2 (diff) | |
| download | dotty-c4f96837538e953df3473107bd5d622092f74d80.tar.gz dotty-c4f96837538e953df3473107bd5d622092f74d80.tar.bz2 dotty-c4f96837538e953df3473107bd5d622092f74d80.zip | |
Fixing hashing for RefinedThis types.
... to bring it in sync with equals.
Diffstat (limited to 'src/dotty/tools/dotc/core/Hashable.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Hashable.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Hashable.scala b/src/dotty/tools/dotc/core/Hashable.scala index fc3b7d0c7..3eb08d774 100644 --- a/src/dotty/tools/dotc/core/Hashable.scala +++ b/src/dotty/tools/dotc/core/Hashable.scala @@ -33,7 +33,7 @@ trait Hashable { private def finishHash(hashCode: Int, arity: Int): Int = avoidNotCached(hashing.finalizeHash(hashCode, arity)) - protected final def identityHash = avoidNotCached(System.identityHashCode(this)) + final def identityHash = avoidNotCached(System.identityHashCode(this)) private def finishHash(seed: Int, arity: Int, tp: Type): Int = { val elemHash = tp.hash |