On Thursday, 1 March 2018 at 19:05:26 UTC, Steven Schveighoffer wrote: > Yes it behaves just like array bounds. No it's not well-defined > if you disable asserts. Right. So it's defined to throw an Error in @safe code, and it has undefined behavior in @system code. The spec should say this.