Rollup of 4 pull requests#124945

matthiaskrgr wants to merge 10 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-r6395snmatthiaskrgr/rust:rollup-r6395snCopy head branch name to clipboard