*** empty log message ***

1 files changed, 0 insertions, 49 deletions

diff --git a/test/files/pos/test4refine.scala b/test/files/pos/test4refine.scala
deleted file mode 100644
index 6710962934..0000000000
--- a/test/files/pos/test4refine.scala
+++ /dev/null
@@ -1,49 +0,0 @@
-trait C {}
-trait D {}
-trait E {}
-
-object 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 { type Y = E } = null;
-    val j:I { type Y = X } = null;
-}
-
-object 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;
-}
-