Enable test strip-tvars-for-lubbasetypes.scala

The test had to be slightly modified because of dotty's stricter
checking of type bounds validity, see #525 where this was discussed.

1 files changed, 0 insertions, 25 deletions

diff --git a/tests/pending/pos/strip-tvars-for-lubbasetypes.scala b/tests/pending/pos/strip-tvars-for-lubbasetypes.scala
deleted file mode 100644
index 2be8625ba..000000000
--- a/tests/pending/pos/strip-tvars-for-lubbasetypes.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-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
-  }
-
-  class A
-  class B extends A
-  class C extends A
-
-  val a = new A
-  val b = new B
-  val c = new C
-
-  val x1 = a === b
-  val x2 = b === a
-  val x3 = b === c // error, infers Object{} for T1
-  val x4 = b.===[A, B, B](c)
-
-  val x5 = b !!! c // always compiled due to the order of Ph2 and Ph
-
-
-
-}