Invariants are useless the way they are defined

[Peter Alexander]

On Monday, 26 August 2013 at 14:16:04 UTC, Dicebot wrote:
> 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.

Not all invariants can run at compile time.