Rollup of 3 pull requests#158432

jhpratt wants to merge 7 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-hl7UJeljhpratt/rust:rollup-hl7UJelCopy head branch name to clipboard