diff options
| author | Michael Goulet <michael@errs.io> | 2025-06-26 20:15:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-26 20:15:20 -0400 |
| commit | 25e239c193b3e22d0dc5e8e3eaebd66ed9b7374b (patch) | |
| tree | f64aa341aafbc40ce3aa5678865cf8acaa6db015 /compiler/rustc_infer/src | |
| parent | 48d311898b2f4fd2437df206e910c0d63d20061f (diff) | |
| parent | 83044357930a7c55f8d429bd4cd7dcb7426d4b01 (diff) | |
| download | rust-25e239c193b3e22d0dc5e8e3eaebd66ed9b7374b.tar.gz rust-25e239c193b3e22d0dc5e8e3eaebd66ed9b7374b.zip | |
Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr
[perf] Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation First compute hard errors without diagnostics, then ambiguities with diagnostics since we need to know if any of them overflowed.
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/traits/engine.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/traits/engine.rs b/compiler/rustc_infer/src/traits/engine.rs index 9e51a53ae95..9a66bd0574c 100644 --- a/compiler/rustc_infer/src/traits/engine.rs +++ b/compiler/rustc_infer/src/traits/engine.rs @@ -19,7 +19,8 @@ pub enum ScrubbedTraitError<'tcx> { TrueError, /// An ambiguity. This goal may hold if further inference is done. Ambiguity, - /// An old-solver-style cycle error, which will fatal. + /// An old-solver-style cycle error, which will fatal. This is not + /// returned by the new solver. Cycle(PredicateObligations<'tcx>), } |