[Issue 16266] @safe functions may dereference non-dereferenceable pointers

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16266

--- Comment #1 from Andrei Alexandrescu <and...@erdani.com> ---
> 2. Insert a runtime check whenever array.ptr is passed into a @safe function
> (array must be non-empty). 

It seems the array may be null.

--