Fix 10747-shapeless-min.scala

OlivierBlanvillain · OlivierBlanvillain · commit a0c746f0008a · 2021-07-30T11:27:13.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
@@ -2571,7 +2571,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
`@@ -2571,7 +2571,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling`
`2571`	`2571`	`x && {`
`2572`	`2572`	`t match {`
`2573`	`2573`	`case tp: TypeRef if tp.symbol.isAbstractOrParamType => false`
`2574`		`- case _: SkolemType \| _: TypeVar => false`
	`2574`	`+ case _: SkolemType \| _: TypeVar \| _: TypeParamRef => false`
`2575`	`2575`	`case _ => foldOver(x, t)`
`2576`	`2576`	`}`
`2577`	`2577`	`}`