Lint x != _ || x != _

[llogiq]

Also probably x == _ && x == _. This is either a duplicate (if both _ are equal) or always false (true for the former).

[oli-obk]

we could probably let the logic_bug lint catch this. If the _ are equal, it's already caught. If they differ, we can add some logic to merge them into the same terminal and see if that eliminates any terminals.

[felix91gr]

What happened to this lint? Did it become part of logic_bug, @oli-obk?

[oli-obk]

nope. It was never integrated. We need to be careful which values we convert to the same terminal. E.g. x == foo() && x == bar() may easily be true, this trick should only be applied if the _ is a literal.