Invariant for default construction

[Walter Bright via Digitalmars-d]

On 11/17/2014 12:32 PM, Steven Schveighoffer wrote:
> On 11/17/14 3:02 PM, Martin Nowak wrote:
>> Walter is about to fix an old bug [1] so that invariants are now called
>> before destruction and for non-default construction.
>
> This sounds good.
>
>> A remaining question is whether invariants should also be called for
>> default construction [2].
>
> I'd say no. There are better ways to test for valid data in the .init version of
> the object/struct that don't involve a runtime check.

Not only that, the runtime check would occur every time an object is created, 
yet the .init will always be the same. Doing this check would, I fear, cause 
people to disable invariants as not worth the expense.