Fix 10747-shapeless-min.scala

OlivierBlanvillain · OlivierBlanvillain · commit 308cbb100ea2 · 2021-09-08T12:08:25.000+02:00
Don't consider types to be fullyInstanciated when containing a TypeParamRef.
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`	`}`