Feedback on Átila's Vision for D

[Dennis]

On Tuesday, 15 October 2019 at 13:09:15 UTC, Mike Parker wrote:
> https://dlang.org/blog/2019/10/15/my-vision-of-ds-future/

"meaning that today, D isn’t memory safe."

Why exactly isn't it? I thought that with -dip1000, D does not 
allow memory corruption in @safe code, except for implementation 
bugs and wrong @trusted code. The currently proposed  
borrowing/ownership related DIPs are just to make more non-GC 
memory styles @safe as far as I know, but I could be wrong.