Safety, undefined behavior, @safe, @trusted

[Walter Bright]

dsimcha wrote:
> What about threading?  I can't see how you could statically prove that a
> multithreaded program did not have any undefined behavior, especially before
> shared is fully implemented.

We definitely have more work to do on the threading model, but I don't 
think it's an insurmountable problem. I also don't think thinks like 
race conditions are undefined behavior.