Is the following well defined and allowed?

[Steven Schveighoffer]

On 3/1/18 12:31 PM, ag0aep6g wrote:
> On Thursday, 1 March 2018 at 17:06:48 UTC, Steven Schveighoffer wrote:
>> On 3/1/18 11:48 AM, ag0aep6g wrote:
> [...]
>>> Does that mean it has undefined behavior and should not be allowed in 
>>> @safe code?
>>
>> No, it means it's a runtime error.
> 
> But then it's well-defined, like going beyond array bounds, no?

Yes it behaves just like array bounds. No it's not well-defined if you 
disable asserts.

-Steve