Rollup of 9 pull requests#140495

ChrisDenton wants to merge 20 commits into

rust-lang:masterrust-lang/rust:masterfrom

ChrisDenton:rollup-wqm2yatChrisDenton/rust:rollup-wqm2yatCopy head branch name to clipboard