Rollup of 7 pull requests#157845

jhpratt wants to merge 15 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-MZRFZzdjhpratt/rust:rollup-MZRFZzdCopy head branch name to clipboard