Merge pull request #527 from smarter/enable/strip-tvars-test

Enable test strip-tvars-for-lubbasetypes.scala and disable debug message

Author: odersky

src/dotty/tools/dotc/core/ConstraintHandling.scala

@@ -191,7 +191,7 @@ trait ConstraintHandling {
           val lower = constraint.lower(param)
           val upper = constraint.upper(param)
           if (lower.nonEmpty && !bounds.lo.isRef(defn.NothingClass) ||
-            upper.nonEmpty && !bounds.hi.isRef(defn.AnyClass)) println(i"INIT*** $pt")
+            upper.nonEmpty && !bounds.hi.isRef(defn.AnyClass)) constr.println(i"INIT*** $pt")
           lower.forall(addOneBound(_, bounds.hi, isUpper = true)) &&
             upper.forall(addOneBound(_, bounds.lo, isUpper = false))
         }

tests/pending/pos/strip-tvars-for-lubbasetypes.scala renamed to tests/pos/strip-tvars-for-lubbasetypes.scala

@@ -1,8 +1,8 @@
 object Test {
 
   implicit final class EqualOps[T](val x: T) extends AnyVal {
-    def ===[T1, Ph >: T <: T1, Ph2 >: Ph <: T1](other: T1): Boolean = x == other
-    def !!![T1, Ph2 >: Ph <: T1, Ph >: T <: T1](other: T1): Boolean = x == other
+    def ===[T1 >: T, Ph >: T <: T1, Ph2 >: Ph <: T1](other: T1): Boolean = x == other
+    def !!![T1 >: T, Ph2 >: Ph <: T1, Ph >: T <: T1](other: T1): Boolean = x == other
   }
 
   class A