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

[d-bugmail at puremagic.com]

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

Walter Bright <bugzilla at digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla at digitalmars.com

--- Comment #1 from Walter Bright <bugzilla at 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
}

--