summaryrefslogtreecommitdiff
path: root/test/pending/neg
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2006-04-04 12:18:15 +0000
committerMartin Odersky <odersky@gmail.com>2006-04-04 12:18:15 +0000
commitac8b46abda17de619beb2b27dfe9d820c5e189cf (patch)
treeb908b07eb95280352dea767dd0fd8ac9890d8472 /test/pending/neg
parent486042e89abaa69b82f2d602d342f7b032ce7047 (diff)
downloadscala-ac8b46abda17de619beb2b27dfe9d820c5e189cf.tar.gz
scala-ac8b46abda17de619beb2b27dfe9d820c5e189cf.tar.bz2
scala-ac8b46abda17de619beb2b27dfe9d820c5e189cf.zip
Diffstat (limited to 'test/pending/neg')
-rw-r--r--test/pending/neg/bug412.scala31
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();
- }
-
-}