diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-05-03 18:19:46 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-05-03 18:19:51 +0200 |
commit | f162eb2d9e7effbad2676e92139fe5676a92d6ad (patch) | |
tree | 78644f03252f7a3c873b2b9076aa30bad228138f /tests/pending/pos | |
parent | bb6582bd265d22186570bef81d2a2f9ab3e23f9d (diff) | |
download | dotty-f162eb2d9e7effbad2676e92139fe5676a92d6ad.tar.gz dotty-f162eb2d9e7effbad2676e92139fe5676a92d6ad.tar.bz2 dotty-f162eb2d9e7effbad2676e92139fe5676a92d6ad.zip |
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.
Diffstat (limited to 'tests/pending/pos')
-rw-r--r-- | tests/pending/pos/strip-tvars-for-lubbasetypes.scala | 25 |
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 - - - -} |