Rollup of 12 pull requests#140565

bors merged 52 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:rollup-gv4ed14GuillaumeGomez/rust:rollup-gv4ed14Copy head branch name to clipboard