mirror of
https://github.com/rust-lang/rust.git
synced 2026-07-08 00:38:40 -04:00
5e91de65d7
Predicate/clause cleanups `Clause` is a subset of `Predicate`, more or less. (Interning makes things slightly more complicated than that.) There are numerous places where the code deals in predicates but really only clauses are possible. This PR eliminates some of them. Details in individual commits. r? @lqd