[Issue 24574] Scope not inferred on this parameter

[d-bugmail--- via Digitalmars-d-bugs]

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

--- Comment #2 from zopsi...@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);
}
-----

--