https://issues.dlang.org/show_bug.cgi?id=18281
--- Comment #3 from anonymous4 <dfj1es...@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. --