Rollup of 7 pull requests - #113885

Rollup of 7 pull requests#113885

matthiaskrgr wants to merge 41 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-yubhkhhmatthiaskrgr/rust:rollup-yubhkhhCopy head branch name to clipboard