diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-07-18 09:24:43 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-07-18 22:33:56 +0100 |
commit | 6c263447cfaea86979b1e41d687e312204430a33 (patch) | |
tree | d56188a69a2bfa6c4aeaef0c8e7c4010a2ca5ded /tests/pos/t284-pos.scala | |
parent | 8375e3a1ea9b0c13efb3188c844fe2a0c180c11e (diff) | |
download | dotty-6c263447cfaea86979b1e41d687e312204430a33.tar.gz dotty-6c263447cfaea86979b1e41d687e312204430a33.tar.bz2 dotty-6c263447cfaea86979b1e41d687e312204430a33.zip |
HK reduction: Remove special-case for typerefs
The special case:
case stripped: TypeRef =>
stripped.symbol.is(BaseTypeArg)
is wrong because you might still want to reduce applications involving
TypeRefs which are not base class parameters, like in:
class Foo[A]
type Alias[X] = Foo[X]
val x: Alias[Int] = ???
`Alias` is a TypeRef so before this commit `Alias[Int]` was never reduced
to `Foo[Int]`. It should have been:
case stripped: TypeRef if stripped.symbol.is(BaseTypeArg) =>
true
But even this is incorrect: it assumes that we can always safely reduce HK
applications involving base class parameters, this is not the case when
the parameter kind is different from the rhs kind as illustrated by
`i1181c.scala`. We fix this by simply dropping the special case.
Diffstat (limited to 'tests/pos/t284-pos.scala')
0 files changed, 0 insertions, 0 deletions