diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-12 12:54:24 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-03-12 12:56:58 +0100 |
| commit | 8dba911ca8fdd25874209c4492a50213305c7fd7 (patch) | |
| tree | 1dffab758b06b529da4aa0174d2242c340eee536 /tests | |
| parent | fac74a618ae4666490cd8c7fd3f9604d877562d9 (diff) | |
| download | dotty-8dba911ca8fdd25874209c4492a50213305c7fd7.tar.gz dotty-8dba911ca8fdd25874209c4492a50213305c7fd7.tar.bz2 dotty-8dba911ca8fdd25874209c4492a50213305c7fd7.zip | |
Add original test case of #360
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/t1569.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/t1569.scala b/tests/pos/t1569.scala index 5e48c03b1..a2fbcf11f 100644 --- a/tests/pos/t1569.scala +++ b/tests/pos/t1569.scala @@ -4,3 +4,9 @@ object Bug { def foo(x: Int)(y: C)(z: y.T): Unit = {} foo(3)(new C { type T = String })("hello") } +object Bug2 { + class C { type T } + class D extends C { type T = String } + def foo(x: Int)(y: C)(z: y.T): Unit = {} + foo(3)(new D {})("hello") +} |