Matthias Krüger 9a72b7d04f Rollup merge of #119091 - compiler-errors:alias-eq-in-structural-normalize, r=lcnr ... Use alias-eq in structural normalization We don't need to register repeated normalizes-to goals in a loop in structural normalize, but instead we can piggyback on the fact that alias-eq will already normalize aliases until they are rigid. This fixes rust-lang/trait-system-refactor-initiative#78. r? lcnr		2023-12-19 10:50:08 +01:00
..
src	Rollup merge of #119091 - compiler-errors:alias-eq-in-structural-normalize, r=lcnr	2023-12-19 10:50:08 +01:00
Cargo.toml	Uplift canonicalizer into new trait solver crate	2023-12-08 17:44:01 +00:00
messages.ftl	Restrict what symbols can be used in #[diagnostic::on_unimplemented] format strings	2023-12-04 10:00:33 +01:00