Rollup of 12 pull requests#158864

rust-bors[bot] merged 31 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-re2xAGfJonathanBrouwer/rust:rollup-re2xAGfCopy head branch name to clipboard