1 files changed, 29 insertions, 0 deletions

diff --git a/test/files/pos/bug703.scala b/test/files/pos/bug703.scala
new file mode 100755
index 0000000000..06686c6c0e
--- /dev/null
+++ b/test/files/pos/bug703.scala
@@ -0,0 +1,29 @@
+object Go {
+  trait A {
+    def f : Unit; // = Console.println("A");
+  }
+  trait B extends A {
+    abstract override def f = {
+      super.f;
+      Console.println("B");
+    }
+  }
+  trait C extends A {
+    abstract override def f = {
+      super.f;
+      Console.println("C");
+    }
+  }
+  trait D extends B with C {
+    abstract override def f = {
+      super.f;
+    }
+  }
+  class Super {
+    def f: Unit = Console.println("A")
+  }
+  def main(args : Array[String]) : Unit = {
+    object d extends Super with D
+    d.f;
+  }
+}