Rollup of 3 pull requests#156576

rust-bors[bot] merged 10 commits into

rust-lang:mainrust-lang/rust:mainfrom

GuillaumeGomez:rollup-3CJ0vjdGuillaumeGomez/rust:rollup-3CJ0vjdCopy head branch name to clipboard