Rollup of 4 pull requests - #141462

Rollup of 4 pull requests#141462

matthiaskrgr wants to merge 9 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-rmn0we1matthiaskrgr/rust:rollup-rmn0we1Copy head branch name to clipboard