diff options
Diffstat (limited to 'test/files/pos/bug397.scala')
-rw-r--r-- | test/files/pos/bug397.scala | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/files/pos/bug397.scala b/test/files/pos/bug397.scala new file mode 100644 index 0000000000..87be2987ab --- /dev/null +++ b/test/files/pos/bug397.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; +} |