Post

so this all is a reasonable criticism of semantics but i am deathly terrified of the crater run results should we just try to change this all in-place. ...i will concede that nonzero saturating while the rest overflow is Some Bullshit and we should probably pick one behaviour (saturating imo)

Tbh I completely agree, though I am more scared that a crater run would show exactly nothing, since there is not many tests intentionally panicing, (assuming overflow-checks have not been turned off) I think I would personally be more for changing it in the range type which would be more safe imo

aren't range type changes for Copy reasons already scheduled or did that already happen