Discussion Thread: DIP 1035-- at system Variables--Community Review Round 2

Walter Bright newshound2 at digitalmars.com
Fri Feb 26 10:08:58 UTC 2021

On 2/26/2021 1:57 AM, Walter Bright wrote:
> 2. disallow void initialization if the struct has an invariant

Thinking about this some more.

An invariant specifies a subset of values that the fields could have, while a 
void initialization means any random values are acceptable.

Therefore (2) makes sense.

More information about the Digitalmars-d mailing list