diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-03 10:17:28 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:21 +0100 |
| commit | 05c0e55850a5b086e38d3a54e937106f727fbe8e (patch) | |
| tree | 73fe3763f3bdabc4618f51db537472c1f06c37e6 /src/dotty/tools/dotc/core/TypeApplications.scala | |
| parent | 56e63ed4b081c0e4696a475aa4a468baa6491e4a (diff) | |
| download | dotty-05c0e55850a5b086e38d3a54e937106f727fbe8e.tar.gz dotty-05c0e55850a5b086e38d3a54e937106f727fbe8e.tar.bz2 dotty-05c0e55850a5b086e38d3a54e937106f727fbe8e.zip | |
Fix bug computing typeParams for hk types
Arg bounds do not count is bindings.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index c6abc9360..5b34fe662 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -204,7 +204,9 @@ class TypeApplications(val self: Type) extends AnyVal { if (lam.exists) lam.typeParams else Nil } case self: RefinedType => - self.parent.typeParams.filterNot(_.name == self.refinedName) + val hkParams = self.hkTypeParams + if (hkParams.nonEmpty) hkParams + else self.parent.typeParams.filterNot(_.name == self.refinedName) case self: SingletonType => Nil case self: TypeProxy => |