Rollup of 9 pull requests - #165313

Rollup of 9 pull requests#165313

rust-bors[bot] merged 25 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-SQF7eQJjhpratt/rust:rollup-SQF7eQJCopy head branch name to clipboard