[staticassertion]

Rust is a lot more explicit. I suspect logic bugs will be much less common. It's far easier to model complexity in Rust.