Rollup of 9 pull requests#87639

Closed

JohnTitor wants to merge 21 commits into

rust-lang:masterfrom

JohnTitor:rollup-8puev3l

Commits on Jul 13, 2021

Lint Abi in ast validation.
cjgillot
committed

Commits on Jul 27, 2021

Commits on Jul 29, 2021

Commits on Jul 30, 2021