On 2/5/2013 8:57 AM, bearophile wrote:
D doesn't call the invariant even in that second case, as you see from this code that doesn't assert:
Invariants, per the spec, are called on the end of constructors, the beginning of destructors, and the beginning and end of public functions. Foo does not have any ctors/dtors/functions, hence no invariant call.
