diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-13 13:21:54 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-13 15:14:23 +0100 |
| commit | b350d209a20ebdf583d1dd2d3fdcd3be5073d2ef (patch) | |
| tree | 6a607e7eb4a375d3b01b2700e267848a6cef13bf /tests | |
| parent | 88f24efb2858f46c146214bc7e51f5de17c31bc0 (diff) | |
| download | dotty-b350d209a20ebdf583d1dd2d3fdcd3be5073d2ef.tar.gz dotty-b350d209a20ebdf583d1dd2d3fdcd3be5073d2ef.tar.bz2 dotty-b350d209a20ebdf583d1dd2d3fdcd3be5073d2ef.zip | |
Perform variance adaptation only when needed in isSubType
Previously adaptIfHK was performed on every type application. This made
t3152 fail. We now do this only on demand, in isSubType. t3152 now passes
again. But the change unmasked another error, which makes Iter2 fail to compile.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/t3152.scala (renamed from tests/pending/pos/t3152.scala) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/pending/pos/t3152.scala b/tests/pos/t3152.scala index 3d1dcbd6f..3d1dcbd6f 100644 --- a/tests/pending/pos/t3152.scala +++ b/tests/pos/t3152.scala |