misplaced @trust?

[Walter Bright via Digitalmars-d]

On 2/6/2015 8:10 AM, Andrei Alexandrescu wrote:
> 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


Exactly. And it's been that way all along.