use containsWildcardTypes

Alex1005a · Alex1005a · commit 111e4a0945bb · 2025-07-29T12:19:30.000+03:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -4369,7 +4369,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                   case tp => mapOver(tp)
               val pt1 = substCtxMap(pt.deepenProtoTrans(using newCtx))
               try {
-                isFullyDefined(pt1, ForceDegree.none, ifProto = true)(using newCtx)
+                !pt1.containsWildcardTypes(using newCtx)
               } catch {
                 case _: UnhandledError => false
               }

Original file line number	Diff line number	Diff line change
`@@ -4369,7 +4369,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer`
`4369`	`4369`	`case tp => mapOver(tp)`
`4370`	`4370`	`val pt1 = substCtxMap(pt.deepenProtoTrans(using newCtx))`
`4371`	`4371`	`try {`
`4372`		`- isFullyDefined(pt1, ForceDegree.none, ifProto = true)(using newCtx)`
	`4372`	`+ !pt1.containsWildcardTypes(using newCtx)`
`4373`	`4373`	`} catch {`
`4374`	`4374`	`case _: UnhandledError => false`
`4375`	`4375`	`}`