Use PredicateObligation
s instead of Predicate
s#69745
Merged
bors merged 2 commits intorust-lang:masterfrom estebank:predicate-obligations-3Apr 10, 2020
+547-403
PredicateObligation
s instead of Predicate
s#69745