> It just becomes less a "sanitizer" you can always recommend everyone everywhere use, and more of just a heuristic thing that only really works if you design your code for its arbitrary desires.

Sure, and that's basically what I was wondering about with respect to "can't define it" being shorthand for something else

> imo it'd be nice to have separate types for wrapping and non-wrapping integers for that

I think I'd agree, though I'd imagine it's a bit late for such things to be deeply integrated into the language. At least making your own isn't horrendously difficult.