[pornel]

Rust does prevent a lot of cases of "sloppy" code. In the safe subset sloppy use of pointers won't compile. Destructors run automatically, so even sloppy code is unlikely to leak. Optional and Result types make it harder to be sloppy with error handling. The type system won't let you handwave immutability or thread-safety.