Rollup of 7 pull requests - #165617

Rollup of 7 pull requests#165617

rust-bors[bot] merged 14 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-C7TOjenJonathanBrouwer/rust:rollup-C7TOjenCopy head branch name to clipboard