Skip to content

Conversation

ada4a
Copy link
Contributor

@ada4a ada4a commented Sep 18, 2025

As per #clippy > `implicit_saturating_{add,sub}`: rename to `manual_*`

changelog: [implicit_saturating_add]: rename to manual_saturating_add
changelog: [implicit_saturating_sub]: rename to manual_saturating_sub
changelog: [inverted_saturating_sub]: rename to almost_saturating_sub

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Sep 18, 2025
@rustbot
Copy link
Collaborator

rustbot commented Sep 18, 2025

r? @blyxyas

rustbot has assigned @blyxyas.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Copy link

github-actions bot commented Sep 18, 2025

Lintcheck changes for afe18a8

Lint Added Removed Changed
clippy::implicit_saturating_sub 0 3 0
clippy::manual_saturating_sub 3 0 0

This comment will be updated if you push new changes

@rustbot

This comment has been minimized.

@rustbot

This comment has been minimized.

@rustbot

This comment has been minimized.

@ada4a ada4a force-pushed the manual-saturating branch from e2fb5e8 to 398e0ec Compare October 4, 2025 19:03
@rustbot

This comment has been minimized.

@rustbot

This comment has been minimized.

@ada4a ada4a force-pushed the manual-saturating branch from 398e0ec to afe18a8 Compare October 7, 2025 14:59
@rustbot
Copy link
Collaborator

rustbot commented Oct 7, 2025

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants