diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-10-24 17:45:14 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-10-24 17:45:24 +0200 |
| commit | addd4a645c0b3adb898c74cb9b1197bb04597467 (patch) | |
| tree | ae4da2623f7496d1cd71d4a7a5491569f90430a9 /tests/pos/blockescapes.scala | |
| parent | afa83000f39f0b10824cb11b84ab0e8b66a91241 (diff) | |
| download | dotty-addd4a645c0b3adb898c74cb9b1197bb04597467.tar.gz dotty-addd4a645c0b3adb898c74cb9b1197bb04597467.tar.bz2 dotty-addd4a645c0b3adb898c74cb9b1197bb04597467.zip | |
Flipping the logic to determine type leaks
Diffstat (limited to 'tests/pos/blockescapes.scala')
| -rw-r--r-- | tests/pos/blockescapes.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/pos/blockescapes.scala b/tests/pos/blockescapes.scala new file mode 100644 index 000000000..35d40974b --- /dev/null +++ b/tests/pos/blockescapes.scala @@ -0,0 +1,11 @@ +object blockescapes { + + { val x = 0; () } + val x0 = { class Foo; new Foo } + val x1 = {} + val x2 = { val z = 0 } + val m1 = { val x = 2; x } + + trait T + def m0: T = { object Foo { class Bar extends T } ; new Foo.Bar } +}
\ No newline at end of file |