Rollup of 6 pull requests#151436

rust-bors[bot] merged 14 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-Rp5KtGejhpratt/rust:rollup-Rp5KtGeCopy head branch name to clipboard