Skip to content

Uplift various *Predicate types into rustc_type_ir - #125001

Merged
bors merged 6 commits into
rust-lang:masterfrom
compiler-errors:uplift-trait-predicate
May 12, 2024
Merged

Uplift various *Predicate types into rustc_type_ir#125001
bors merged 6 commits into
rust-lang:masterfrom
compiler-errors:uplift-trait-predicate

And `ImplPolarity` too

d13e5c4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs