Fix 10747-shapeless-min.scala

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