Use Ok(Maybe)

tiif · tiif · commit f6bd15baa29e · 2025-05-30T10:15:47.000Z
diff --git a/compiler/rustc_trait_selection/src/traits/fulfill.rs b/compiler/rustc_trait_selection/src/traits/fulfill.rs
@@ -782,9 +782,7 @@ impl<'a, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'tcx> {
                     {
                         return ProcessResult::Changed(Default::default());
                     } else {
-                        return ProcessResult::Error(FulfillmentErrorCode::Ambiguity {
-                            overflow: None,
-                        });
+                        return ProcessResult::Unchanged;
                     }
                 }
             },

Original file line number	Diff line number	Diff line change
`@@ -782,9 +782,7 @@ impl<'a, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'tcx> {`
`782`	`782`	`{`
`783`	`783`	`return ProcessResult::Changed(Default::default());`
`784`	`784`	`} else {`
`785`		`- return ProcessResult::Error(FulfillmentErrorCode::Ambiguity {`
`786`		`- overflow: None,`
`787`		`- });`
	`785`	`+ return ProcessResult::Unchanged;`
`788`	`786`	`}`
`789`	`787`	`}`
`790`	`788`	`},`