Rollup of 5 pull requests#151533

rust-bors[bot] merged 14 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-P3oXrteJonathanBrouwer/rust:rollup-P3oXrteCopy head branch name to clipboard