And Rust omits overflow check under the same excuse, although overflow was a reason that allowed multiple Linux kernel vulnerabilities.
Buffer overflows are caught by bound checks that don't need integer overflow checks, cf dotnet.
Buffer overflows are caught by bound checks that don't need integer overflow checks, cf dotnet.