An article about contract programming

[Walter Bright]

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.