diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-02-06 22:45:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-06 22:45:43 +0100 |
| commit | 84114fea9e3270773b474e3d5534d5ff732db139 (patch) | |
| tree | 3f19c459725c3b29fa0ef72ac38814437aa0ff3c /tests/ui/traits/impl-object-overlap-issue-23853.rs | |
| parent | 012ce8ae982a307c976fd3f9a2942a10a894e155 (diff) | |
| parent | d9cd0d4d1180f09ea67be012848ff295a4681961 (diff) | |
| download | rust-84114fea9e3270773b474e3d5534d5ff732db139.tar.gz rust-84114fea9e3270773b474e3d5534d5ff732db139.zip | |
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
Diffstat (limited to 'tests/ui/traits/impl-object-overlap-issue-23853.rs')
0 files changed, 0 insertions, 0 deletions