https://issues.dlang.org/show_bug.cgi?id=519
--- Comment #11 from Walter Bright <[email protected]> --- I agree that the invariant should run on non-empty struct literals and on destruction. I'm skeptical, however, of the value of running it on default construction, as those values will always be the .init ones. --
