diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-20 11:52:01 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-20 11:52:17 +0100 |
| commit | a2f0fc167bddda7bdf1f6b3fa8e091770a80b379 (patch) | |
| tree | c231c3ea4aa4c3011a84017d0cd63e57eac482ab /tests/invalid/pos/t3856.scala | |
| parent | bde77d4c43dd994e0b9bd7feb9abf74bb9678e12 (diff) | |
| download | dotty-a2f0fc167bddda7bdf1f6b3fa8e091770a80b379.tar.gz dotty-a2f0fc167bddda7bdf1f6b3fa8e091770a80b379.tar.bz2 dotty-a2f0fc167bddda7bdf1f6b3fa8e091770a80b379.zip | |
Fix hk comparison between class and range lambda
In a situation like
List <: [X] -> <: GenTraversable[X]
We have to ask whether the rhs contains the instantiated lhs,
not whether it is a supertype.
Diffstat (limited to 'tests/invalid/pos/t3856.scala')
0 files changed, 0 insertions, 0 deletions