Rollup of 9 pull requests#131711

matthiaskrgr wants to merge 24 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-an3kr9kmatthiaskrgr/rust:rollup-an3kr9kCopy head branch name to clipboard