Files
rust/compiler/rustc_middle/src
Matthias Krüger 84114fea9e Rollup merge of #120707 - compiler-errors:suitable-region, r=nnethercote
Don't expect early-bound region to be local when reporting errors in RPITIT well-formedness

The implicit lifetime in the example code gets replaced with `ReError`, which fails a `sub_regions` check in the lexical region solver. Error reporting ends up calling `is_suitable_region` on an early bound region in the *trait* definition. This causes an ICE because we `expect_local()`.

This is kind of a bad explanation, but this code just makes diagnostics reporting a bit more gracefully fallible. If the reviewer wants a thorough investigation of exactly where we get this region outlives obligation, I can write one up. Doesn't really seem worth it, though, imo.

Fixes #120638
Fixes #120648
2024-02-06 22:45:43 +01:00
..
2023-11-16 16:49:22 +11:00
2023-11-01 16:49:18 +00:00
2024-02-05 10:51:18 +01:00
2024-02-06 02:22:58 +00:00
2024-01-05 10:56:59 +00:00
2024-02-06 02:22:58 +00:00
2024-01-25 14:01:33 +00:00
2024-01-29 07:41:41 +11:00