In debug mode, integer overflow panics. In release mode, overflow does occur; that's why checked_add and friends exist.