diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-03-30 14:30:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-30 14:30:49 +0100 |
| commit | 93f14432800fc2dc0a796446a5ed66b80fbca9e0 (patch) | |
| tree | e19a6911ab8507aadeb26685bf027f7316cc85cb /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | 5977d63925e31d6d706fc6bf5f09ee92fb46213a (diff) | |
| parent | 6439c7fe238d14f10b9b4cfae328ec408e8dfde4 (diff) | |
| download | rust-93f14432800fc2dc0a796446a5ed66b80fbca9e0.tar.gz rust-93f14432800fc2dc0a796446a5ed66b80fbca9e0.zip | |
Rollup merge of #123170 - compiler-errors:const-statics, r=lcnr
Replace regions in const canonical vars' types with `'static` in next-solver canonicalizer We shouldn't ever have non-static regions in consts on stable (or really any regions at all, lol). The test I committed is less minimal than, e.g., https://github.com/rust-lang/rust/issues/123155?notification_referrer_id=NT_kwDOADgQyrMxMDAzNDU4MDI0OTozNjc0MzE0#issuecomment-2025472029 -- however, I believe that it actually portrays the underlying issue here a bit better than that one. In the linked issue, we end up emitting a normalizes-to predicate for a const placeholder because we don't actually unify `false` and `""`. In the test I committed, we emit a normalizes-to predicate as a part of actually solving a negative coherence goal. Fixes #123155 Fixes #118783 r? lcnr
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions