diff options
author | Martin Odersky <odersky@gmail.com> | 2016-05-06 18:58:56 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 16:11:45 +0200 |
commit | 4baaa5ac03b165ef9b17922e85ef062460d002c9 (patch) | |
tree | 264ce0a0525fdeb17cb7ab18dd00d9a2d628c3d0 /src/dotty/tools/dotc/core/Definitions.scala | |
parent | cd8bf2d69cf1463fa16a69badb2a839f540bb2fa (diff) | |
download | dotty-4baaa5ac03b165ef9b17922e85ef062460d002c9.tar.gz dotty-4baaa5ac03b165ef9b17922e85ef062460d002c9.tar.bz2 dotty-4baaa5ac03b165ef9b17922e85ef062460d002c9.zip |
Check equality that with == and != makes sense
This is done by checking each instance of an eqAny implicit
so that it does not contain non-bottom instances of equality
types as instances.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index b99d0716b..d9f3432bd 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -433,7 +433,7 @@ class Definitions { def EqClass(implicit ctx: Context) = EqType.symbol.asClass def EqModule(implicit ctx: Context) = EqClass.companionModule - def Eq_eqAny(implicit ctx: Context) = EqModule.requiredMethodRef(nme.eqAny) + def Eq_eqAny(implicit ctx: Context) = EqModule.requiredMethod(nme.eqAny) // Annotation base classes lazy val AnnotationType = ctx.requiredClassRef("scala.annotation.Annotation") |