Rollup of 3 pull requests#156728

rust-bors[bot] merged 8 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-Qv3EfnOJonathanBrouwer/rust:rollup-Qv3EfnOCopy head branch name to clipboard