Bug 21212 – [DIP1000] taking `ref` parameter address check leaking when dip1000 is enabled

When enabled DIP1000, DMD(v2.093.1) allow taking `ref` parameter address. But it should be compile error as disabled DIP1000. reduced code by ag0aep6g https://forum.dlang.org/post/[email protected] ---- class MinPointerRecorder { int* minPrice; void update(ref int price) @safe { minPrice = &price; /* Should not compile. */ } } void main() @safe { auto r = new MinPointerRecorder; () { int mp = 42; r.update(mp); } (); () { ulong[1000] stomp = 13; } (); import std.stdio: writeln; writeln(*r.minPrice); /* Prints "13". */ } ---- rdmd result (v2.093.1 Darwin Kernel Version 19.6.0 x86_64) ---- % dmd --version DMD64 D Compiler v2.093.1 % rdmd -preview=dip1000 issue.d 13 % rdmd issue.d issue.d(6): Error: cannot take address of parameter price in @safe function update ----

@UplinkCoder created dlang/dmd pull request #12545 "Fix Issue 21212 - Segfault with -dip1000" fixing this issue: - Fix Issue 21212 - Segfault with -dip1000 https://github.com/dlang/dmd/pull/12545

`update` is not `scope`, and taking the address of a `ref` should result in a scope pointer, which can't be assigned to non-scope `this`. Therefore this is the same as "Issue 20245 - DIP1000: Should infer scope when taking address of ref" *** This issue has been marked as a duplicate of issue 20245 ***