DIP 1021--Argument Ownership and Function Calls--Final Review

[Walter Bright]

On 9/17/2019 10:18 AM, Exil wrote:
> Another issue:
> 
>      @safe:
> 
> 
>      void foo(ref int, ref int) {
>      }
> 
>      void test() {
>          int b;
> 
>          int* a = &b;
>          int* c = &b;
> 
>          // foo( b, b); // error
> 
>          foo( *a, *c); // but this is ok
>      }

Yeah, that requires data flow analysis, which this DIP doesn't do. The @live one 
covers flow analysis.