diff options
| author | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-11-10 12:48:04 +0100 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-11-10 12:48:04 +0100 |
| commit | 60d59ee9f3ac37b59c93488f5e71fe38c5fff4b7 (patch) | |
| tree | 82c2e59eded49109923d095b799bb836b2bdc869 /src/compiler | |
| parent | 5a7875fd0e6af19286f3ff125d4ad9b311a7ad7e (diff) | |
| parent | b8f7fbee940856173dd19afddcd689495313c4cf (diff) | |
| download | scala-60d59ee9f3ac37b59c93488f5e71fe38c5fff4b7.tar.gz scala-60d59ee9f3ac37b59c93488f5e71fe38c5fff4b7.tar.bz2 scala-60d59ee9f3ac37b59c93488f5e71fe38c5fff4b7.zip | |
Merge pull request #4102 from retronym/ticket/8965
SI-8965 Account for corner case in "unrelated types" warning
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 59d1a6da85..d2931ff9e1 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -1095,7 +1095,7 @@ abstract class RefChecks extends InfoTransform with scala.reflect.internal.trans // better to have lubbed and lost def warnIfLubless(): Unit = { val common = global.lub(List(actual.tpe, receiver.tpe)) - if (ObjectTpe <:< common) + if (ObjectTpe <:< common && !(ObjectTpe <:< actual.tpe && ObjectTpe <:< receiver.tpe)) unrelatedTypes() } // warn if actual has a case parent that is not same as receiver's; |