[Issue 18281] Compiler rejects safe code in @safe

[d-bugmail--- via Digitalmars-d-bugs]

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

anonymous4 <dfj1es...@sneakemail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #1 from anonymous4 <dfj1es...@sneakemail.com> ---
I believe accepting all Turing-complete safe code would require solution to
halting problem, so type system is necessarily conservative: what passes is
safe, but so much about it. DIP1000 extends scope of accepted safe code.

--