diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-01-26 23:15:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-26 23:15:52 +0100 |
| commit | fad940029b9f19aeea9196f4acc1ce7865d975d0 (patch) | |
| tree | e74741cd1117ba642107d58ee42dfc9989e96928 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | a7f5bde04db8433200243899884240143fd5dfee (diff) | |
| parent | 7b6ac8bf21d6346c90bc8ea1d2557690a63fbf86 (diff) | |
| download | rust-fad940029b9f19aeea9196f4acc1ce7865d975d0.tar.gz rust-fad940029b9f19aeea9196f4acc1ce7865d975d0.zip | |
Rollup merge of #120378 - lcnr:normalize-ast, r=compiler-errors
always normalize `LoweredTy` in the new solver I currently expect us to stop using alias bound candidates of normalizable aliases due to https://github.com/rust-lang/trait-system-refactor-initiative/issues/77 by landing https://github.com/rust-lang/rust/pull/119744. At this point it mostly doesn't matter whether we eagerly normalize (and replace with infer vars in case of ambiguity). cc #113473 previous attempt The infer var replacement for ambiguous projections can in very rare cases: - weaken inference https://github.com/rust-lang/trait-system-refactor-initiative/issues/81 - strengthen inference https://github.com/rust-lang/trait-system-refactor-initiative/issues/7 I do not expect this impact on inference to significantly affect real crates. r? ``@compiler-errors``
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions