fix^3: bug744

2 files changed, 23 insertions, 0 deletions

diff --git a/test/files/run/bug744.check b/test/files/run/bug744.check
new file mode 100644
index 0000000000..757bf01370
--- /dev/null
+++ b/test/files/run/bug744.check
@@ -0,0 +1,3 @@
+BEGIN
+Hello from linked
+END
diff --git a/test/files/run/bug744.scala b/test/files/run/bug744.scala
new file mode 100644
index 0000000000..4895e9baa0
--- /dev/null
+++ b/test/files/run/bug744.scala
@@ -0,0 +1,20 @@
+trait Linked {
+  type File <: FileImpl;
+  trait FileImpl {
+    Console.println("Hello from linked");
+  }
+}
+object Test {
+  class Test extends Linked {
+    trait FileImpl extends super.FileImpl {
+//      val x: int = 1
+    }
+    class File extends FileImpl;
+  }
+  def main(args : Array[String]) : Unit = {
+    Console.println("BEGIN");
+    val test = new Test;
+    val file = new test.File;
+    Console.println("END");
+  }
+}