Rollup of 3 pull requests - #163379

Rollup of 3 pull requests#163379

rust-bors[bot] merged 13 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-TObNVuHJonathanBrouwer/rust:rollup-TObNVuHCopy head branch name to clipboard