diff options
author | odersky <odersky@gmail.com> | 2015-12-21 19:02:48 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-12-21 19:02:48 +0100 |
commit | 08e3f7688c2364e7f6760b8be35cd4ea6b330a10 (patch) | |
tree | 09901334e47b0ecb191aefe7487b5626685c816d /tests/pos/i583a.scala | |
parent | 4163b249428d1f27843ecc4e5b7c9c7dac0698dd (diff) | |
parent | ac7f9f2c566337c91ea82195e950e5d3dd31c4d3 (diff) | |
download | dotty-08e3f7688c2364e7f6760b8be35cd4ea6b330a10.tar.gz dotty-08e3f7688c2364e7f6760b8be35cd4ea6b330a10.tar.bz2 dotty-08e3f7688c2364e7f6760b8be35cd4ea6b330a10.zip |
Merge pull request #999 from dotty-staging/change-idempotent-asSeenFrom
Change idempotent as seen from
Diffstat (limited to 'tests/pos/i583a.scala')
-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) |