On Monday, 23 September 2024 at 13:13:24 UTC, Walter Bright wrote: > `a.ptr` is an array overflow issue, not a pointer validation > issue, as one can have an array of 0 length. Maybe `Expression.ptr` can be `@safe` if the compiler can statically prove that `Expression` has non-zero length or is a string literal (which is always zero-terminated).