nail down the final validity rules: references and unions - #2337

nail down the final validity rules: references and unions#2337

RalfJung wants to merge 2 commits into

rust-lang:masterrust-lang/reference:masterfrom

RalfJung:finish-validityRalfJung/reference:finish-validityCopy head branch name to clipboard