1 files changed, 16 insertions, 0 deletions
diff --git a/tests/untried/pos/t397.scala b/tests/untried/pos/t397.scala
new file mode 100644
index 000000000..87be2987a
--- /dev/null
+++ b/tests/untried/pos/t397.scala
@@ -0,0 +1,16 @@
+abstract class Root {
+
+  abstract class Edge {
+    type V;
+    def source: V;
+  }
+
+  abstract class Graph {
+    type W;
+    type E <: Edge{type V = W};
+    def edge: E;
+  }
+
+  val g: Graph{type W = Int};
+  val x: Int = g.edge.source;
+}