Enable test strip-tvars-for-lubbasetypes.scala

smarter · smarter · commit f162eb2d9e7e · 2015-05-03T18:19:51.000+02:00
The test had to be slightly modified because of dotty's stricter checking of type bounds validity, see scala#525 where this was discussed.
diff --git a/tests/pos/strip-tvars-for-lubbasetypes.scala b/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

Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	`object Test {`
`2`	`2`
`3`	`3`	`implicit final class EqualOps[T](val x: T) extends AnyVal {`
`4`		`- def ===[T1, Ph >: T <: T1, Ph2 >: Ph <: T1](other: T1): Boolean = x == other`
`5`		`- def !!![T1, Ph2 >: Ph <: T1, Ph >: T <: T1](other: T1): Boolean = x == other`
	`4`	`+ def ===[T1 >: T, Ph >: T <: T1, Ph2 >: Ph <: T1](other: T1): Boolean = x == other`
	`5`	`+ def !!![T1 >: T, Ph2 >: Ph <: T1, Ph >: T <: T1](other: T1): Boolean = x == other`
`6`	`6`	`}`
`7`	`7`
`8`	`8`	`class A`