1
Fork 0

Rollup merge of #121434 - nnethercote:fix-121208-fallout, r=lcnr

Fix #121208 fallout

#121208 converted lots of delayed bugs to bugs. Unsurprisingly, there were a few invalid conversion found via fuzzing.

r? `@lcnr`
This commit is contained in:
Matthias Krüger 2024-02-23 09:42:10 +01:00 committed by GitHub
commit 6e00f0d189
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
12 changed files with 119 additions and 6 deletions

View file

@ -172,9 +172,7 @@ fn do_normalize_predicates<'tcx>(
// the normalized predicates.
let errors = infcx.resolve_regions(&outlives_env);
if !errors.is_empty() {
// @lcnr: Let's still ICE here for now. I want a test case
// for that.
tcx.dcx().span_bug(
tcx.dcx().span_delayed_bug(
span,
format!("failed region resolution while normalizing {elaborated_env:?}: {errors:?}"),
);