On 08/05/2014 08:59 PM, Jeremy Powers via Digitalmars-d wrote:
...Well, yes: Undefined behaviour in the sense
"And there will be no injection of undefined behaviour ^~~~~~~~~~~~~~~~~~~ conventional sense - the undefined behaviour is already there if the asserted constraints ^~~~~~~~~~~~~~~~~~~ altered sense are not valid."