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

[Walter Bright]

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.