Rollup of 4 pull requests#157880

jhpratt wants to merge 11 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-42jr9eRjhpratt/rust:rollup-42jr9eRCopy head branch name to clipboard