Skip to content

Rename ProjectionPredicate and TraitPredicate - #161291

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
ada4a:push-xqqtloltnvwu
Aug 20, 2026
Merged

Rename ProjectionPredicate and TraitPredicate#161291
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
ada4a:push-xqqtloltnvwu