1 files changed, 31 insertions, 0 deletions
diff --git a/tests/untried/neg/t412.scala b/tests/untried/neg/t412.scala
new file mode 100644
index 000000000..54cd90da1
--- /dev/null
+++ b/tests/untried/neg/t412.scala
@@ -0,0 +1,31 @@
+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();
+  }
+
+}