feat(typescript-estree): support Import Assertions

packages/ast-spec/src/ast-node-types.ts

@@ -32,6 +32,7 @@ export enum AST_NODE_TYPES {
   FunctionExpression = 'FunctionExpression',
   Identifier = 'Identifier',
   IfStatement = 'IfStatement',
+  ImportAttribute = 'ImportAttribute',
   ImportDeclaration = 'ImportDeclaration',
   ImportDefaultSpecifier = 'ImportDefaultSpecifier',
   ImportExpression = 'ImportExpression',

packages/ast-spec/src/declaration/ExportAllDeclaration/spec.ts

@@ -2,11 +2,13 @@ import type { AST_NODE_TYPES } from '../../ast-node-types';
 import type { BaseNode } from '../../base/BaseNode';
 import type { Identifier } from '../../expression/Identifier/spec';
 import type { StringLiteral } from '../../expression/literal/StringLiteral/spec';
+import type { ImportAttribute } from '../../special/ImportAttribute/spec';
 import type { ExportKind } from '../ExportAndImportKind';
 
 export interface ExportAllDeclaration extends BaseNode {
   type: AST_NODE_TYPES.ExportAllDeclaration;
   source: StringLiteral | null;
   exportKind: ExportKind;
   exported: Identifier | null;
+  assertions: ImportAttribute[];
 }

packages/ast-spec/src/declaration/ExportNamedDeclaration/spec.ts

@@ -2,6 +2,7 @@ import type { AST_NODE_TYPES } from '../../ast-node-types';
 import type { BaseNode } from '../../base/BaseNode';
 import type { StringLiteral } from '../../expression/literal/StringLiteral/spec';
 import type { ExportSpecifier } from '../../special/ExportSpecifier/spec';
+import type { ImportAttribute } from '../../special/ImportAttribute/spec';
 import type { ExportDeclaration } from '../../unions/ExportDeclaration';
 import type { ExportKind } from '../ExportAndImportKind';
 
@@ -11,4 +12,5 @@ export interface ExportNamedDeclaration extends BaseNode {
   specifiers: ExportSpecifier[];
   source: StringLiteral | null;
   exportKind: ExportKind;
+  assertions: ImportAttribute[];
 }

packages/ast-spec/src/declaration/ImportDeclaration/spec.ts

@@ -1,6 +1,7 @@
 import type { AST_NODE_TYPES } from '../../ast-node-types';
 import type { BaseNode } from '../../base/BaseNode';
 import type { StringLiteral } from '../../expression/literal/StringLiteral/spec';
+import type { ImportAttribute } from '../../special/ImportAttribute/spec';
 import type { ImportClause } from '../../unions/ImportClause';
 import type { ImportKind } from '../ExportAndImportKind';
 
@@ -9,4 +10,5 @@ export interface ImportDeclaration extends BaseNode {
   source: StringLiteral;
   specifiers: ImportClause[];
   importKind: ImportKind;
+  assertions: ImportAttribute[];
 }

packages/ast-spec/src/expression/ImportExpression/spec.ts

@@ -5,4 +5,5 @@ import type { Expression } from '../../unions/Expression';
 export interface ImportExpression extends BaseNode {
   type: AST_NODE_TYPES.ImportExpression;
   source: Expression;
+  attributes: Expression | null;
 }

packages/ast-spec/src/special/ImportAttribute/spec.ts

@@ -0,0 +1,10 @@
+import type { AST_NODE_TYPES } from '../../ast-node-types';
+import type { BaseNode } from '../../base/BaseNode';
+import type { Identifier } from '../../expression/Identifier/spec';
+import type { Literal } from '../../unions/Literal';
+
+export interface ImportAttribute extends BaseNode {
+  type: AST_NODE_TYPES.ImportAttribute;
+  key: Identifier | Literal;
+  value: Literal;
+}

packages/ast-spec/src/special/spec.ts

@@ -3,6 +3,7 @@ export * from './ClassBody/spec';
 export * from './Decorator/spec';
 export * from './EmptyStatement/spec';
 export * from './ExportSpecifier/spec';
+export * from './ImportAttribute/spec';
 export * from './ImportDefaultSpecifier/spec';
 export * from './ImportNamespaceSpecifier/spec';
 export * from './ImportSpecifier/spec';

packages/ast-spec/src/unions/Node.ts

@@ -79,6 +79,7 @@ import type { ClassBody } from '../special/ClassBody/spec';
 import type { Decorator } from '../special/Decorator/spec';
 import type { EmptyStatement } from '../special/EmptyStatement/spec';
 import type { ExportSpecifier } from '../special/ExportSpecifier/spec';
+import type { ImportAttribute } from '../special/ImportAttribute/spec';
 import type { ImportDefaultSpecifier } from '../special/ImportDefaultSpecifier/spec';
 import type { ImportNamespaceSpecifier } from '../special/ImportNamespaceSpecifier/spec';
 import type { ImportSpecifier } from '../special/ImportSpecifier/spec';
@@ -200,6 +201,7 @@ export type Node =
   | FunctionExpression
   | Identifier
   | IfStatement
+  | ImportAttribute
   | ImportDeclaration
   | ImportDefaultSpecifier
   | ImportExpression

packages/scope-manager/src/referencer/Referencer.ts

@@ -778,6 +778,10 @@ class Referencer extends Visitor {
 
     this.close(node);
   }
+
+  protected ImportAttribute(): void {
+    // import assertions are module metadata and thus have no variables to reference
+  }
 }
 
 export { Referencer, ReferencerOptions };

packages/shared-fixtures/fixtures/javascript/experimentalDynamicImport/error-dynamic-import-params.src.js

@@ -1 +1 @@
-import('foo', '')
+import('foo', '', '')

packages/shared-fixtures/fixtures/typescript/basics/dynamic-import-with-import-assertions.src.ts

@@ -0,0 +1 @@
+import("foo", { assert: { type: "json" } });

packages/shared-fixtures/fixtures/typescript/basics/export-all-with-import-assertions.src.ts

@@ -0,0 +1 @@
+export * from "mod" assert { type: "json" };

packages/shared-fixtures/fixtures/typescript/basics/export-with-import-assertions.src.ts

@@ -0,0 +1 @@
+export { foo } from "mod" assert { type: "json" };

packages/shared-fixtures/fixtures/typescript/basics/import-with-import-assertions.src.ts

@@ -0,0 +1 @@
+import foo from "mod" assert { type: "json" };

packages/typescript-estree/src/convert.ts

@@ -193,6 +193,7 @@ export class Converter {
           source: null,
           exportKind: isType || isDeclare ? 'type' : 'value',
           range: [exportKeyword.getStart(this.ast), result.range[1]],
+          assertions: [],
         });
       }
     }
@@ -663,6 +664,14 @@ export class Converter {
     return result;
   }
 
+  private convertAssertClasue(
+    node: ts.AssertClause | undefined,
+  ): TSESTree.ImportAttribute[] {
+    return node === undefined
+      ? []
+      : node.elements.map(element => this.convertChild(element));
+  }
+
   /**
    * Applies the given TS modifiers to the given result object.
    * @param result
@@ -1737,6 +1746,7 @@ export class Converter {
           source: this.convertChild(node.moduleSpecifier),
           specifiers: [],
           importKind: 'value',
+          assertions: this.convertAssertClasue(node.assertClause),
         });
 
         if (node.importClause) {
@@ -1805,6 +1815,7 @@ export class Converter {
             ),
             exportKind: node.isTypeOnly ? 'type' : 'value',
             declaration: null,
+            assertions: this.convertAssertClasue(node.assertClause),
           });
         } else {
           return this.createNode<TSESTree.ExportAllDeclaration>(node, {
@@ -1820,6 +1831,7 @@ export class Converter {
               node.exportClause.kind === SyntaxKind.NamespaceExport
                 ? this.convertChild(node.exportClause.name)
                 : null,
+            assertions: this.convertAssertClasue(node.assertClause),
           });
         }
       }
@@ -1989,16 +2001,19 @@ export class Converter {
 
       case SyntaxKind.CallExpression: {
         if (node.expression.kind === SyntaxKind.ImportKeyword) {
-          if (node.arguments.length !== 1) {
+          if (node.arguments.length !== 1 && node.arguments.length !== 2) {
             throw createError(
               this.ast,
               node.arguments.pos,
-              'Dynamic import must have one specifier as an argument.',
+              'Dynamic import requires exactly one or two arguments.',
             );
           }
           return this.createNode<TSESTree.ImportExpression>(node, {
             type: AST_NODE_TYPES.ImportExpression,
             source: this.convertChild(node.arguments[0]),
+            attributes: node.arguments[1]
+              ? this.convertChild(node.arguments[1])
+              : null,
           });
         }
 
@@ -2871,6 +2886,14 @@ export class Converter {
         });
       }
 
+      case SyntaxKind.AssertEntry: {
+        return this.createNode<TSESTree.ImportAttribute>(node, {
+          type: AST_NODE_TYPES.ImportAttribute,
+          key: this.convertChild(node.name),
+          value: this.convertChild(node.value),
+        });
+      }
+
       default:
         return this.deeplyCopy(node);
     }

packages/typescript-estree/src/ts-estree/estree-to-ts-node-types.ts

@@ -74,6 +74,7 @@ export interface EstreeToTsNodeTypes {
     | ts.Token<ts.SyntaxKind.NewKeyword | ts.SyntaxKind.ImportKeyword>;
   [AST_NODE_TYPES.PrivateIdentifier]: ts.PrivateIdentifier;
   [AST_NODE_TYPES.IfStatement]: ts.IfStatement;
+  [AST_NODE_TYPES.ImportAttribute]: ts.AssertEntry;
   [AST_NODE_TYPES.ImportDeclaration]: ts.ImportDeclaration;
   [AST_NODE_TYPES.ImportDefaultSpecifier]: ts.ImportClause;
   [AST_NODE_TYPES.ImportExpression]: ts.CallExpression;

packages/typescript-estree/src/ts-estree/ts-nodes.ts

@@ -14,6 +14,8 @@ declare module 'typescript' {
 export type TSToken = ts.Token<ts.SyntaxKind>;
 
 export type TSNode =
+  | ts.AssertClause
+  | ts.AssertEntry
   | ts.Modifier
   | ts.Identifier
   | ts.PrivateIdentifier

packages/typescript-estree/tests/ast-alignment/parse.ts

@@ -33,6 +33,7 @@ function parseWithBabelParser(text: string, jsx = true): File {
     ],
     'decorators-legacy',
     'classStaticBlock',
+    'importAssertions',
     'typescript',
   ];
   if (jsx) {

packages/typescript-estree/tests/ast-alignment/utils.ts

@@ -275,6 +275,24 @@ export function preprocessBabylonAST(ast: File): any {
       ExportSpecifier(node) {
         delete node.exportKind;
       },
+      /*
+       * Babel's AST has no `assertions` property if there are no assertions.
+       */
+      ImportDeclaration(node) {
+        if (!node.assertions) {
+          node.assertions = [];
+        }
+      },
+      ExportNamedDeclaration(node) {
+        if (!node.assertions) {
+          node.assertions = [];
+        }
+      },
+      ExportAllDeclaration(node) {
+        if (!node.assertions) {
+          node.assertions = [];
+        }
+      },
     },
   );
 }

packages/typescript-estree/tests/lib/__snapshots__/semantic-diagnostics-enabled.test.ts.snap

@@ -598,7 +598,7 @@ TSError {
   "column": 7,
   "index": 7,
   "lineNumber": 1,
-  "message": "Dynamic import must have one specifier as an argument.",
+  "message": "Dynamic import requires exactly one or two arguments.",
 }
 `;
 
@@ -1888,6 +1888,10 @@ exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" e
 
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/directive-in-namespace.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
 
+exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/dynamic-import-with-import-assertions.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
+
+exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/export-all-with-import-assertions.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
+
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/export-as-namespace.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
 
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/export-assignment.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
@@ -1940,6 +1944,8 @@ exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" e
 
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/export-type-star-from.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
 
+exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/export-with-import-assertions.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
+
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/function-anonymus-with-type-parameters.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
 
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/function-anynomus-with-return-type.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
@@ -1984,6 +1990,8 @@ exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" e
 
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/import-type-star-as-ns.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
 
+exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/import-with-import-assertions.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
+
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/interface-extends.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;
 
 exports[`Parse all fixtures with "errorOnTypeScriptSyntacticAndSemanticIssues" enabled fixtures/typescript/basics/interface-extends-multiple.src 1`] = `"TEST OUTPUT: No semantic or syntactic issues found"`;

packages/typescript-estree/tests/lib/__snapshots__/semanticInfo.test.ts.snap

@@ -304,6 +304,7 @@ exports[`semanticInfo fixtures/import-file.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "importKind": "value",
       "loc": Object {
         "end": Object {

packages/typescript-estree/tests/snapshots/javascript/experimentalDynamicImport/dynamic-import.src.js.shot

@@ -38,6 +38,7 @@ Object {
             },
           },
           "object": Object {
+            "attributes": null,
             "loc": Object {
               "end": Object {
                 "column": 13,

packages/typescript-estree/tests/snapshots/javascript/experimentalDynamicImport/error-dynamic-import-params.src.js.shot

@@ -5,6 +5,6 @@ TSError {
   "column": 7,
   "index": 7,
   "lineNumber": 1,
-  "message": "Dynamic import must have one specifier as an argument.",
+  "message": "Dynamic import requires exactly one or two arguments.",
 }
 `;

packages/typescript-estree/tests/snapshots/javascript/modules/error-delete.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules error-delete.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "importKind": "value",
       "loc": Object {
         "end": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/error-strict.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules error-strict.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "importKind": "value",
       "loc": Object {
         "end": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-async-named-function.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-async-named-function.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": Object {
         "async": true,
         "body": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-const.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-const.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": Object {
         "declarations": Array [
           Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-batch.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-batch.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "exportKind": "value",
       "exported": null,
       "loc": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-default.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-default.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": null,
       "exportKind": "value",
       "loc": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-named-as-default.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-named-as-default.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": null,
       "exportKind": "value",
       "loc": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-named-as-specifier.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-named-as-specifier.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": null,
       "exportKind": "value",
       "loc": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-named-as-specifiers.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-named-as-specifiers.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": null,
       "exportKind": "value",
       "loc": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-specifier.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-specifier.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": null,
       "exportKind": "value",
       "loc": Object {

packages/typescript-estree/tests/snapshots/javascript/modules/export-from-specifiers.src.js.shot

@@ -4,6 +4,7 @@ exports[`javascript modules export-from-specifiers.src 1`] = `
 Object {
   "body": Array [
     Object {
+      "assertions": Array [],
       "declaration": null,
       "exportKind": "value",
       "loc": Object {