Fix linearity checking in Lint
Lint was not able to see that x*y <= x*y
, because this inequality was decomposed to x <= x*y && y <= x*y
, but there was no rule to see that x <= x*y
.
Fixes #22546 (closed).
Lint was not able to see that x*y <= x*y
, because this inequality was decomposed to x <= x*y && y <= x*y
, but there was no rule to see that x <= x*y
.
Fixes #22546 (closed).