[Issue 24574] Scope not inferred on this parameter

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu May 30 13:53:23 UTC 2024


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

--- Comment #2 from zopsicle at 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);
}
-----

--


More information about the Digitalmars-d-bugs mailing list