An article about contract programming

[Don]

On Wednesday, 6 February 2013 at 04:05:23 UTC, Walter Bright 
wrote:
> 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.

Sounds like bug 519 to me.