1 files changed, 16 insertions, 0 deletions
diff --git a/tests/untried/pos/test4a.scala b/tests/untried/pos/test4a.scala
new file mode 100644
index 000000000..ada0ba4e5
--- /dev/null
+++ b/tests/untried/pos/test4a.scala
@@ -0,0 +1,16 @@
+trait C {}
+
+class O[X]() {
+    trait I[Y] {
+        def foo(y: Y): Y = y;
+    }
+    val j:I[X] = null;
+}
+
+object o extends O[C]() {
+  def c: C = c;
+  def main = {
+    o.j.foo(c);
+  }
+}
+