Merge three MaxUniverses into one#158951

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

adwinwhite:unify-max-universeadwinwhite/rust:unify-max-universeCopy head branch name to clipboard