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