Fixed problem with sensibility checks.

1 files changed, 9 insertions, 3 deletions

diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala
index 7527f80b13..00e015956c 100644
--- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala
@@ -448,9 +448,15 @@ abstract class RefChecks extends InfoTransform {
         }
         name match {
           case nme.EQ | nme.NE | nme.LT | nme.GT | nme.LE | nme.GE =>
-            val formal = fn.tpe.paramTypes.head.widen.symbol
-            val actual = args.head.tpe.widen.symbol
-            val receiver = qual.tpe.widen.symbol
+            def underlyingClass(tp: Type): Symbol = {
+              var sym = tp.widen.symbol
+              while (sym.isAbstractType)
+                sym = sym.info.bounds.hi.widen.symbol
+              sym
+            }
+            val formal = underlyingClass(fn.tpe.paramTypes.head)
+            val actual = underlyingClass(args.head.tpe)
+            val receiver = underlyingClass(qual.tpe)
             def nonSensibleWarning(what: String, alwaysEqual: boolean) =
               unit.warning(pos, "comparing "+what+" using `"+name.decode+"' will always yield "+
                            (alwaysEqual == (name == nme.EQ || name == nme.LE || name == nme.GE)))