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.