manual-saturating-arithmetic

Prefer saturating arithmetic over equivalent manual bounds logic

Falling back from checked unsigned arithmetic to the matching integer bound manually implements saturation.
Instead, you SHOULD call the corresponding saturating arithmetic method.

- Category: style
- Level: warning
- Fix: suggestion
- Scope: module

Reported

function add(left: uint32, right: uint32): uint32 {
    return left.checkedAdd(right) ?? uint32.maximum();
}
Accepted

function add(left: uint32, right: uint32): uint32 {
    return left.saturatingAdd(right);
}
Prior art

- Clippy · manualsaturatingarithmetic

language/linter/src/rules/style/manualsaturatingarithmetic.rs:8