ok now recur

compiler-errors · compiler-errors · commit 800a212a9fac · 2023-08-22T23:27:43.000Z
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -191,7 +191,7 @@ fn overlap<'tcx>(
         .with_next_trait_solver(tcx.next_trait_solver_in_coherence())
         .build();
     let selcx =
-        &mut SelectionContext::with_treat_inductive_cycle_as(&infcx, TreatInductiveCycleAs::Ambig);
+        &mut SelectionContext::with_treat_inductive_cycle_as(&infcx, TreatInductiveCycleAs::Recur);
     if track_ambiguity_causes.is_yes() {
         selcx.enable_tracking_intercrate_ambiguity_causes();
     }

Original file line number	Diff line number	Diff line change
`@@ -191,7 +191,7 @@ fn overlap<'tcx>(`
`191`	`191`	`.with_next_trait_solver(tcx.next_trait_solver_in_coherence())`
`192`	`192`	`.build();`
`193`	`193`	`let selcx =`
`194`		`- &mut SelectionContext::with_treat_inductive_cycle_as(&infcx, TreatInductiveCycleAs::Ambig);`
	`194`	`+ &mut SelectionContext::with_treat_inductive_cycle_as(&infcx, TreatInductiveCycleAs::Recur);`
`195`	`195`	`if track_ambiguity_causes.is_yes() {`
`196`	`196`	`selcx.enable_tracking_intercrate_ambiguity_causes();`
`197`	`197`	`}`