Rollup of 4 pull requests#140702

bors merged 15 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:rollup-rpyxs20GuillaumeGomez/rust:rollup-rpyxs20Copy head branch name to clipboard