Rollup of 12 pull requests#158098

rust-bors[bot] merged 40 commits into

rust-lang:mainrust-lang/rust:mainfrom

GuillaumeGomez:rollup-Rdbc7zfGuillaumeGomez/rust:rollup-Rdbc7zfCopy head branch name to clipboard