feat: Add rule no-constant-binary-expression

I proposed the core idea of this rule in
eslint#13752 as an addition to
`no-constant-condition`, but on the advice of the TSC, it was
restructured as a standalone rule.

docs/rules/no-constant-binary-expression.md

@@ -0,0 +1,66 @@
+# disallow expressions where the operation doesn’t affect the value (no-constant-binary-expression)
+
+Comparisons which will always evaluate to true or false and logical expressions (`||`, `&&`, `??`) which either always short circuit or never short circuit are both likely indications of programmer error.
+
+These errors are especially common in complex expressions where operator precedence is easy to misjudge. For example:
+
+```js
+// One might think this would evaluate as `x + (b ?? c)`:
+const x = a + b ?? c;
+
+// But it actually evaluates as `(a + b) ?? c`. Since `a + b` can never be null,
+// the `?? c` has no effect.
+```
+
+Additionally, we detect comparisons to newly constructed objects/arrays/functions/etc. In JavaScript, where objects are compared by reference, a newly constructed object can _never_ `===` any other value. This can be surprising for programmers coming from languages where objects are compared by value.
+
+```js
+// Programmers coming from a language where objects are compared by value might expect this to work:
+const isEmpty = x === [];
+
+// However, this will always result in `isEmpty` being `false`.
+```
+
+## Rule Details
+
+This rule identifies `==` and `===` comparisons which, based on the semantics of the JavaScript language, will always evaluate to `true` or `false`.
+
+It also identifies `||`, `&&` and `??` logical expressions which will either always or never short circuit.
+
+Examples of **incorrect** code for this rule:
+
+```js
+/*eslint no-constant-binary-expression: "error"*/
+const value1 = +x == null;
+
+const value2 = condition ? x : {} || DEFAULT;
+
+const value3 = !foo == null;
+
+const value4 = new Boolean(foo) === true;
+
+const arrIsEmpty = someObj === {};
+
+const arrIsEmpty = someArr === [];
+```
+
+Examples of **correct** code for this rule:
+
+```js
+/*eslint no-constant-binary-expression: "error"*/
+const value1 = x == null;
+
+const value2 = (condition ? x : {}) || DEFAULT;
+
+const value3 = !(foo == null);
+
+const value4 = Boolean(foo) === true;
+
+const arrIsEmpty = Object.keys(someObj).length === 0;
+
+const arrIsEmpty = someArr.length === 0;
+```
+
+Related Rules:
+
+- [`no-constant-condition`](https://eslint.org/docs/rules/no-constant-condition)

docs/rules/no-constant-condition.md

@@ -107,3 +107,7 @@ do {
     }
 } while (true)
 ```
+
+## Related Rules
+
+* [`no-constant-binary-expression`](https://eslint.org/docs/rules/no-constant-binary-expression)

lib/rules/index.js

@@ -103,6 +103,7 @@ module.exports = new LazyLoadingRuleMap(Object.entries({
     "no-confusing-arrow": () => require("./no-confusing-arrow"),
     "no-console": () => require("./no-console"),
     "no-const-assign": () => require("./no-const-assign"),
+    "no-constant-binary-expression": () => require("./no-constant-binary-expression"),
     "no-constant-condition": () => require("./no-constant-condition"),
     "no-constructor-return": () => require("./no-constructor-return"),
     "no-continue": () => require("./no-continue"),