On 6/11/2019 7:37 AM, ag0aep6g wrote: > The spec very much defines @safe as "no undefined behavior". > > <https://dlang.org/spec/function.html#function-safety>: "Safe functions are > functions that are statically checked to exhibit no possibility of undefined > behavior." The spec's wrong, because it doesn't do that.