Rollup of 5 pull requests#156275

JonathanBrouwer wants to merge 11 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-0kXfHjmJonathanBrouwer/rust:rollup-0kXfHjmCopy head branch name to clipboard