@trust is an encapsulation method, not an escape

[Walter Bright via Digitalmars-d]

On 2/6/2015 7:48 AM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
<ola.fosheim.grostad+dlang at gmail.com>" wrote:
> Then how is this more work than implementing something like a linear type system
> that is both tedious for the programmer and has taken Rust 8 years to get into
> working shape...?

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.