>>486
Rustは起きないことを100%保証できます

どんな言語でも整数演算のオーバーフローに正しく対処するには整数演算でオーバーフローの有無・エラー・例外のいずれかを返してその対応処理が行なわれることを必要としますが
Rustは例えば足し算ならchecked_add系あるいはoverflowing_add系などが使われてない箇所を静的チェッカーにより確実に捕捉できます