subst new ctx in funproto

Alex1005a · Alex1005a · commit 4356333fef08 · 2025-07-29T00:06:52.000+03:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -4367,7 +4367,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                     tp.derivedFunProto(resultType = tp.resultType(using newCtx)).withContext(newCtx)
                   )
                   case tp => mapOver(tp)
-              val pt1 = substCtxMap(pt).deepenProtoTrans(using newCtx)
+              val pt1 = substCtxMap(pt.deepenProtoTrans(using newCtx))
               try {
                 isFullyDefined(pt1, ForceDegree.none, ifProto = true)(using newCtx)
               } catch {

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