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

Dennis <dkorpel@live.nl> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe
                 CC|                            |dkorpel@live.nl
           Hardware|x86_64                      |All
                 OS|Linux                       |All

--- Comment #1 from Dennis <dkorpel@live.nl> ---
I think both calls should fail to compile, because they can escape through self-assignment:

```D
struct A
{
    A* p;
    @safe nothrow pure void f()
    {
        this.p.p = p;
    }
}

@trusted nothrow pure void g(ref A a)
{
    a.p.p = a.p;
}

@safe void e(ref scope A a)
{
    a.f();  // (1)
    g(a);   // (2)
}
```

--

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

--- Comment #2 from zopsicle@use.startmail.com ---
Adding const would mitigate that, but still does not infer scope on f:

-----
struct A
{
    void* p;
    @safe nothrow pure void f() const;
}

@safe nothrow pure void g(ref const(A));

@safe void e(ref scope const(A) a)
{
    a.f();
    g(a);
}
-----

--

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

--- Comment #3 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/20462

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--