mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-03 13:37:37 +00:00
fad940029b
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`` |
||
|---|---|---|
| .. | ||
| assembly | ||
| auxiliary | ||
| codegen | ||
| codegen-units | ||
| coverage | ||
| coverage-run-rustdoc | ||
| debuginfo | ||
| incremental | ||
| mir-opt | ||
| pretty | ||
| run-make | ||
| run-make-fulldeps | ||
| run-pass-valgrind | ||
| rustdoc | ||
| rustdoc-gui | ||
| rustdoc-js | ||
| rustdoc-js-std | ||
| rustdoc-json | ||
| rustdoc-ui | ||
| ui | ||
| ui-fulldeps | ||
| COMPILER_TESTS.md | ||