Rollup of 6 pull requests#98820

Merged

bors merged 12 commits intorust-lang:masterfrom

RalfJung:rollup-i3mip9a

Jul 2, 2022

Commits on Jun 30, 2022

Commits on Jul 1, 2022

Fix `x dist rust-dev` on a fresh checkout
jyn514
committed

Commits on Jul 2, 2022