On Tuesday, 6 September 2016 at 17:01:28 UTC, Timon Gehr wrote:
There can be no field (or variables) of type 'void'.
(void,void,T) has two fields of type 'void'.
Just fixing the limitations is also not really possible, as
e.g. void* and void[] exploit that 'void' is special and have a
non-compositional meaning.
Out of interest: What's the matter here? Can't `void` just get a
size of 1 byte? Or is there a problem with `void*` being a super
type of any pointer type? The same wouldn't need to apply to
`void` itself, AFAICS.
