diff options
| author | Michael Goulet <michael@errs.io> | 2023-04-09 04:29:43 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-04-10 16:36:30 +0000 |
| commit | 05a6daab84ed594e1394ec4b0e1a9776075a7e12 (patch) | |
| tree | 720bd28bb1cc9a5b2d3703de5a6dd7718b0d3254 /compiler/rustc_infer/src/traits/structural_impls.rs | |
| parent | 2a198c7f62a6dea507ba950750bc928237ad7a00 (diff) | |
| download | rust-05a6daab84ed594e1394ec4b0e1a9776075a7e12.tar.gz rust-05a6daab84ed594e1394ec4b0e1a9776075a7e12.zip | |
Report overflows gracefully with new solver
Diffstat (limited to 'compiler/rustc_infer/src/traits/structural_impls.rs')
| -rw-r--r-- | compiler/rustc_infer/src/traits/structural_impls.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/traits/structural_impls.rs b/compiler/rustc_infer/src/traits/structural_impls.rs index 3a5273b0359..1563d92af0e 100644 --- a/compiler/rustc_infer/src/traits/structural_impls.rs +++ b/compiler/rustc_infer/src/traits/structural_impls.rs @@ -46,7 +46,8 @@ impl<'tcx> fmt::Debug for traits::FulfillmentErrorCode<'tcx> { super::CodeConstEquateError(ref a, ref b) => { write!(f, "CodeConstEquateError({:?}, {:?})", a, b) } - super::CodeAmbiguity => write!(f, "Ambiguity"), + super::CodeAmbiguity { overflow: false } => write!(f, "Ambiguity"), + super::CodeAmbiguity { overflow: true } => write!(f, "Overflow"), super::CodeCycle(ref cycle) => write!(f, "Cycle({:?})", cycle), } } |