Rollup of 5 pull requests#160400

rust-bors[bot] merged 10 commits into

rust-lang:mainrust-lang/rust:mainfrom

JonathanBrouwer:rollup-cXqZ0ARJonathanBrouwer/rust:rollup-cXqZ0ARCopy head branch name to clipboard