Bug 23294 – [dip1000] parameter to parameter assignment leads to incorrect scope inference

x and y are inferred scope in the following example: ``` @safe: int global; auto f(int* x, int* y) { x = y; global++; // make sure it's not inferring scope from pure } void g(scope int* z) { f(z, z); // passes } ``` When you mark `x` and `y` as `scope` explicitly, it errors: > Error: scope variable `y` assigned to `x` with longer lifetime But evidently, scope parameter inference does not care about relative lifetime of parameters, which is problematic when they have destructors.

@dkorpel updated dlang/dmd pull request #14492 "Fix 20674, 23208, 23300 - improve `scope` inference" fixing this issue: - Fix 20674, 23208, 23300, 23294 - improve `scope` inference https://github.com/dlang/dmd/pull/14492

@dkorpel created dlang/dmd pull request #16725 "Fix bugzilla 23294 - parameter to parameter assignment leads to incor…" fixing this issue: - Fix bugzilla 23294 - parameter to parameter assignment leads to incorrect scope inference https://github.com/dlang/dmd/pull/16725

dlang/dmd pull request #16725 "Fix bugzilla 23294 - parameter to parameter assignment leads to incor…" was merged into master: - 777d4f14877d74b27d02529ba5c255b6d7f40d52 by Dennis Korpel: Fix bugzilla 23294 - parameter to parameter assignment leads to incorrect scope inference https://github.com/dlang/dmd/pull/16725