[frankreyes]

Thanks, never wrote Rust so I'm just guessing. What else there is, besides static type checks? Is there a runtime side too?

[proto_lambda]

There is no runtime (other than init/exit handling). The main thing that provides memory safety without a GC is the borrow checker, which is a language feature and independent of the smart pointer types in the standard library.