DIP 1021--Argument Ownership and Function Calls--Community Review Round 1

[Olivier FAURE]

On Wednesday, 31 July 2019 at 07:09:49 UTC, Walter Bright wrote:
> On 7/19/2019 6:09 AM, Nick Treleaven wrote:
>> Walter - is this correct?
>
> Yup.

After Nick posted this example, Timon posted this refutal:
https://forum.dlang.org/post/qgsroo$1l8n$1@digitalmars.com

The general argument being that Nick's code isn't any more @safe 
with DIP-1021 than it is now, since even with DIP-1021 you can 
still use Array to corrupt memory in @safe code.

What is your take on it?