You don't need to trust people using Rust, you just trust the type system. Admittedly, the memory safety features of the type system haven't been formally veri

You don't need to trust people using Rust, you just trust the type system. Admittedly, the memory safety features of the type system haven't been formally verified, but this is a goal, and there is a rather large piece of in-source documentation: http://static.rust-lang.org/doc/master/rustc/middle/borrowck/doc/index.html http://static.rust-lang.org/doc/master/rustc/middle/borrowck... (I haven't read it, so I have no idea if it will make any sense to someone who doesn't know Rust.)