Eric Blake writes:
> The documentation claims that alternates are useful for
> allowing two types, although nothing enforces this. Meanwhile,
"two or more"
Can touch up on commit.
> it is silent on whether empty unions are allowed. In practice,
> the generated code will compile, in part beca
The documentation claims that alternates are useful for
allowing two types, although nothing enforces this. Meanwhile,
it is silent on whether empty unions are allowed. In practice,
the generated code will compile, in part because we have a
'void *data' branch; but attempting to visit such a type
