Yes, as always shown in C/C++, integer overflows make everything messed up

I've heard that point of view for the first time because integer overflows don't cause an invalid memory access without `unsafe` code

I'm talking about memory safety.
That is, runtime checks (e.g. reference count, index out of range) are not omitted even in release build.
Overflow checks are, yeah, desirable in most situations. I agree that