]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errors
authorMatthias Krüger <matthias.krueger@famsik.de>
Thu, 17 Nov 2022 21:33:19 +0000 (22:33 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2022 21:33:19 +0000 (22:33 +0100)
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).


Trivial merge