Rollup of 5 pull requests#154757

matthiaskrgr wants to merge 14 commits intorust-lang:mainrust-lang/rust:mainfrom

matthiaskrgr:rollup-IMZZ0nAmatthiaskrgr/rust:rollup-IMZZ0nACopy head branch name to clipboard