w

lcnr · lcnr · commit 2fb84b618c87 · 2024-04-25T19:37:30.000Z
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -1029,7 +1029,7 @@ impl<'a, 'tcx> ProofTreeVisitor<'tcx> for AmbiguityCausesVisitor<'a, 'tcx> {
     fn visit_goal(&mut self, goal: &InspectGoal<'_, 'tcx>) {
         let infcx = goal.infcx();
         for cand in goal.candidates() {
-            cand.visit_nested(self);
+            cand.visit_nested_in_probe(self);
         }
         // When searching for intercrate ambiguity causes, we only need to look
         // at ambiguous goals, as for others the coherence unknowable candidate

Original file line number	Diff line number	Diff line change
`@@ -1029,7 +1029,7 @@ impl<'a, 'tcx> ProofTreeVisitor<'tcx> for AmbiguityCausesVisitor<'a, 'tcx> {`
`1029`	`1029`	`fn visit_goal(&mut self, goal: &InspectGoal<'_, 'tcx>) {`
`1030`	`1030`	`let infcx = goal.infcx();`
`1031`	`1031`	`for cand in goal.candidates() {`
`1032`		`- cand.visit_nested(self);`
	`1032`	`+ cand.visit_nested_in_probe(self);`
`1033`	`1033`	`}`
`1034`	`1034`	`// When searching for intercrate ambiguity causes, we only need to look`
`1035`	`1035`	`// at ambiguous goals, as for others the coherence unknowable candidate`