diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-05-21 15:38:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-21 15:38:11 +0200 |
| commit | 6606fd9a140266ef2ad03955024c9b67c747e924 (patch) | |
| tree | 5f16cc6656698aac0dff9a4a65a810275f83de32 /compiler/rustc_codegen_llvm/src/asm.rs | |
| parent | 1461ca3f39d7eee3f813536562432bede306c23f (diff) | |
| parent | 44a2af306825dcfa9fc28547e6ccea1cb5076c68 (diff) | |
| download | rust-6606fd9a140266ef2ad03955024c9b67c747e924.tar.gz rust-6606fd9a140266ef2ad03955024c9b67c747e924.zip | |
Rollup merge of #141332 - compiler-errors:no-fold-const, r=lcnr
Do not eagerly fold consts in `normalize_param_env_or_error` if new solver
Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/213
Given:
```
trait Trait: Deref<Target = [u8; { 1 + 1 }]> {}
```
when elaborating param env for `Trait`, we have `Self: Trait`, `Self: Deref<Target = [u8; {anon const}]>`.
Before this PR, we would fold the anon consts away *before* elaborating. However, we end up getting another *un-folded* copy of the anon const from elaborating `Self: Trait`. This leads to normalization ambiguity.
r? lcnr
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/asm.rs')
0 files changed, 0 insertions, 0 deletions