lint useless operands in binary operations

[oli-obk]

Things like x & 0 can be just 0. Basically any identity or erasing operation should be linted.

• x + 0
• x * 1
• x | 0
• x & 0
• x & uint_max
• x % uint_max
• x / uint_max
• x / x
• x - x
• ...

[llogiq]

We already have the ineffective_operation lint that catches some of those.

Also one needs to be careful, someone can overload the ops to mean something different.

[clarfonthey]

x % uint_max isn't just x; it's if x == uint_max { 0 } else { x }

[ykrivopalov]

This checks is already exist: x + 0; x * 1; x | 0. I'll add few more