On 08/05/2014 08:18 PM, Jeremy Powers via Digitalmars-d wrote: > > And there will be no injection of undefined behaviour - the undefined > behaviour is already there if the asserted constraints are not valid. Well, no. http://en.wikipedia.org/wiki/Undefined_behavior