Add TypeScript 7 support to dtslint

.changeset/strong-dragons-check.md

@@ -0,0 +1,10 @@
+---
+"@definitelytyped/dtslint": patch
+"@definitelytyped/eslint-plugin": patch
+"@definitelytyped/typescript-packages": patch
+"@definitelytyped/typescript-versions": patch
+"@definitelytyped/utils": patch
+---
+
+Add TypeScript 7.0 and 7.1 support through the Corsa compiler API, including compiler diagnostics, `$ExpectType`
+assertions, version-ranged `@ts-expect-error` directives, multi-project failure reporting, and local TypeScript packages.

.changeset/tidy-tigers-compile.md

@@ -0,0 +1,8 @@
+---
+"@definitelytyped/dts-critic": patch
+"@definitelytyped/dtslint": patch
+"@definitelytyped/eslint-plugin": patch
+"dts-gen": patch
+---
+
+Upgrade bundled TypeScript dependencies to 6.0 and update TypeScript ESLint dependencies for compatibility.

package.json

@@ -19,16 +19,16 @@
     "@types/jest": "^30.0.0",
     "@types/node": "^25.3.3",
     "@types/yargs": "^17.0.35",
-    "@typescript-eslint/eslint-plugin": "^8.56.1",
-    "@typescript-eslint/parser": "^8.56.1",
+    "@typescript-eslint/eslint-plugin": "^8.67.0",
+    "@typescript-eslint/parser": "^8.67.0",
     "eslint": "^8.57.1",
     "eslint-plugin-import": "^2.32.0",
     "eslint-plugin-jsdoc": "^48.11.0",
     "jest": "^30.2.0",
     "knip": "^5.85.0",
     "prettier": "^3.8.1",
-    "ts-jest": "^29.4.6",
-    "typescript": "^5.9.3"
+    "ts-jest": "^29.4.12",
+    "typescript": "^6.0.3"
   },
   "pnpm": {
     "overrides": {

packages/definitions-parser/package.json

@@ -29,7 +29,7 @@
   },
   "devDependencies": {
     "@types/pacote": "^11.1.8",
-    "typescript": "^5.9.3"
+    "typescript": "^6.0.3"
   },
   "peerDependencies": {
     "typescript": "<7"

packages/dts-critic/package.json

@@ -8,13 +8,12 @@
   },
   "dependencies": {
     "@definitelytyped/header-parser": "workspace:*",
-    "typescript": "^5.9.3",
+    "typescript": "^6.0.3",
     "yargs": "^17.7.2"
   },
   "peerDependencies": {
     "typescript": "<7"
   },
-  "devDependencies": {},
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
   "scripts": {

packages/dts-gen/package.json

@@ -25,7 +25,7 @@
   },
   "dependencies": {
     "dts-dom": "^3.7.0",
-    "typescript": "^5.9.3",
+    "typescript": "^6.0.3",
     "which": "^6.0.1",
     "yargs": "^17.7.2"
   },

packages/dtslint/README.md

@@ -182,6 +182,13 @@ Use your locally installed version of TypeScript.
 ```sh
 dtslint --localTs node_modules/typescript/lib types
 ```
+
+For TypeScript 7, pass the TypeScript package directory after building both the native compiler and JavaScript API:
+
+```sh
+dtslint --localTs ../TypeScript/packages/typescript types
+```
+
 - `--expectOnly`
 
 Disable all the lint rules except the one that checks for type correctness.

packages/dtslint/package.json

@@ -28,23 +28,21 @@
     "@definitelytyped/typescript-packages": "workspace:*",
     "@definitelytyped/typescript-versions": "workspace:*",
     "@definitelytyped/utils": "workspace:*",
-    "@typescript-eslint/eslint-plugin": "^8.56.1",
-    "@typescript-eslint/parser": "^8.56.1",
-    "@typescript-eslint/types": "^8.56.1",
-    "@typescript-eslint/typescript-estree": "^8.56.1",
-    "@typescript-eslint/utils": "^8.56.1",
+    "@typescript-eslint/eslint-plugin": "^8.67.0",
+    "@typescript-eslint/parser": "^8.67.0",
+    "@typescript-eslint/types": "^8.67.0",
+    "@typescript-eslint/typescript-estree": "^8.67.0",
+    "@typescript-eslint/utils": "^8.67.0",
     "eslint": "^8.57.1",
     "eslint-plugin-import": "^2.32.0",
     "semver": "^7.7.4",
-    "strip-json-comments": "^3.1.1"
-  },
-  "peerDependencies": {
-    "typescript": "<7"
+    "strip-json-comments": "^3.1.1",
+    "typescript": "^6.0.3"
   },
   "devDependencies": {
     "@types/eslint": "^8.56.12",
     "@types/semver": "^7.7.1",
-    "typescript": "^5.9.3"
+    "typescript-7.1": "npm:typescript@~7.1.0-0"
   },
   "engines": {
     "node": ">=20.17.0"

packages/dtslint/src/index.ts

@@ -91,6 +91,9 @@ async function main(): Promise<void> {
   if (onlyNpmChecks && skipNpmChecks) {
     throw new Error("Cannot use --onlyNpmChecks and --skipNpmChecks together.");
   }
+  if (onlyTestTsNext && tsLocal) {
+    throw new Error("Cannot use --onlyTestTsNext and --localTs together.");
+  }
   if (lookingForTsLocal) {
     throw new Error("Path for --localTs was not provided.");
   }
@@ -299,7 +302,7 @@ async function testTypesVersion(
     }
   }
 
-  const err = await lint(dirPath, lowVersion, hiVersion, isLatest, expectOnly, tsLocal);
+  const err = await lint(dirPath, tsconfigs, lowVersion, hiVersion, isLatest, expectOnly, tsLocal);
   if (err) {
     errors.push(err);
   }

packages/dtslint/src/lint.ts

@@ -6,10 +6,12 @@ import { ESLint } from "eslint";
 import * as TsType from "typescript";
 
 import { createProgram } from "./createProgram";
-import { typeScriptPath } from "./typescript-installer";
+import { lintCorsaVersions } from "./lintCorsa";
+import { resolveLocalTypeScript, typeScriptPath } from "./typescript-installer";
 
 export async function lint(
   dirPath: string,
+  tsconfigs: readonly string[],
   minVersion: TsVersion,
   maxVersion: TsVersion,
   isLatest: boolean,
@@ -31,17 +33,38 @@ export async function lint(
     return files;
   }
 
-  const options = getEslintOptions(expectOnly, minVersion, maxVersion, tsLocal);
-  const eslint = new ESLint(options);
-  const formatter = await eslint.loadFormatter("stylish");
-  const results = await eslint.lintFiles(files);
-  const output = formatter.format(results);
-  for (const estreePath of estrees) {
-    if (!estreePath) continue;
-    const estree = require(estreePath) as typeof import("@typescript-eslint/typescript-estree");
-    estree.clearCaches();
+  const versions = range(minVersion, maxVersion);
+  const legacyVersions: TsVersion[] = [];
+  const corsaVersions: TsVersion[] = [];
+  for (const version of versions) {
+    (usesCorsa(version, tsLocal) ? corsaVersions : legacyVersions).push(version);
   }
-  return output;
+
+  const outputs: string[] = [];
+  if (!expectOnly || legacyVersions.length) {
+    const options = getEslintOptions(expectOnly, legacyVersions, tsLocal);
+    const eslint = new ESLint(options);
+    const formatter = await eslint.loadFormatter("stylish");
+    const results = await eslint.lintFiles(files);
+    const output = await formatter.format(results);
+    if (output) {
+      outputs.push(output);
+    }
+    for (const estreePath of estrees) {
+      if (!estreePath) continue;
+      const estree = require(estreePath) as typeof import("@typescript-eslint/typescript-estree");
+      estree.clearCaches();
+    }
+  }
+
+  if (corsaVersions.length) {
+    const output = await lintCorsaVersions(dirPath, tsconfigs, corsaVersions, isLatest, tsLocal, files);
+    if (output) {
+      outputs.push(output);
+    }
+  }
+
+  return outputs.join("\n") || undefined;
 }
 
 function getSourceFiles(dirPath: string, isLatest: boolean) {
@@ -84,11 +107,10 @@ function tryResolve(path: string, options?: { paths?: string[] | undefined }): s
 
 function getEslintOptions(
   expectOnly: boolean,
-  minVersion: TsVersion,
-  maxVersion: TsVersion,
+  versions: readonly TsVersion[],
   tsLocal: string | undefined,
 ): ESLint.Options {
-  const versionsToTest = range(minVersion, maxVersion).map((versionName) => ({
+  const versionsToTest = versions.map((versionName) => ({
     versionName,
     path: typeScriptPath(versionName, tsLocal),
   }));
@@ -105,8 +127,8 @@ function getEslintOptions(
       {
         files: allFiles,
         rules: {
-          // This prevents anyone from disabling this rule.
-          "@definitelytyped/expect": ["error"],
+          // This prevents anyone from disabling this rule when it is responsible for ExpectType.
+          "@definitelytyped/expect": versions.length ? ["error"] : "off",
         },
       },
     ],
@@ -196,11 +218,20 @@ function range(minVersion: TsVersion, maxVersion: TsVersion): readonly TsVersion
   const minIdx = TypeScriptVersion.supported.indexOf(minVersion);
   assert(minIdx >= 0);
   if (maxVersion === TypeScriptVersion.latest) {
-    return [...TypeScriptVersion.supported.slice(minIdx), TypeScriptVersion.latest];
+    return TypeScriptVersion.supported.slice(minIdx);
   }
   const maxIdx = TypeScriptVersion.supported.indexOf(maxVersion as TypeScriptVersion);
   assert(maxIdx >= minIdx);
   return TypeScriptVersion.supported.slice(minIdx, maxIdx + 1);
 }
 
 export type TsVersion = TypeScriptVersion | "local";
+
+function usesCorsa(version: TsVersion, tsLocal: string | undefined): boolean {
+  if (version !== "local") {
+    return parseFloat(version) >= 7;
+  }
+
+  assert(tsLocal);
+  return resolveLocalTypeScript(tsLocal).kind === "corsa";
+}