Uplift ClauseKind
and PredicateKind
into rustc_type_ir
#116993
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 25, 2023
ClauseKind
and PredicateKind
into rustc_type_ir
#116993