On 2/6/15 3:26 AM, Tobias Pankrath wrote:
I'd like D to provide the following guarantee: If I corrupt my memory using @safe code, the error must be in code marked @trusted / @system, either because the do not provide a @safe interface or because they are buggy.
That's what we're going for. -- Andrei