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

[Walter Bright]

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.