[Issue 15996] @safe allows escaping of ptrs to variables going out of scope

[via Digitalmars-d-bugs]

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

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

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

--- Comment #3 from Walter Bright <bugzi...@digitalmars.com> ---
The attachment:
---------------------------

safe:

import std.stdio;

struct T { int y; }

auto foo() {
    auto t = T(12345);
    auto x = &t.y;
    return x;
}

unittest {
    auto x = foo();
    writeln("Hello world");
    assert(*x == 12345);
}

--