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

[Exil]

On Saturday, 3 August 2019 at 09:52:24 UTC, Olivier FAURE wrote:
> On Friday, 2 August 2019 at 08:09:22 UTC, Walter Bright wrote:
>> On 7/15/2019 1:31 PM, Max Haughton wrote:
>>> I think this DIP should at least consider expanding its scope 
>>> to use the reaching definition analysis.
>>> 
>>> It seems slightly pointless if, even if it's already opt in, 
>>> that we can bypass it so easily e.g. by assigning a temporary.
>>> 
>>> Or is it really *that* complicated to allow the compiler to 
>>> analyse this?
>>
>> This is what will happen in a later proposal which will do 
>> comprehensive data flow analysis per function.
>
> So... still not addressing the safety holes pointed out in 
> above comments?
>
> Or is it coming in the next DIP iteration?

It's obvious where this is going, it's going to get added without 
a thought out complete DIP like DIP1000. This review process is 
just a charade.