Rollup of 13 pull requests#157932

rust-bors[bot] merged 33 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-OmNrNWwjhpratt/rust:rollup-OmNrNWwCopy head branch name to clipboard