https://issues.dlang.org/show_bug.cgi?id=18281
anonymous4 <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |WONTFIX --- Comment #1 from anonymous4 <[email protected]> --- 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. --
