Rollup of 11 pull requests#141739

bors merged 34 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:rollup-ivboqwdGuillaumeGomez/rust:rollup-ivboqwdCopy head branch name to clipboard