Rollup of 3 pull requests#159752

jhpratt wants to merge 11 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-EmBi9Hxjhpratt/rust:rollup-EmBi9HxCopy head branch name to clipboard