Rollup of 4 pull requests#158120

jhpratt wants to merge 9 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-RPsXyQnjhpratt/rust:rollup-RPsXyQnCopy head branch name to clipboard