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

Radu <radu.racariu@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe

--

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

Walter Bright <bugzilla@digitalmars.com> changed:

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

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

--

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

--- Comment #2 from Walter Bright <bugzilla@digitalmars.com> ---
https://github.com/dlang/dmd/pull/8036

--

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

Carsten Blüggel <chilli@posteo.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |chilli@posteo.net

--

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

--- Comment #3 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/ff6edd1f56da1604d0b22d5342c5100633551cce fix Issue 18484 - [dip1000] Subtype allows reference to escape with implicit casting

https://github.com/dlang/dmd/commit/03eb2b7c0a8c0bbd0e01ab4b1b24cb30d82f4d02 Merge pull request #8036 from WalterBright/fix18484

fix Issue 18484 - [dip1000] Subtype allows reference to escape with i… merged-on-behalf-of: Walter Bright <WalterBright@users.noreply.github.com>

--

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

github-bugzilla@puremagic.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--