Skip to content

use ProjectionPredicate instead of AliasRelate - #158606

Merged
rust-bors[bot] merged 6 commits into
rust-lang:mainfrom
khyperia:yeet-aliasrelate
Jul 5, 2026
Merged

use ProjectionPredicate instead of AliasRelate#158606
rust-bors[bot] merged 6 commits into
rust-lang:mainfrom
khyperia:yeet-aliasrelate

instantiate_normalizes_to_as_rigid

c77583e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 2, 2026 in 40s