diff options
| author | lcnr <rust@lcnr.de> | 2025-05-30 11:21:34 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-06-03 14:23:56 +0200 |
| commit | 7dac755be8d09234afa0ac6c3626c8d5f733ef31 (patch) | |
| tree | e9ac8e1f028a3f63e306168da3769470b3c489d7 /compiler/rustc_borrowck/src | |
| parent | c68032fd4c442d275f4daa571ba19c076106b490 (diff) | |
| download | rust-7dac755be8d09234afa0ac6c3626c8d5f733ef31.tar.gz rust-7dac755be8d09234afa0ac6c3626c8d5f733ef31.zip | |
`FIXME(-Znext-solver)` triage
Co-authored-by: Michael Goulet <michael@errs.io>
Diffstat (limited to 'compiler/rustc_borrowck/src')
| -rw-r--r-- | compiler/rustc_borrowck/src/type_check/constraint_conversion.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_borrowck/src/type_check/constraint_conversion.rs b/compiler/rustc_borrowck/src/type_check/constraint_conversion.rs index a1c74672157..0a114467f43 100644 --- a/compiler/rustc_borrowck/src/type_check/constraint_conversion.rs +++ b/compiler/rustc_borrowck/src/type_check/constraint_conversion.rs @@ -141,8 +141,11 @@ impl<'a, 'tcx> ConstraintConversion<'a, 'tcx> { } if !tcx.recursion_limit().value_within_limit(iteration) { + // This may actually be reachable. If so, we should convert + // this to a proper error/consider whether we should detect + // this somewhere else. bug!( - "FIXME(-Znext-solver): Overflowed when processing region obligations: {outlives_predicates:#?}" + "unexpected overflowed when processing region obligations: {outlives_predicates:#?}" ); } |