Rollup of 8 pull requests#158027

JonathanBrouwer wants to merge 16 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-nUxhyJTJonathanBrouwer/rust:rollup-nUxhyJTCopy head branch name to clipboard