1 files changed, 27 insertions, 0 deletions
diff --git a/test/files/res/t597/Test.scala b/test/files/res/t597/Test.scala
new file mode 100644
index 0000000000..2f63f46c3d
--- /dev/null
+++ b/test/files/res/t597/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";
+  }
+}