Rollup of 3 pull requests#157404

jhpratt wants to merge 11 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-npYd5Y2jhpratt/rust:rollup-npYd5Y2Copy head branch name to clipboard