On 6/13/2019 10:39 AM, Jonathan M Davis wrote: > The problem is that if undefined behavior is allowed in @safe code, then how > can @safe code guarantee memory safety when undefined behavior lets the > compiler do whatever it wants with that code? Timon brought that up in another reply, and I responded to it.