@trust is an encapsulation method, not an escape

[Meta via Digitalmars-d]

On Friday, 6 February 2015 at 22:24:48 UTC, Walter Bright wrote:
> Rust has "unsafe" blocks with specific instructions that it 
> cannot be verified mechanically and it is up to the programmer 
> to ensure a safe interface to it.
>
> So no, Rust didn't get that working, either, and it is far 
> beyond current compiler technology to do it.

Rust guarantees, though, that all code outside of unsafe 
blocks/functions is completely safe, which D doesn't do because 
of trusted. I think that `unsafe` in Rust is more like @trust in 
D, but I'm not completely sure about that.