Add lints IMPLICIT_SATURATING_MUL and IMPLICIT_SATURATING_DIV

What it does

Add lint similar to IMPLICIT_SATURATING_SUB and IMPLICIT_SATURATING_ADD, but for MUL and DIV.

Lint Name

IMPLICIT_SATURATING_MUL and IMPLICIT_SATURATING_DIV

Category

pedantic

Advantage

As mentioned at clippy::implicit_saturating_sub and clippy::implicit_saturating_add, the built-in function is more readable and may be faster.

Drawbacks

No response

Example

 let mut i: u32 = 3;
 i *= 2;

let mut i: u32 = 6;
i /= 2;

Could be written as:

let mut i: u32 = 3;
i = i.saturating_mul(2);

let mut i: u32 = 6;
i = i.saturating_div(2);

Start by reading the existing IMPLICIT_SATURATING_SUB and IMPLICIT_SATURATING_ADD lints and their surrounding tests, then compare how multiplication and division cases should be recognized. Done means IMPLICIT_SATURATING_MUL and IMPLICIT_SATURATING_DIV are available in the pedantic category and the provided examples produce the intended diagnostics.