On Monday, 17 November 2014 at 20:02:36 UTC, 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.
A remaining question is whether invariants should also be
called for default construction [2].
[1]: https://github.com/D-Programming-Language/dmd/pull/4136
[2]: https://issues.dlang.org/show_bug.cgi?id=519#c11
We don't have default constructor. So we need to be able to rely
on a struct being in a invalid state at default construction.
Solution obviously being to have default constructor and to run
the invariant after default construction.
