> It is what happens IN PRACTICE that matters. Funny you should say that, because when you compile Rust programs in debug mode (e.g., how most tests are run),

> It is what happens IN PRACTICE that matters. Funny you should say that, because when you compile Rust programs in debug mode (e.g., how most tests are run), then overflow results in a panic. This isn't foolproof, but that's what "in practice" means. For me, overflow bugs tend to be caught in tests. You're getting too hung up on one specific point (integer wrapping) and being too bombastic about it. Consider other facets of safety such as exception safety, data races and ownership.