[Issue 19371] Taking address of ref return in @safe code: compile-time checks fail

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Nov 14 00:02:53 UTC 2018


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

--- Comment #5 from Stanislav Blinov <stanislav.blinov at gmail.com> ---
Add -dip1000 to the command line. With it, I don't understand how these two
lines are not contradicting:

    pragma(msg, typeof(() @safe { return &get(); }));         // _error_
    static assert(!is(typeof(() @safe { return &get(); })));  // fails

--


More information about the Digitalmars-d-bugs mailing list