1 files changed, 18 insertions, 0 deletions
diff --git a/tests/untried/neg/t501.scala b/tests/untried/neg/t501.scala
new file mode 100644
index 000000000..437ab8f21
--- /dev/null
+++ b/tests/untried/neg/t501.scala
@@ -0,0 +1,18 @@
+object Magic {
+  class O[X,Y] {
+    abstract class I { type T >: X <: Y; }
+    val i: I = null;
+    def magic(v: i.T): i.T = v;
+  }
+  def magic[X,Y](v: X): Y = {
+    val o: O[X,Y] = new O();
+    o.magic(v);
+  }
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val i: Int = Magic.magic("42");
+    Console.println(i);
+  }
+}