Rollup of 4 pull requests#158255

JonathanBrouwer wants to merge 9 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-ES0WmJ3JonathanBrouwer/rust:rollup-ES0WmJ3Copy head branch name to clipboard