You can implement Copy for a union when all fields/variants are Copy #709
Description
Per decision in rust-lang/rust#65748, this is the current normative behavior.
This just needs to be documented in the reference now.