2 files changed, 37 insertions, 0 deletions
diff --git a/test/files/res/bug597/Main.scala b/test/files/res/bug597/Main.scala
new file mode 100644
index 0000000000..24d1327135
--- /dev/null
+++ b/test/files/res/bug597/Main.scala
@@ -0,0 +1,10 @@
+package test;
+
+object Main {
+  def main(args : Array[String]) : Unit = {
+    new ExtC {
+      type A = Ax;
+      class Ax extends super.Ax;
+    }
+  }
+}
diff --git a/test/files/res/bug597/Test.scala b/test/files/res/bug597/Test.scala
new file mode 100644
index 0000000000..2f63f46c3d
--- /dev/null
+++ b/test/files/res/bug597/Test.scala
@@ -0,0 +1,27 @@
+package test;
+
+abstract class Base {
+  type A <: Ax;
+
+  abstract class Ax {
+    def a = null;
+    def string = "A";
+  }
+}
+trait ExtB extends Base {
+  type A <: Ax;
+  trait Ax extends super.Ax {
+    def c = null;
+    override def string = super.string + "C";
+  }
+}
+
+trait ExtC extends /*ExtA with*/ ExtB {
+  type A <: Ax;
+  trait Ax extends super.Ax {
+    a
+    c
+    def d = null;
+    override def string = super.string + "D";
+  }
+}