On 12/29/2018 3:16 AM, Daniel N wrote: > Is this something which should be addressed by DIP25 or it is out of scope? Regardless of whether it is DIP25, DIP1000, whatever, if you find a case where a garbage pointer can be de-referenced in @safe code, please file a bug report!