[Issue 19917] unions should require that all members are `= void` initialised

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=19917

ki...@gmx.net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ki...@gmx.net

--- Comment #3 from ki...@gmx.net ---
I've just seen that LDC handles this differently than DMD. With LDC, an
explicit initializer takes precedence, regardless of the lexical order:

union S
{
    int x; // compiler error if also explicitly initialized (except for `=
void`)
    float y = 1.0f;
}

void main()
{
    S s;
    assert(s.y == 1.0f);
}

--