convert higher ranked Predicates to PredicateKind::ForAll#73503

bors merged 28 commits into

rust-lang:masterrust-lang/rust:masterfrom

lcnr:forall-predicate-what-and-why-2lcnr/rust:forall-predicate-what-and-why-2Copy head branch name to clipboard