An article about contract programming

[Daniel Murphy]

"bearophile" <bearophileHUGS at lycos.com> wrote in message 
news:dklglravazsxxbvrlplu at forum.dlang.org...
>
> They are very similar, the test case from Issue 519 uses a new:
>
[snip]
>
> While in Issue 9454 (just like in that Ada code) there is no new:
>
[snip]
>
> Maybe my Issue 9454 should be merged with Issue 519.
>

Issue 519 is about classes, while 9454 is about structs.  9454 uses a struct 
literal, not an autogenerated constructor call, so they are different bugs. 
519 is an actual bug, while 9454 is an enhancement.