1 files changed, 18 insertions, 0 deletions

diff --git a/test/files/neg/bug501.scala b/test/files/neg/bug501.scala
new file mode 100644
index 0000000000..454344974a
--- /dev/null
+++ b/test/files/neg/bug501.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");
+    System.out.println(i);
+  }
+}