Rollup of 5 pull requests#158685

jhpratt wants to merge 13 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-xurCZHFjhpratt/rust:rollup-xurCZHFCopy head branch name to clipboard