Convert predicates into Predicate in the Obligation constructor#104483

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

oli-obk:santa-clauses-make-goalsoli-obk/rust:santa-clauses-make-goalsCopy head branch name to clipboard