Yes, it does, provided programmers restrict themselves to the safe subset of the language. Rust is a wonderful step in the right direction.