diff options
Diffstat (limited to 'test/pending/neg/bug412.scala')
-rw-r--r-- | test/pending/neg/bug412.scala | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/test/pending/neg/bug412.scala b/test/pending/neg/bug412.scala deleted file mode 100644 index 66de4761fb..0000000000 --- a/test/pending/neg/bug412.scala +++ /dev/null @@ -1,31 +0,0 @@ -object Magic { - - abstract class A[T1,T2]() { - trait C { type T; } - trait C1 extends C { type T = T1; } - trait C2 extends C { type T <: T2; } - - type CX; - val c: CX with C2 = null; - - def castA(x: c.T): T2 = x; - } - - class B[T1,T2] extends A[T1,T2]() { - type CX = C1; - - def castB(x: T1): T2 = castA(x); - } - - def cast[T1,T2](v: T1): T2 = - new B[T1,T2]().castB(v) - -} - -object Test { - - def main(args: Array[String]): Unit = { - Magic.cast[String,Exception]("xyz").printStackTrace(); - } - -} |