[Issue 17568] New: [scope] addresses to fields can be escaped from scope method

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17568

          Issue ID: 17568
           Summary: [scope] addresses to fields can be escaped from scope
                    method
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nob...@puremagic.com
          Reporter: c...@dawg.eu

cat > bug.d << CODE
int* p;
struct T
{
    int a;
    void escape() @safe scope
    {
        p = &a;
    }
}

void escape() @safe
{
    {
        T t;
        t.escape;
    }
    auto bug = *p;
}
CODE
dmd -c -dip1000 bug
----
Tested with v2.075.0-b1

--