diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-10-30 13:00:41 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-10-30 13:00:41 +0000 |
| commit | 640ecf38b7125ff0d2c926a9a634593640cd95b1 (patch) | |
| tree | 3f5aecd3a80d0ca2c02e3b92079ba0a0a34825b0 /test/files/pos/bug397.scala | |
| parent | f28285cee74e3f5da3bee5bdd18969566b75f736 (diff) | |
| download | scala-640ecf38b7125ff0d2c926a9a634593640cd95b1.tar.gz scala-640ecf38b7125ff0d2c926a9a634593640cd95b1.tar.bz2 scala-640ecf38b7125ff0d2c926a9a634593640cd95b1.zip | |
added healing for escaping singleton types.
fixed bug 397
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; +} |