Invariants are useless the way they are defined

Dicebot public at dicebot.lv
Mon Aug 26 07:16:03 PDT 2013


On Monday, 26 August 2013 at 07:20:56 UTC, Davidson Corry wrote:
> ...

By the way it makes me think that invariant should run via CTFE 
on T.init for all types that have invariant contracts. The fact 
that default-initialize value may have a broken contract greatly 
diminishes value of the whole system.


More information about the Digitalmars-d mailing list