rebase fun

lcnr · lcnr · commit 35df019e881a · 2025-05-09T01:38:41.000Z
diff --git a/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs b/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs
@@ -898,7 +898,7 @@ where
             match G::consider_impl_candidate(self, goal, impl_def_id) {
                 Ok(mut candidate) => {
                     candidate.result.value.certainty =
-                        candidate.result.value.certainty.unify_with(Certainty::AMBIGUOUS);
+                        candidate.result.value.certainty.and(Certainty::AMBIGUOUS);
                     candidates.push(candidate);
                 }
                 Err(NoSolution) => (),

Original file line number	Diff line number	Diff line change
`@@ -898,7 +898,7 @@ where`
`898`	`898`	`match G::consider_impl_candidate(self, goal, impl_def_id) {`
`899`	`899`	`Ok(mut candidate) => {`
`900`	`900`	`candidate.result.value.certainty =`
`901`		`- candidate.result.value.certainty.unify_with(Certainty::AMBIGUOUS);`
	`901`	`+ candidate.result.value.certainty.and(Certainty::AMBIGUOUS);`
`902`	`902`	`candidates.push(candidate);`
`903`	`903`	`}`
`904`	`904`	`Err(NoSolution) => (),`