[rurban]

Everything that guarantees the fundamental safeties.

So not Rust, but Lisp, pony, Concurrent Pascal and all it's derivates.