On 8/18/2022 8:37 AM, Yutori wrote: > Oh, I understand it now. So I guess that @safe in D is supposed to prevent only > UB, not all memory errors that could possibly happen, and since dereferencing > null will always result in a page fault, it isn't UB. That's right.