Rollup of 3 pull requests#158426

jhpratt wants to merge 9 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-SeRw4IYjhpratt/rust:rollup-SeRw4IYCopy head branch name to clipboard