about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/graph.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-12-19 10:50:08 +0100
committerGitHub <noreply@github.com>2023-12-19 10:50:08 +0100
commit9a72b7d04f9eb23ea0c762b749f00c6985305db4 (patch)
tree2ae8d825436401e38719e85bee7effabe52ce044 /compiler/rustc_mir_transform/src/coverage/graph.rs
parentd1e52a8f5c4677b258df4746b77db43a144d536a (diff)
parent132a2884ad464b4faf4781de6bd8c6d255502592 (diff)
downloadrust-9a72b7d04f9eb23ea0c762b749f00c6985305db4.tar.gz
rust-9a72b7d04f9eb23ea0c762b749f00c6985305db4.zip
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
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions