mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-09 19:20:53 +00:00
ed97f245f1
Convert predicates into Predicate in the Obligation constructor instead of having almost all callers do that. This reduces a bit of boilerplate, and also paves the way for my work towards https://github.com/rust-lang/compiler-team/issues/531 (as it makes it easier to accept both goals and clauses where right now it only accepts predicates).