Rollup of 12 pull requests#157149

rust-bors[bot] merged 40 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-JIG4HGrJonathanBrouwer/rust:rollup-JIG4HGrCopy head branch name to clipboard