diff options
author | Paul Phillips <paulp@improving.org> | 2011-08-24 17:11:55 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-08-24 17:11:55 +0000 |
commit | b9785280a7138a2bb52060faf94807aa0d07dec1 (patch) | |
tree | 870cc1930ac3d50cd07078260f58984224dd39a5 /test/files/neg/bug412.scala | |
parent | 84fcf633d9ca507124806d64729cb8463bcebb69 (diff) | |
download | scala-b9785280a7138a2bb52060faf94807aa0d07dec1.tar.gz scala-b9785280a7138a2bb52060faf94807aa0d07dec1.tar.bz2 scala-b9785280a7138a2bb52060faf94807aa0d07dec1.zip |
Renamed tests named bugXXX to tXXX, no review.
Diffstat (limited to 'test/files/neg/bug412.scala')
-rw-r--r-- | test/files/neg/bug412.scala | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/test/files/neg/bug412.scala b/test/files/neg/bug412.scala deleted file mode 100644 index 54cd90da1c..0000000000 --- a/test/files/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 >: Null; - 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(); - } - -} |