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