diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-10-02 15:10:03 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-10-09 15:00:08 +0200 |
commit | d1014c3a2cf87b783f383e52b8923a42ee1bc31c (patch) | |
tree | fa7c393bae0d32b1688126530e9f6eacf279bc71 /tests | |
parent | c9c8f223f832a602f4487f3a6a5b75b8affe6280 (diff) | |
download | dotty-d1014c3a2cf87b783f383e52b8923a42ee1bc31c.tar.gz dotty-d1014c3a2cf87b783f383e52b8923a42ee1bc31c.tar.bz2 dotty-d1014c3a2cf87b783f383e52b8923a42ee1bc31c.zip |
Add pos test about escaping refinements
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/escapingRefs.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/pos/escapingRefs.scala b/tests/pos/escapingRefs.scala index c18720764..684dba868 100644 --- a/tests/pos/escapingRefs.scala +++ b/tests/pos/escapingRefs.scala @@ -4,6 +4,8 @@ class Outer { } } +class HasA { type A } + object Test { def test = { val a: Outer#Inner = { @@ -16,5 +18,13 @@ object Test { val i = new o.Inner new i.Inner2 } + + val c: HasA { type A = Int } = { + val h = new HasA { + type A = Int + } + val x: HasA { type A = h.A } = h + x + } } } |