Rollup of 5 pull requests#157882

rust-bors[bot] merged 13 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-0Jd14n0jhpratt/rust:rollup-0Jd14n0Copy head branch name to clipboard