Merge branch 'main' into fix/website-error

Author: kirkwaiblinger

Diff for: CHANGELOG.md

@@ -1,3 +1,24 @@
+## 8.16.0 (2024-11-25)
+
+### 🚀 Features
+
+- support TypeScript 5.7 ([#10372](https://github.com/typescript-eslint/typescript-eslint/pull/10372))
+- **eslint-plugin:** [max-params] add function overload and function type support ([#10312](https://github.com/typescript-eslint/typescript-eslint/pull/10312))
+- **eslint-plugin:** [no-base-to-string] check Array.prototype.join ([#10287](https://github.com/typescript-eslint/typescript-eslint/pull/10287))
+
+### 🩹 Fixes
+
+- **typescript-estree:** update conditions for unsupported version warning ([#10385](https://github.com/typescript-eslint/typescript-eslint/pull/10385))
+
+### ❤️  Thank You
+
+- Inga @inga-lovinde
+- Josh Goldberg ✨
+- Kim Sang Du @developer-bandi
+- YeonJuan @yeonjuan
+
+You can read about our [versioning strategy](https://main--typescript-eslint.netlify.app/users/versioning) and [releases](https://main--typescript-eslint.netlify.app/users/releases) on our website.
+
 ## 8.15.0 (2024-11-18)
 
 ### 🚀 Features

Diff for: packages/ast-spec/CHANGELOG.md

@@ -1,3 +1,9 @@
+## 8.16.0 (2024-11-25)
+
+This was a version bump only for ast-spec to align it with other projects, there were no code changes.
+
+You can read about our [versioning strategy](https://main--typescript-eslint.netlify.app/users/versioning) and [releases](https://main--typescript-eslint.netlify.app/users/releases) on our website.
+
 ## 8.15.0 (2024-11-18)
 
 This was a version bump only for ast-spec to align it with other projects, there were no code changes.

Diff for: packages/ast-spec/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typescript-eslint/ast-spec",
-  "version": "8.15.0",
+  "version": "8.16.0",
   "description": "Complete specification for the TypeScript-ESTree AST",
   "private": true,
   "keywords": [

Diff for: packages/eslint-plugin/CHANGELOG.md

@@ -1,3 +1,17 @@
+## 8.16.0 (2024-11-25)
+
+### 🚀 Features
+
+- **eslint-plugin:** [no-base-to-string] check Array.prototype.join ([#10287](https://github.com/typescript-eslint/typescript-eslint/pull/10287))
+- **eslint-plugin:** [max-params] add function overload and function type support ([#10312](https://github.com/typescript-eslint/typescript-eslint/pull/10312))
+
+### ❤️  Thank You
+
+- Kim Sang Du @developer-bandi
+- YeonJuan @yeonjuan
+
+You can read about our [versioning strategy](https://main--typescript-eslint.netlify.app/users/versioning) and [releases](https://main--typescript-eslint.netlify.app/users/releases) on our website.
+
 ## 8.15.0 (2024-11-18)
 
 ### 🚀 Features

Diff for: packages/eslint-plugin/docs/rules/no-base-to-string.mdx

@@ -34,6 +34,9 @@ value + '';
 String({});
 ({}).toString();
 ({}).toLocaleString();
+
+// Stringifying objects or instances in an array with the `Array.prototype.join`.
+[{}, new MyClass()].join('');
 ```
 
 </TabItem>

Diff for: packages/eslint-plugin/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typescript-eslint/eslint-plugin",
-  "version": "8.15.0",
+  "version": "8.16.0",
   "description": "TypeScript plugin for ESLint",
   "files": [
     "dist",
@@ -61,10 +61,10 @@
   },
   "dependencies": {
     "@eslint-community/regexpp": "^4.10.0",
-    "@typescript-eslint/scope-manager": "8.15.0",
-    "@typescript-eslint/type-utils": "8.15.0",
-    "@typescript-eslint/utils": "8.15.0",
-    "@typescript-eslint/visitor-keys": "8.15.0",
+    "@typescript-eslint/scope-manager": "8.16.0",
+    "@typescript-eslint/type-utils": "8.16.0",
+    "@typescript-eslint/utils": "8.16.0",
+    "@typescript-eslint/visitor-keys": "8.16.0",
     "graphemer": "^1.4.0",
     "ignore": "^5.3.1",
     "natural-compare": "^1.4.0",
@@ -75,8 +75,8 @@
     "@types/marked": "^5.0.2",
     "@types/mdast": "^4.0.3",
     "@types/natural-compare": "*",
-    "@typescript-eslint/rule-schema-to-typescript-types": "8.15.0",
-    "@typescript-eslint/rule-tester": "8.15.0",
+    "@typescript-eslint/rule-schema-to-typescript-types": "8.16.0",
+    "@typescript-eslint/rule-tester": "8.16.0",
     "ajv": "^6.12.6",
     "cross-env": "^7.0.3",
     "cross-fetch": "*",

Diff for: packages/eslint-plugin/src/rules/no-base-to-string.ts

@@ -2,9 +2,16 @@
 import type { TSESTree } from '@typescript-eslint/utils';
 
 import { AST_NODE_TYPES } from '@typescript-eslint/utils';
+import * as tsutils from 'ts-api-utils';
 import * as ts from 'typescript';
 
-import { createRule, getParserServices, getTypeName } from '../util';
+import {
+  createRule,
+  getConstrainedTypeAtLocation,
+  getParserServices,
+  getTypeName,
+  nullThrows,
+} from '../util';
 
 enum Usefulness {
   Always = 'always',
@@ -17,7 +24,7 @@ type Options = [
     ignoredTypeNames?: string[];
   },
 ];
-type MessageIds = 'baseToString';
+type MessageIds = 'baseArrayJoin' | 'baseToString';
 
 export default createRule<Options, MessageIds>({
   name: 'no-base-to-string',
@@ -30,6 +37,8 @@ export default createRule<Options, MessageIds>({
       requiresTypeChecking: true,
     },
     messages: {
+      baseArrayJoin:
+        "Using `join()` for {{name}} {{certainty}} use Object's default stringification format ('[object Object]') when stringified.",
       baseToString:
         "'{{name}}' {{certainty}} use Object's default stringification format ('[object Object]') when stringified.",
     },
@@ -64,7 +73,6 @@ export default createRule<Options, MessageIds>({
       if (node.type === AST_NODE_TYPES.Literal) {
         return;
       }
-
       const certainty = collectToStringCertainty(
         type ?? services.getTypeAtLocation(node),
       );
@@ -82,6 +90,91 @@ export default createRule<Options, MessageIds>({
       });
     }
 
+    function checkExpressionForArrayJoin(
+      node: TSESTree.Node,
+      type: ts.Type,
+    ): void {
+      const certainty = collectJoinCertainty(type);
+
+      if (certainty === Usefulness.Always) {
+        return;
+      }
+
+      context.report({
+        node,
+        messageId: 'baseArrayJoin',
+        data: {
+          name: context.sourceCode.getText(node),
+          certainty,
+        },
+      });
+    }
+
+    function collectUnionTypeCertainty(
+      type: ts.UnionType,
+      collectSubTypeCertainty: (type: ts.Type) => Usefulness,
+    ): Usefulness {
+      const certainties = type.types.map(t => collectSubTypeCertainty(t));
+      if (certainties.every(certainty => certainty === Usefulness.Never)) {
+        return Usefulness.Never;
+      }
+
+      if (certainties.every(certainty => certainty === Usefulness.Always)) {
+        return Usefulness.Always;
+      }
+
+      return Usefulness.Sometimes;
+    }
+
+    function collectIntersectionTypeCertainty(
+      type: ts.IntersectionType,
+      collectSubTypeCertainty: (type: ts.Type) => Usefulness,
+    ): Usefulness {
+      for (const subType of type.types) {
+        const subtypeUsefulness = collectSubTypeCertainty(subType);
+
+        if (subtypeUsefulness === Usefulness.Always) {
+          return Usefulness.Always;
+        }
+      }
+
+      return Usefulness.Never;
+    }
+
+    function collectJoinCertainty(type: ts.Type): Usefulness {
+      if (tsutils.isUnionType(type)) {
+        return collectUnionTypeCertainty(type, collectJoinCertainty);
+      }
+
+      if (tsutils.isIntersectionType(type)) {
+        return collectIntersectionTypeCertainty(type, collectJoinCertainty);
+      }
+
+      if (checker.isTupleType(type)) {
+        const typeArgs = checker.getTypeArguments(type);
+        const certainties = typeArgs.map(t => collectToStringCertainty(t));
+        if (certainties.some(certainty => certainty === Usefulness.Never)) {
+          return Usefulness.Never;
+        }
+
+        if (certainties.some(certainty => certainty === Usefulness.Sometimes)) {
+          return Usefulness.Sometimes;
+        }
+
+        return Usefulness.Always;
+      }
+
+      if (checker.isArrayType(type)) {
+        const elemType = nullThrows(
+          type.getNumberIndexType(),
+          'array should have number index type',
+        );
+        return collectToStringCertainty(elemType);
+      }
+
+      return Usefulness.Always;
+    }
+
     function collectToStringCertainty(type: ts.Type): Usefulness {
       const toString =
         checker.getPropertyOfType(type, 'toString') ??
@@ -113,45 +206,13 @@ export default createRule<Options, MessageIds>({
       }
 
       if (type.isIntersection()) {
-        for (const subType of type.types) {
-          const subtypeUsefulness = collectToStringCertainty(subType);
-
-          if (subtypeUsefulness === Usefulness.Always) {
-            return Usefulness.Always;
-          }
-        }
-
-        return Usefulness.Never;
+        return collectIntersectionTypeCertainty(type, collectToStringCertainty);
       }
 
       if (!type.isUnion()) {
         return Usefulness.Never;
       }
-
-      let allSubtypesUseful = true;
-      let someSubtypeUseful = false;
-
-      for (const subType of type.types) {
-        const subtypeUsefulness = collectToStringCertainty(subType);
-
-        if (subtypeUsefulness !== Usefulness.Always && allSubtypesUseful) {
-          allSubtypesUseful = false;
-        }
-
-        if (subtypeUsefulness !== Usefulness.Never && !someSubtypeUseful) {
-          someSubtypeUseful = true;
-        }
-      }
-
-      if (allSubtypesUseful && someSubtypeUseful) {
-        return Usefulness.Always;
-      }
-
-      if (someSubtypeUseful) {
-        return Usefulness.Sometimes;
-      }
-
-      return Usefulness.Never;
+      return collectUnionTypeCertainty(type, collectToStringCertainty);
     }
 
     function isBuiltInStringCall(node: TSESTree.CallExpression): boolean {
@@ -188,12 +249,20 @@ export default createRule<Options, MessageIds>({
           checkExpression(node.arguments[0]);
         }
       },
+      'CallExpression > MemberExpression.callee > Identifier[name = "join"].property'(
+        node: TSESTree.Expression,
+      ): void {
+        const memberExpr = node.parent as TSESTree.MemberExpression;
+        const type = getConstrainedTypeAtLocation(services, memberExpr.object);
+        checkExpressionForArrayJoin(memberExpr.object, type);
+      },
       'CallExpression > MemberExpression.callee > Identifier[name = /^(toLocaleString|toString)$/].property'(
         node: TSESTree.Expression,
       ): void {
         const memberExpr = node.parent as TSESTree.MemberExpression;
         checkExpression(memberExpr.object);
       },
+
       TemplateLiteral(node: TSESTree.TemplateLiteral): void {
         if (node.parent.type === AST_NODE_TYPES.TaggedTemplateExpression) {
           return;