Rollup of 15 pull requests#158508

rust-bors[bot] merged 128 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-FKOfwV9jhpratt/rust:rollup-FKOfwV9Copy head branch name to clipboard