If it were ever true, it's not anymore.

Rust is a nice choice even just for its amazing sum types and the ability to make impossible states unrepresentable at the type level.