https://issues.dlang.org/show_bug.cgi?id=19371
--- Comment #5 from Stanislav Blinov <stanislav.bli...@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 --