lint double comparisons #753
Description
Examples:
x == y || x < y / x < y || x == y → x <= y
x == y || x > y / x > y || x == y→ x >= y
x < y || x > y → x != y
x <= y && x >= y / x >= y && x <= y → x == y
etc.
{{ message }}
Examples:
x == y || x < y / x < y || x == y → x <= y
x == y || x > y / x > y || x == y→ x >= y
x < y || x > y → x != y
x <= y && x >= y / x >= y && x <= y → x == y
etc.