diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-11 19:59:04 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-21 18:02:09 +0100 |
commit | 5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f (patch) | |
tree | fb87b835ef95af91f5d9303d5f596285ac2b525b /tests | |
parent | 4163b249428d1f27843ecc4e5b7c9c7dac0698dd (diff) | |
download | dotty-5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f.tar.gz dotty-5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f.tar.bz2 dotty-5103f1720a26ac16c2b6b8bde1fe5717b3e5b78f.zip |
Make asSeenFrom idempotent
Let asSeenFrom generate a marker annotated type
for any unsafe instantiation. Then cleanup in
typedSelect.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/i583a.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/pos/i583a.scala b/tests/pos/i583a.scala index a97a3998b..7a7b1f848 100644 --- a/tests/pos/i583a.scala +++ b/tests/pos/i583a.scala @@ -1,3 +1,15 @@ +object Test { + + class C { + type T + val f: T = ??? + def foo(x: T): T = x + } + + var x = new C + val y = x.foo(???) + +} object Test1 { class Box[B](x: B) |