Rollup of 5 pull requests - #146409

Rollup of 5 pull requests#146409

bors merged 10 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-thju381matthiaskrgr/rust:rollup-thju381Copy head branch name to clipboard