use new ctx in isFullyDefined

Alex1005a · Alex1005a · commit 01c86206d8e8 · 2025-07-27T19:36:36.000+03:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -4363,7 +4363,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
               val newCtx = ctx.fresh.setNewScope.setReporter(new reporting.ThrowingReporter(NoReporter))
               val pt1 = pt.deepenProtoTrans(using newCtx)
               try {
-                isFullyDefined(pt1, ForceDegree.none, ifProto = true)
+                isFullyDefined(pt1, ForceDegree.none, ifProto = true)(using newCtx)
               } catch {
                 case _: UnhandledError => false
               }

Original file line number	Diff line number	Diff line change
`@@ -4363,7 +4363,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer`
`4363`	`4363`	`val newCtx = ctx.fresh.setNewScope.setReporter(new reporting.ThrowingReporter(NoReporter))`
`4364`	`4364`	`val pt1 = pt.deepenProtoTrans(using newCtx)`
`4365`	`4365`	`try {`
`4366`		`- isFullyDefined(pt1, ForceDegree.none, ifProto = true)`
	`4366`	`+ isFullyDefined(pt1, ForceDegree.none, ifProto = true)(using newCtx)`
`4367`	`4367`	`} catch {`
`4368`	`4368`	`case _: UnhandledError => false`
`4369`	`4369`	`}`