mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-11 22:58:12 +00:00

Remove PredicateKind and instead only use Binder<PredicateAtom> Originally brought up in https://github.com/rust-lang/rust/pull/76814#discussion_r546858171 r? `@lcnr`