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

[Olivier FAURE]

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?