Invariants are useless the way they are defined

[deadalnix]

On Sunday, 25 August 2013 at 13:44:49 UTC, bearophile wrote:
> deadalnix:
>> As they are defined now, invariant are plain useless.
>
> Don't forget to add this issue to Bugzilla. So we will keep 
> memory of it.
>
> Bye,
> bearophile

http://d.puremagic.com/issues/show_bug.cgi?id=10889

Done but I'm not sure this is a bug. This work as designed, it is 
simply that the design is improvable :D