Rollup of 3 pull requests#158087

jhpratt wants to merge 10 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-ivPSKIyjhpratt/rust:rollup-ivPSKIyCopy head branch name to clipboard