Rollup of 8 pull requests#131665

matthiaskrgr wants to merge 20 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-i5hlunamatthiaskrgr/rust:rollup-i5hlunaCopy head branch name to clipboard