[codedokode]

And Rust omits overflow check under the same excuse, although overflow was a reason that allowed multiple Linux kernel vulnerabilities.

[GoblinSlayer]

Buffer overflows are caught by bound checks that don't need integer overflow checks, cf dotnet.