diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-09-09 20:20:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-09 20:20:20 +0200 |
| commit | 3b0221bf63aa76d1d1817033f734ac1a451aedf7 (patch) | |
| tree | 942cd4313114dff27f111613dacecaab9e74c0ac /compiler/rustc_mir_transform/src | |
| parent | 3658bfb6ea143aab6c084331de0a2fadc3ae0d94 (diff) | |
| parent | 0f8efb3b5c628ac3162d5f9f37539ce19956ad80 (diff) | |
| download | rust-3b0221bf63aa76d1d1817033f734ac1a451aedf7.tar.gz rust-3b0221bf63aa76d1d1817033f734ac1a451aedf7.zip | |
Rollup merge of #130137 - gurry:master, r=cjgillot
Fix ICE caused by missing span in a region error Fixes #130012 The ICE occurs on line 634 in this error handling code: https://github.com/rust-lang/rust/blob/085744b7ad8b227239bcee0a44cd78dcd0310ab9/compiler/rustc_trait_selection/src/error_reporting/infer/region.rs#L617-L637 It is caused by the span being a dummy span and `!span.is_dummy()` on line 628 evaluating to `false`. A dummy span, however, is expected here thanks to the `Self: Trait` predicate from `predicates_of` (see line 61): https://github.com/rust-lang/rust/blob/085744b7ad8b227239bcee0a44cd78dcd0310ab9/compiler/rustc_hir_analysis/src/collect/predicates_of.rs#L61-L69 This PR changes the error handling code to omit the note which needed the span instead of ICE'ing in the presence of a dummy span.
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions