bors 4253153db2 Auto merge of #80679 - jackh726:predicate-kind-take2, r=lcnr ...

Remove PredicateKind and instead only use Binder<PredicateAtom>

Originally brought up in https://github.com/rust-lang/rust/pull/76814#discussion_r546858171

r? `@lcnr`

2021-01-17 20:49:11 +00:00

..

src

Auto merge of #80679 - jackh726:predicate-kind-take2, r=lcnr

2021-01-17 20:49:11 +00:00

Cargo.toml

Parse the format string for the panic_fmt lint for better warnings.

2020-10-20 22:25:42 +02:00