ParentFull threadnyberg·Rust doesn't provide integer overflow safety unless explicitly requested. This is something refinement types which ATS2 provides would catch.View on HN