[Issue 18281] Compiler rejects safe code in @safe

[d-bugmail at puremagic.com]

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

--- Comment #3 from anonymous4 <dfj1esp02 at sneakemail.com> ---
(In reply to Nick Treleaven from comment #2)
> dmd can't infer scope
That's what I mean: the code is safe, but the compiler is not smart enough to
figure it out. There's no such requirement that there must be safe code that
must not ever be recognized as safe, and dip1000 is the primary example of
that: language rules can be extended to accept more safe code, effectively it's
prone to "can't say no" problem.

--