fe3200c038
add tests in `implicit_saturating_sub` lint This adds more tests to the `implicit_saturating_sub` lint to rule out certain false positives that have appeared in the past. Now with those false positives out of the equation, we can move the lint to `style`. --- changelog: promote [`implicit-saturating-sub`] to the `style` category