1 files changed, 22 insertions, 0 deletions

diff --git a/test/files/neg/bug500.scala b/test/files/neg/bug500.scala
new file mode 100644
index 0000000000..d572cd8b80
--- /dev/null
+++ b/test/files/neg/bug500.scala
@@ -0,0 +1,22 @@
+object Magic {
+  abstract class O[X,Y] {
+    type T >: X <: Y;
+    class I { def magic(v: T): T = v; }
+  }
+  def magic[X,Y](v: X): Y = {
+    val o: O[X,Y] = null;
+    val i: o.I = new o.I();
+    i.magic(v);
+  }
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    try {
+      val i: Int = Magic.magic("42");
+      System.out.println(i);
+    } catch {
+      case ex: Throwable => ex.printStackTrace()
+    }
+  }
+}