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 codethat 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.
Sounds like bug 519 to me.