diff options
-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 => |