validity: assert that unions are non-empty#55379

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:no-empty-unionRalfJung/rust:no-empty-unionCopy head branch name to clipboard