Rollup of 5 pull requests#75097

Manishearth wants to merge 10 commits intorust-lang:masterrust-lang/rust:masterfrom

Manishearth:rollup-zrw5oc4Manishearth/rust:rollup-zrw5oc4Copy head branch name to clipboard