Consider TypeParamRef uninstantiated

OlivierBlanvillain · OlivierBlanvillain · commit 686c65f2be62 · 2021-09-07T15:11:41.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2542,7 +2542,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         x && {
           t match {
             case tp: TypeRef if tp.symbol.isAbstractOrParamType => false
-            case _: SkolemType | _: TypeVar => false
+            case _: SkolemType | _: TypeVar | _: TypeParamRef => false
             case _ => foldOver(x, t)
           }
         }

Original file line number	Diff line number	Diff line change
`@@ -2542,7 +2542,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling`
`2542`	`2542`	`x && {`
`2543`	`2543`	`t match {`
`2544`	`2544`	`case tp: TypeRef if tp.symbol.isAbstractOrParamType => false`
`2545`		`- case _: SkolemType \| _: TypeVar => false`
	`2545`	`+ case _: SkolemType \| _: TypeVar \| _: TypeParamRef => false`
`2546`	`2546`	`case _ => foldOver(x, t)`
`2547`	`2547`	`}`
`2548`	`2548`	`}`