Rollup of 5 pull requests#123544

matthiaskrgr wants to merge 10 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-erm7tm9matthiaskrgr/rust:rollup-erm7tm9Copy head branch name to clipboard