On Tuesday, January 17, 2012 20:28:52 Timon Gehr wrote: > On 01/17/2012 08:21 PM, H. S. Teoh wrote: > > On Tue, Jan 17, 2012 at 09:07:05AM -0800, Jonathan M Davis wrote: > > [...] > > > >> Exception itself isn't @safe yet (its constructor in particular), and > >> I don't think that AssertError is either. A number of stuff like that > >> in druntime and Phobos still needs to be marked @safe or @trusted. > > > > [...] > > > > Just out of curiosity, why isn't it marked @safe? I looked over the > > source and didn't see anything immediately obvious that would preclude > > @safe. > > > > > > T > > The code for it was presumably written before SafeD was invented.
That, and not many Phobos developers have been in the habit of using @safe. It isn't fully implemented, and any code in druntime or Phobos which is using it is generally newer. It's a lot like pure in that not all that much has been marked with it historically, making it kind of useless - though pure has generally been used more than @safe. Attribute inferrence is a big step forward in making as much as possible @safe and pure, but there's still plenty to do there. - Jonathan M Davis