Casting in Safe D

[David Held via Digitalmars-d-learn]

On 11/23/2014 3:12 PM, anonymous wrote:
> [...]
> And even pointer dereferencing is @safe. Invalid ones will fail
> with a segfault at run time:
> void foo(int* a) @safe {*a = 13;}

Hmm...throwing an exception is a well-defined behavior, but is 
segfaulting a well-defined behavior of correct D programs?  This seems 
like a peculiar definition of "safe" to me...

Dave