DIP1001: DoExpression

[Marc Schütz via Digitalmars-d]

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.