[Issue 18484] [dip1000] Subtype allows reference to escape with implicit casting

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

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

Walter Bright <bugzi...@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzi...@digitalmars.com

--- Comment #1 from Walter Bright <bugzi...@digitalmars.com> ---
Much reduced test case:

---
struct S
{
    int* bar() return;
}

int* test1()
{
    auto x = S(); return x.bar();  // error
}

int* test2()
{
    return S().bar();  // no error
}

--