[codedokode]

Nobody is going to write "checked_add" because that's too long and people are too lazy. The checked addition should be "+" operator.

[zahlman]

Agreed, the option that sacrifices security in search of performance should be the more verbose one. There's a reason Rust doesn't have `safe {}` blocks and there's a reason it chose immutable-by-default semantics.