Rollup of 10 pull requests#158419

rust-bors[bot] merged 25 commits into

rust-lang:mainrust-lang/rust:mainfrom

jhpratt:rollup-38sJqWxjhpratt/rust:rollup-38sJqWxCopy head branch name to clipboard