Initial version.

1 files changed, 49 insertions, 0 deletions

diff --git a/test/files/pos/test4refine.scala b/test/files/pos/test4refine.scala
new file mode 100644
index 0000000000..8e3fee70cc
--- /dev/null
+++ b/test/files/pos/test4refine.scala
@@ -0,0 +1,49 @@
+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 {
+    type Y = D;
+    def bar: E = foo(c,d);
+}
+
+abstract class O() {
+    type X;
+    abstract trait I {
+	type Y;
+        def foo(x: X, y: Y): E = e;
+    }
+    val i:I with { type Y = E } = null;
+    val j:I with { type Y = X } = null;
+}
+
+module o extends O() {
+  type X = 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;
+}
+