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/pos/hklub0.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/pos/hklub0.scala')
| -rw-r--r-- | tests/pos/hklub0.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/pos/hklub0.scala b/tests/pos/hklub0.scala new file mode 100644 index 000000000..36cd46332 --- /dev/null +++ b/tests/pos/hklub0.scala @@ -0,0 +1,5 @@ +object Test { + val a : scala.collection.generic.GenericCompanion[scala.collection.immutable.Seq] = null + val b : scala.collection.generic.GenericCompanion[scala.collection.mutable.Seq] = null + List(a, b) // immutable.this.List.apply[scala.collection.generic.GenericCompanion[Seq]](Test.this.a, Test.this.b) +} |