1 files changed, 45 insertions, 0 deletions
diff --git a/test/files/pos/test4.scala b/test/files/pos/test4.scala
new file mode 100644
index 0000000000..c71b65a283
--- /dev/null
+++ b/test/files/pos/test4.scala
@@ -0,0 +1,45 @@
+trait C {}
+trait D {}
+trait E {}
+
+module test {
+  def c: C = c;
+  def d: D = d;
+  def e: E = e;
+}
+
+import test._;
+
+trait S extends o.I[D] with {
+    def bar: E = foo(c,d);
+}
+
+class O[X]() {
+    trait I[Y] {
+        def foo(x: X, y: Y): E = e;
+    }
+    val i:I[E] = null;
+    val j:I[X] = null;
+}
+
+module o extends O[C]() {
+
+  def main = {
+    val s: S = null;
+    import s._;
+    foo(c,d);
+    o.i.foo(c,e);
+    o.j.foo(c,c);
+    bar
+  }
+}
+
+class Main() {
+  val s: S = null;
+  import s._;
+  foo(c,d);
+  o.i.foo(c,e);
+  o.j.foo(c,c);
+  bar;
+}
+