Sync from `rust-lang/rust`#12871

Merged

bors merged 11 commits intorust-lang:masterfrom

fasterthanlime:sync-from-rust-2

Jul 25, 2022

Commits on Jul 24, 2022

Commits on Jul 25, 2022

Merge remote-tracking branch 'origin/master' into sync-from-rust-2
fasterthanlime
committed
revert nightly rustfmt formatting that accidentally slipped in
fasterthanlime
committed