Rollup of 6 pull requests#72961

Closed

Dylan-DPC-zz wants to merge 15 commits intorust-lang:masterfrom

Dylan-DPC-zz:rollup-hdtbjxh

Commits on May 29, 2020

remove trivial `mk_predicate`s
lcnr
committed

Commits on Jun 1, 2020

Add test for #72554.
estebank
committed

Commits on Jun 2, 2020

Order the Rust and C ABIs first to reduce test churn
shepmaster
committed

Commits on Jun 3, 2020