Fix 10747-shapeless-min.scala

OlivierBlanvillain · OlivierBlanvillain · commit 6904fb0a984b · 2021-07-28T15:37:50.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
@@ -2565,7 +2565,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
`@@ -2565,7 +2565,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling`
`2565`	`2565`	`x && {`
`2566`	`2566`	`t match {`
`2567`	`2567`	`case tp: TypeRef if tp.symbol.isAbstractOrParamType => false`
`2568`		`- case _: SkolemType \| _: TypeVar => false`
	`2568`	`+ case _: SkolemType \| _: TypeVar \| _: TypeParamRef => false`
`2569`	`2569`	`case _ => foldOver(x, t)`
`2570`	`2570`	`}`
`2571`	`2571`	`}`