@trust is an encapsulation method, not an escape

[Andrei Alexandrescu via Digitalmars-d]

On 2/5/15 5:12 PM, Walter Bright wrote:
> On 2/5/2015 4:13 PM, Dicebot wrote:
>> I know this definition. It have tried it in practice and concluded as
>> being
>> absolutely useless. There is no way I am going to return back to this
>> broken
>> concept - better to ignore @safe completely as misfeature if you
>> insist on doing
>> things that way.
>
> I'm sorry I haven't been able to convince you. I don't have any more
> arguments other than just repeating myself.
>
> Moving forward, I must insist that use of @trusted in such a way as to
> make its surrounding context not mechanically checkable is no longer
> acceptable in Phobos.
>
> If need be, I will rewrite std.array myself to address this.
>
> But D is a systems programming language, not a B&D language, and anyone
> will be free to ignore @safe and continue to use the other benefits of
> D, or use @safe in a way that conforms to their own formulation of best
> practices.

I second this. -- Andrei