Rollup of 6 pull requests#124337

matthiaskrgr wants to merge 17 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-wopgaihmatthiaskrgr/rust:rollup-wopgaihCopy head branch name to clipboard