woops

lcnr · lcnr · commit f86b0358f81a · 2023-03-21T16:39:24.000+01:00
diff --git a/compiler/rustc_middle/src/traits/solve.rs b/compiler/rustc_middle/src/traits/solve.rs
@@ -64,7 +64,7 @@ impl Certainty {
             (Certainty::Yes, Certainty::Maybe(_)) => other,
             (Certainty::Maybe(_), Certainty::Yes) => self,
             (Certainty::Maybe(MaybeCause::Ambiguity), Certainty::Maybe(MaybeCause::Ambiguity)) => {
-                Certainty::Maybe(MaybeCause::Overflow)
+                Certainty::Maybe(MaybeCause::Ambiguity)
             }
             (Certainty::Maybe(MaybeCause::Ambiguity), Certainty::Maybe(MaybeCause::Overflow))
             | (Certainty::Maybe(MaybeCause::Overflow), Certainty::Maybe(MaybeCause::Ambiguity))

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ impl Certainty {`
`64`	`64`	`(Certainty::Yes, Certainty::Maybe(_)) => other,`
`65`	`65`	`(Certainty::Maybe(_), Certainty::Yes) => self,`
`66`	`66`	`(Certainty::Maybe(MaybeCause::Ambiguity), Certainty::Maybe(MaybeCause::Ambiguity)) => {`
`67`		`- Certainty::Maybe(MaybeCause::Overflow)`
	`67`	`+ Certainty::Maybe(MaybeCause::Ambiguity)`
`68`	`68`	`}`
`69`	`69`	`(Certainty::Maybe(MaybeCause::Ambiguity), Certainty::Maybe(MaybeCause::Overflow))`
`70`	`70`	`\| (Certainty::Maybe(MaybeCause::Overflow), Certainty::Maybe(MaybeCause::Ambiguity))`