Bump typescript from 5.9.3 to 6.0.2 (#1476)

dependabot[bot] · Janther · web-flow · commit 7e03ec99a14d · 2026-04-04T16:24:35.000-03:00
* Bump typescript from 5.9.3 to 6.0.2 Bumps [typescript](https://github.com/microsoft/TypeScript) from 5.9.3 to 6.0.2. - [Release notes](https://github.com/microsoft/TypeScript/releases) - [Commits](microsoft/TypeScript@v5.9.3...v6.0.2) --- updated-dependencies: - dependency-name: typescript dependency-version: 6.0.2 dependency-type: direct:development update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> * fixing configuration for typescript 6 and es2023 * adding a tsconfig just to build the test files * extending `tsconfig.json` instead of copy pasting it. * now that we have 2 configurations for `tsconfig`, we can add back the `eslint` linting for `variant-coverage` that were dismissed because of the single `tsconfig` --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Klaus <klahott@gmail.com>
diff --git a/eslint.config.mjs b/eslint.config.mjs
@@ -18,7 +18,6 @@ const compat = new FlatCompat({
 export default [
   {
     ignores: [
-      'variant-coverage/**/*.ts',
       'coverage/**/*.js',
       'dist/**/*.cjs',
       'dist/**/*.js',
@@ -72,7 +71,7 @@ export default [
       sourceType: 'script',
 
       parserOptions: {
-        project: ['tsconfig.json']
+        project: ['tsconfig.test.json']
       }
     },
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -13,7 +13,7 @@
   "scripts": {
     "build": "webpack --env production",
     "build:dev": "webpack --env development",
-    "build:test": "webpack --config test.config.js",
+    "build:test": "webpack --config webpack.test.config.js",
     "eslint": "eslint 'src/**' 'tests/**'",
     "lint": "npm run eslint && npm run prettier -- --list-different && npm run knip",
     "lint:fix": "npm run eslint -- --fix && npm run prettier -- --write",
@@ -110,7 +110,7 @@
     "solc": "^0.8.34",
     "ts-loader": "^9.5.7",
     "ts-node": "^10.9.2",
-    "typescript": "^5.9.3",
+    "typescript": "^6.0.2",
     "webpack": "^5.105.4",
     "webpack-cli": "^7.0.2"
   },
diff --git a/src/slangPrinter.ts b/src/slangPrinter.ts
@@ -22,7 +22,7 @@ function hasNodeIgnoreComment({ comments }: StrictAstNode): boolean {
   );
 }
 
-function ignoreComments(path: AstPath<AstNode>): void {
+function ignoreComments(path: AstPath<StrictAstNode>): void {
   const node = path.node;
   // We ignore anything that is not an object
   if (node === null || typeof node !== 'object') return;
@@ -38,15 +38,17 @@ function ignoreComments(path: AstPath<AstNode>): void {
         break;
       // The key `comments` will contain every comment for this node.
       case 'comments':
-        path.each((commentPath) => (commentPath.node.printed = true), key);
+        if (node.comments !== undefined) {
+          path.each((commentPath) => (commentPath.node.printed = true), key);
+        }
         break;
       default:
         // If the value for that key is an Array or an Object we go deeper.
         const childNode = node[key];
         if (typeof childNode === 'object') {
           if (Array.isArray(childNode)) {
             path.each(ignoreComments, key);
-            return;
+            break;
           }
           path.call(ignoreComments, key);
         }
diff --git a/tsconfig.json b/tsconfig.json
@@ -1,11 +1,12 @@
 {
   "compilerOptions": {
     "allowJs": true,
+    "rootDir": "./src",
     "outDir": "./dist/",
     "noImplicitAny": true,
     "strictPropertyInitialization": true,
     "sourceMap": true,
-    "target": "es6",
+    "target": "es2023",
     "module": "NodeNext",
     "moduleResolution": "NodeNext",
     "strict": true,
diff --git a/tsconfig.test.json b/tsconfig.test.json
@@ -0,0 +1,7 @@
+{
+  "extends": "./tsconfig.json",
+  "compilerOptions": {
+    "rootDir": "./"
+  },
+  "include": ["./src/**/*", "./variant-coverage/**/*"]
+}
diff --git a/variant-coverage/ArgumentsDeclaration.ts b/variant-coverage/ArgumentsDeclaration.ts
@@ -7,6 +7,7 @@ export function checkArgumentsDeclarationVariant(
 ): void {
   if (variant instanceof ast.PositionalArgumentsDeclaration) return;
   if (variant instanceof ast.NamedArgumentsDeclaration) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/ContractMember.ts b/variant-coverage/ContractMember.ts
@@ -17,6 +17,7 @@ export function checkContractMemberVariant(
   if (variant instanceof ast.StateVariableDefinition) return;
   if (variant instanceof ast.ErrorDefinition) return;
   if (variant instanceof ast.UserDefinedValueTypeDefinition) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/ContractSpecifier.ts b/variant-coverage/ContractSpecifier.ts
@@ -6,6 +6,7 @@ export function checkContractSpecifierVariant(
 ): void {
   if (variant instanceof ast.InheritanceSpecifier) return;
   if (variant instanceof ast.StorageLayoutSpecifier) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/Expression.ts b/variant-coverage/Expression.ts
@@ -33,6 +33,7 @@ export function checkExpressionVariant(
   if (variant instanceof ast.DecimalNumberExpression) return;
   if (variant instanceof ast.StringExpression) return;
   if (variant instanceof ast.ElementaryType) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/FallbackFunctionAttribute.ts b/variant-coverage/FallbackFunctionAttribute.ts
@@ -9,6 +9,7 @@ export function checkFallbackFunctionAttributeVariant(
   if (variant instanceof TerminalNode) return;
   if (variant instanceof ast.ModifierInvocation) return;
   if (variant instanceof ast.OverrideSpecifier) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/ForStatementInitialization.ts b/variant-coverage/ForStatementInitialization.ts
@@ -10,6 +10,7 @@ export function checkForStatementInitializationVariant(
   if (variant instanceof ast.ExpressionStatement) return;
   if (variant instanceof ast.VariableDeclarationStatement) return;
   if (variant instanceof ast.TupleDeconstructionStatement) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/FunctionAttribute.ts b/variant-coverage/FunctionAttribute.ts
@@ -8,6 +8,7 @@ export function checkFunctionAttributeVariant(
   if (variant instanceof TerminalNode) return;
   if (variant instanceof ast.ModifierInvocation) return;
   if (variant instanceof ast.OverrideSpecifier) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/ImportClause.ts b/variant-coverage/ImportClause.ts
@@ -7,6 +7,7 @@ export function checkImportClauseVariant(
   if (variant instanceof ast.PathImport) return;
   if (variant instanceof ast.NamedImport) return;
   if (variant instanceof ast.ImportDeconstruction) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/MappingKeyType.ts b/variant-coverage/MappingKeyType.ts
@@ -6,6 +6,7 @@ export function checkMappingKeyTypeVariant(
 ): void {
   if (variant instanceof ast.IdentifierPath) return;
   if (variant instanceof ast.ElementaryType) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/Pragma.ts b/variant-coverage/Pragma.ts
@@ -5,6 +5,7 @@ export function checkPragmaVariant(variant: ast.Pragma['variant']): void {
   if (variant instanceof ast.AbicoderPragma) return;
   if (variant instanceof ast.ExperimentalPragma) return;
   if (variant instanceof ast.VersionPragma) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/ReceiveFunctionAttribute.ts b/variant-coverage/ReceiveFunctionAttribute.ts
@@ -9,6 +9,7 @@ export function checkReceiveFunctionAttributeVariant(
   if (variant instanceof TerminalNode) return;
   if (variant instanceof ast.ModifierInvocation) return;
   if (variant instanceof ast.OverrideSpecifier) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/SourceUnitMember.ts b/variant-coverage/SourceUnitMember.ts
@@ -17,6 +17,7 @@ export function checkSourceUnitMemberVariant(
   if (variant instanceof ast.UserDefinedValueTypeDefinition) return;
   if (variant instanceof ast.UsingDirective) return;
   if (variant instanceof ast.EventDefinition) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/Statement.ts b/variant-coverage/Statement.ts
@@ -19,6 +19,7 @@ export function checkStatementVariant(variant: ast.Statement['variant']): void {
   if (variant instanceof ast.AssemblyStatement) return;
   if (variant instanceof ast.Block) return;
   if (variant instanceof ast.UncheckedBlock) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/StringExpression.ts b/variant-coverage/StringExpression.ts
@@ -9,6 +9,7 @@ export function checkStringExpressionVariant(
   if (variant instanceof ast.HexStringLiteral) return;
   if (variant instanceof ast.HexStringLiterals) return;
   if (variant instanceof ast.UnicodeStringLiterals) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/TupleMember.ts b/variant-coverage/TupleMember.ts
@@ -6,6 +6,7 @@ export function checkTupleMemberVariant(
 ): void {
   if (variant instanceof ast.TypedTupleMember) return;
   if (variant instanceof ast.UntypedTupleMember) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/TypeName.ts b/variant-coverage/TypeName.ts
@@ -7,6 +7,7 @@ export function checkTypeNameVariant(variant: ast.TypeName['variant']): void {
   if (variant instanceof ast.MappingType) return;
   if (variant instanceof ast.IdentifierPath) return;
   if (variant instanceof ast.ElementaryType) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/UsingClause.ts b/variant-coverage/UsingClause.ts
@@ -6,6 +6,7 @@ export function checkUsingClauseVariant(
 ): void {
   if (variant instanceof ast.IdentifierPath) return;
   if (variant instanceof ast.UsingDeconstruction) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/VersionExpression.ts b/variant-coverage/VersionExpression.ts
@@ -6,6 +6,7 @@ export function checkVersionExpressionVariant(
 ): void {
   if (variant instanceof ast.VersionRange) return;
   if (variant instanceof ast.VersionTerm) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/YulExpression.ts b/variant-coverage/YulExpression.ts
@@ -7,6 +7,7 @@ export function checkYulExpressionVariant(
   if (variant instanceof ast.YulFunctionCallExpression) return;
   if (variant instanceof ast.YulLiteral) return;
   if (variant instanceof ast.YulPath) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/YulLiteral.ts b/variant-coverage/YulLiteral.ts
@@ -8,6 +8,7 @@ export function checkYulLiteralVariant(
   if (variant instanceof TerminalNode) return;
   if (variant instanceof ast.HexStringLiteral) return;
   if (variant instanceof ast.StringLiteral) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/YulStatement.ts b/variant-coverage/YulStatement.ts
@@ -17,6 +17,7 @@ export function checkYulStatementVariant(
   if (variant instanceof ast.YulContinueStatement) return;
   if (variant instanceof ast.YulLabel) return;
   if (variant instanceof ast.YulExpression) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/variant-coverage/YulSwitchCase.ts b/variant-coverage/YulSwitchCase.ts
@@ -6,6 +6,7 @@ export function checkYulSwitchCaseVariant(
 ): void {
   if (variant instanceof ast.YulDefaultCase) return;
   if (variant instanceof ast.YulValueCase) return;
-  /* c8 ignore next 2 */
+  /* c8 ignore next 3 */
   const _exhaustiveCheck: never = variant;
+  return _exhaustiveCheck;
 }
diff --git a/webpack.test.config.js b/webpack.test.config.js
@@ -26,7 +26,13 @@ export default {
     rules: [
       {
         test: /\.ts$/,
-        use: 'ts-loader',
+        use: [
+          {
+            loader: 'ts-loader',
+            // This test file includes the variant-coverage directory, which is not included in the main tsconfig.json
+            options: { configFile: 'tsconfig.test.json' }
+          }
+        ],
         exclude: /node_modules/
       }
     ]

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,6 @@ const compat = new FlatCompat({`
`18`	`18`	`export default [`
`19`	`19`	`{`
`20`	`20`	`ignores: [`
`21`		`- 'variant-coverage/*/.ts',`
`22`	`21`	`'coverage/*/.js',`
`23`	`22`	`'dist/*/.cjs',`
`24`	`23`	`'dist/*/.js',`
`@@ -72,7 +71,7 @@ export default [`
`72`	`71`	`sourceType: 'script',`
`73`	`72`
`74`	`73`	`parserOptions: {`
`75`		`- project: ['tsconfig.json']`
	`74`	`+ project: ['tsconfig.test.json']`
`76`	`75`	`}`
`77`	`76`	`},`
`78`	`77`
Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,7 @@ export function checkArgumentsDeclarationVariant(`
`7`	`7`	`): void {`
`8`	`8`	`if (variant instanceof ast.PositionalArgumentsDeclaration) return;`
`9`	`9`	`if (variant instanceof ast.NamedArgumentsDeclaration) return;`
`10`		`- /* c8 ignore next 2 */`
	`10`	`+ /* c8 ignore next 3 */`
`11`	`11`	`const _exhaustiveCheck: never = variant;`
	`12`	`+ return _exhaustiveCheck;`
`12`	`13`	`}`
Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,7 @@ export function checkContractMemberVariant(`
`17`	`17`	`if (variant instanceof ast.StateVariableDefinition) return;`
`18`	`18`	`if (variant instanceof ast.ErrorDefinition) return;`
`19`	`19`	`if (variant instanceof ast.UserDefinedValueTypeDefinition) return;`
`20`		`- /* c8 ignore next 2 */`
	`20`	`+ /* c8 ignore next 3 */`
`21`	`21`	`const _exhaustiveCheck: never = variant;`
	`22`	`+ return _exhaustiveCheck;`
`22`	`23`	`}`
Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,7 @@ export function checkContractSpecifierVariant(`
`6`	`6`	`): void {`
`7`	`7`	`if (variant instanceof ast.InheritanceSpecifier) return;`
`8`	`8`	`if (variant instanceof ast.StorageLayoutSpecifier) return;`
`9`		`- /* c8 ignore next 2 */`
	`9`	`+ /* c8 ignore next 3 */`
`10`	`10`	`const _exhaustiveCheck: never = variant;`
	`11`	`+ return _exhaustiveCheck;`
`11`	`12`	`}`
Original file line number	Diff line number	Diff line change
`@@ -33,6 +33,7 @@ export function checkExpressionVariant(`
`33`	`33`	`if (variant instanceof ast.DecimalNumberExpression) return;`
`34`	`34`	`if (variant instanceof ast.StringExpression) return;`
`35`	`35`	`if (variant instanceof ast.ElementaryType) return;`
`36`		`- /* c8 ignore next 2 */`
	`36`	`+ /* c8 ignore next 3 */`
`37`	`37`	`const _exhaustiveCheck: never = variant;`
	`38`	`+ return _exhaustiveCheck;`
`38`	`39`	`}`