Rollup of 8 pull requests#141908

matthiaskrgr wants to merge 34 commits into

rust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-ohuhs3kmatthiaskrgr/rust:rollup-ohuhs3kCopy head branch name to clipboard