@marko/compiler 5.34.2 → 5.34.4

package/dist/traverse.d.ts

@@ -1,15 +1,3 @@
-// Type definitions for @babel/traverse 7.20
-// Project: https://github.com/babel/babel/tree/main/packages/babel-traverse, https://babeljs.io
-// Definitions by: Troy Gerwien <https://github.com/yortus>
-//                 Marvin Hagemeister <https://github.com/marvinhagemeister>
-//                 Ryan Petrich <https://github.com/rpetrich>
-//                 Melvin Groenhoff <https://github.com/mgroenhoff>
-//                 Dean L. <https://github.com/dlgrit>
-//                 Ifiok Jr. <https://github.com/ifiokjr>
-//                 ExE Boss <https://github.com/ExE-Boss>
-//                 Daniel Tschinder <https://github.com/danez>
-// Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped
-
 import * as t from './types';
 type Node = t.Node
 export import RemovePropertiesOptions = t.RemovePropertiesOptions;
@@ -33,7 +21,7 @@ declare const traverse: {
     ) => void;
     clearNode: (node: Node, opts?: RemovePropertiesOptions) => void;
     removeProperties: (tree: Node, opts?: RemovePropertiesOptions) => Node;
-    hasType: (tree: Node, type: Node['type'], denylistTypes?: string[]) => boolean;
+    hasType: (tree: Node, type: Node["type"], denylistTypes?: string[]) => boolean;
 
     cache: typeof cache;
 };
@@ -56,7 +44,7 @@ export namespace visitors {
     function explode<S = unknown>(
         visitor: Visitor<S>,
     ): {
-        [Type in Exclude<Node, t.DeprecatedAliases>['type']]?: VisitNodeObject<S, Extract<Node, { type: Type }>>;
+        [Type in Exclude<Node, t.DeprecatedAliases>["type"]]?: VisitNodeObject<S, Extract<Node, { type: Type }>>;
     };
     function verify(visitor: Visitor): void;
     function merge<State>(visitors: Array<Visitor<State>>): Visitor<State>;
@@ -203,7 +191,7 @@ export class Scope {
         init?: t.Expression;
         unique?: boolean;
         _blockHoist?: number | undefined;
-        kind?: 'var' | 'let' | 'const';
+        kind?: "var" | "let" | "const";
     }): void;
 
     /** Walk up to the top of the scope tree and get the `Program`. */
@@ -248,9 +236,9 @@ export class Scope {
         optsOrNoGlobals?:
             | boolean
             | {
-                  noGlobals?: boolean;
-                  noUids?: boolean;
-              },
+                noGlobals?: boolean;
+                noUids?: boolean;
+            },
     ): boolean;
 
     parentHasBinding(
@@ -269,7 +257,7 @@ export class Scope {
     removeBinding(name: string): void;
 }
 
-export type BindingKind = 'var' | 'let' | 'const' | 'module' | 'hoisted' | 'param' | 'local' | 'unknown';
+export type BindingKind = "var" | "let" | "const" | "module" | "hoisted" | "param" | "local" | "unknown";
 
 /**
  * This class is responsible for a binding inside of a scope.
@@ -308,24 +296,29 @@ export class Binding {
     dereference(): void;
 }
 
-export type Visitor<S = unknown> = VisitNodeObject<S, Node> & {
-    [Type in Node['type']]?: VisitNode<S, Extract<Node, { type: Type }>>;
-} & {
-    [K in keyof t.Aliases]?: VisitNode<S, t.Aliases[K]>;
-} & {
-    [K in keyof VirtualTypeAliases]?: VisitNode<S, VirtualTypeAliases[K]>;
-} & {
-    // Babel supports `NodeTypesWithoutComment | NodeTypesWithoutComment | ... ` but it is
-    // too complex for TS. So we type it as a general visitor only if the key contains `|`
-    // this is good enough for non-visitor traverse options e.g. `noScope`
-    [k: `${string}|${string}`]: VisitNode<S, Node>;
-};
+export type Visitor<S = unknown> =
+    & VisitNodeObject<S, Node>
+    & {
+        [Type in Node["type"]]?: VisitNode<S, Extract<Node, { type: Type }>>;
+    }
+    & {
+        [K in keyof t.Aliases]?: VisitNode<S, t.Aliases[K]>;
+    }
+    & {
+        [K in keyof VirtualTypeAliases]?: VisitNode<S, VirtualTypeAliases[K]>;
+    }
+    & {
+        // Babel supports `NodeTypesWithoutComment | NodeTypesWithoutComment | ... ` but it is
+        // too complex for TS. So we type it as a general visitor only if the key contains `|`
+        // this is good enough for non-visitor traverse options e.g. `noScope`
+        [k: `${string}|${string}`]: VisitNode<S, Node>;
+    };
 
 export type VisitNode<S, P extends Node> = VisitNodeFunction<S, P> | VisitNodeObject<S, P>;
 
 export type VisitNodeFunction<S, P extends Node> = (this: S, path: NodePath<P>, state: S) => void;
 
-type NodeType = Node['type'] | keyof t.Aliases;
+type NodeType = Node["type"] | keyof t.Aliases;
 
 export interface VisitNodeObject<S, P extends Node> {
     enter?: VisitNodeFunction<S, P>;
@@ -342,8 +335,7 @@ export type NodeKeyOfNodes<T extends Node> = {
 
 export type NodePaths<T extends Node | readonly Node[]> = T extends readonly Node[]
     ? { -readonly [K in keyof T]: NodePath<Extract<T[K], Node>> }
-    : T extends Node
-    ? [NodePath<T>]
+    : T extends Node ? [NodePath<T>]
     : never;
 
 type NodeListType<N, K extends keyof N> = N[K] extends Array<infer P> ? (P extends Node ? P : never) : never;
@@ -366,7 +358,7 @@ export class NodePath<T = Node> {
     listKey: string | null;
     key: string | number | null;
     node: T;
-    type: T extends Node ? T['type'] : T extends null | undefined ? undefined : Node['type'] | undefined;
+    type: T extends Node ? T["type"] : T extends null | undefined ? undefined : Node["type"] | undefined;
     shouldSkip: boolean;
     shouldStop: boolean;
     removed: boolean;
@@ -400,8 +392,8 @@ export class NodePath<T = Node> {
 
     buildCodeFrameError(msg: string, Error?: ErrorConstructor): Error;
 
-    traverse<T>(visitor: Visitor<T>, state: T): void;
-    traverse(visitor: Visitor): void;
+    traverse<T>(visitor: TraverseOptions<T>, state: T): void;
+    traverse(visitor: TraverseOptions): void;
 
     set(key: string, node: any): void;
 
@@ -410,7 +402,7 @@ export class NodePath<T = Node> {
     // Example: https://github.com/babel/babel/blob/63204ae51e020d84a5b246312f5eeb4d981ab952/packages/babel-traverse/src/path/modification.js#L83
     debug(buildMessage: () => string): void;
 
-    //#region ------------------------- ancestry -------------------------
+    // #region ------------------------- ancestry -------------------------
     /**
      * Starting at the parent path of the current `NodePath` and going up the
      * tree, return the first `NodePath` that causes the provided `callback`
@@ -465,9 +457,9 @@ export class NodePath<T = Node> {
     isDescendant(maybeAncestor: NodePath): boolean;
 
     inType(...candidateTypes: string[]): boolean;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- inference -------------------------
+    // #region ------------------------- inference -------------------------
     /** Infer the type of the current `NodePath`. */
     getTypeAnnotation(): t.FlowType | t.TSType;
 
@@ -478,9 +470,9 @@ export class NodePath<T = Node> {
     baseTypeStrictlyMatches(rightArg: NodePath): boolean;
 
     isGenericType(genericName: string): boolean;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- replacement -------------------------
+    // #region ------------------------- replacement -------------------------
     /**
      * Replace a node with an array of multiple. This method performs the following steps:
      *
@@ -511,9 +503,9 @@ export class NodePath<T = Node> {
     replaceExpressionWithStatements(nodes: t.Statement[]): NodePaths<t.Expression | t.Statement>;
 
     replaceInline<Nodes extends Node | readonly Node[] | [Node, ...Node[]]>(nodes: Nodes): NodePaths<Nodes>;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- evaluation -------------------------
+    // #region ------------------------- evaluation -------------------------
     /**
      * Walk the input `node` and statically evaluate if it's truthy.
      *
@@ -537,16 +529,15 @@ export class NodePath<T = Node> {
      *   t.evaluate(parse("5 + 5")) // { confident: true, value: 10 }
      *   t.evaluate(parse("!true")) // { confident: true, value: false }
      *   t.evaluate(parse("foo + foo")) // { confident: false, value: undefined, deopt: NodePath }
-     *
      */
     evaluate(): {
         confident: boolean;
         value: any;
         deopt?: NodePath;
     };
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- introspection -------------------------
+    // #region ------------------------- introspection -------------------------
     /**
      * Match the current node if it matches the provided `pattern`.
      *
@@ -625,9 +616,9 @@ export class NodePath<T = Node> {
     isConstantExpression(): boolean;
 
     isInStrictMode(): boolean;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- context -------------------------
+    // #region ------------------------- context -------------------------
     call(key: string): boolean;
 
     isDenylisted(): boolean;
@@ -659,13 +650,13 @@ export class NodePath<T = Node> {
     pushContext(context: TraversalContext): void;
 
     requeue(pathToQueue?: NodePath): void;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- removal -------------------------
+    // #region ------------------------- removal -------------------------
     remove(): void;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- conversion -------------------------
+    // #region ------------------------- conversion -------------------------
     toComputedKey(): t.PrivateName | t.Expression;
 
     /** @deprecated Use `arrowFunctionToExpression` */
@@ -702,9 +693,9 @@ export class NodePath<T = Node> {
             body: t.BlockStatement;
         }
     >;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- modification -------------------------
+    // #region ------------------------- modification -------------------------
     /** Insert the provided nodes before the current one. */
     insertBefore<Nodes extends NodesInsertionParam<Node>>(nodes: Nodes): NodePaths<Nodes>;
 
@@ -741,9 +732,9 @@ export class NodePath<T = Node> {
 
     /** Hoist the current node to the highest scope possible and return a UID referencing it. */
     hoist(scope: Scope): void;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- family -------------------------
+    // #region ------------------------- family -------------------------
     getOpposite(): NodePath | null;
 
     getCompletionRecords(): NodePath[];
@@ -778,9 +769,9 @@ export class NodePath<T = Node> {
         duplicates?: boolean,
         outerOnly?: boolean,
     ): Record<string, NodePath<t.Identifier> | Array<NodePath<t.Identifier>>>;
-    //#endregion
+    // #endregion
 
-    //#region ------------------------- comments -------------------------
+    // #region ------------------------- comments -------------------------
     /** Share comments amongst siblings. */
     shareCommentsWithSiblings(): void;
 
@@ -788,22 +779,22 @@ export class NodePath<T = Node> {
 
     /** Give node `comments` of the specified `type`. */
     addComments(type: t.CommentTypeShorthand, comments: t.Comment[]): void;
-    //#endregion
-
-    //#region ------------------------- isXXX -------------------------
-    isMarkoParseError(props?: object | null): this is NodePath<t.MarkoParseError>;
-    isMarkoDocumentType(props?: object | null): this is NodePath<t.MarkoDocumentType>;
-    isMarkoDeclaration(props?: object | null): this is NodePath<t.MarkoDeclaration>;
-    isMarkoCDATA(props?: object | null): this is NodePath<t.MarkoCDATA>;
-    isMarkoComment(props?: object | null): this is NodePath<t.MarkoComment>;
-    isMarkoText(props?: object | null): this is NodePath<t.MarkoText>;
-    isMarkoPlaceholder(props?: object | null): this is NodePath<t.MarkoPlaceholder>;
-    isMarkoScriptlet(props?: object | null): this is NodePath<t.MarkoScriptlet>;
-    isMarkoClass(props?: object | null): this is NodePath<t.MarkoClass>;
-    isMarkoAttribute(props?: object | null): this is NodePath<t.MarkoAttribute>;
-    isMarkoSpreadAttribute(props?: object | null): this is NodePath<t.MarkoSpreadAttribute>;
-    isMarkoTagBody(props?: object | null): this is NodePath<t.MarkoTagBody>;
-    isMarkoTag(props?: object | null): this is NodePath<t.MarkoTag>;
+    // #endregion
+
+    // #region ------------------------- isXXX -------------------------
+    isMarkoParseError(opts?: object | null): this is NodePath<t.MarkoParseError>;
+    isMarkoDocumentType(opts?: object | null): this is NodePath<t.MarkoDocumentType>;
+    isMarkoDeclaration(opts?: object | null): this is NodePath<t.MarkoDeclaration>;
+    isMarkoCDATA(opts?: object | null): this is NodePath<t.MarkoCDATA>;
+    isMarkoComment(opts?: object | null): this is NodePath<t.MarkoComment>;
+    isMarkoText(opts?: object | null): this is NodePath<t.MarkoText>;
+    isMarkoPlaceholder(opts?: object | null): this is NodePath<t.MarkoPlaceholder>;
+    isMarkoScriptlet(opts?: object | null): this is NodePath<t.MarkoScriptlet>;
+    isMarkoClass(opts?: object | null): this is NodePath<t.MarkoClass>;
+    isMarkoAttribute(opts?: object | null): this is NodePath<t.MarkoAttribute>;
+    isMarkoSpreadAttribute(opts?: object | null): this is NodePath<t.MarkoSpreadAttribute>;
+    isMarkoTagBody(opts?: object | null): this is NodePath<t.MarkoTagBody>;
+    isMarkoTag(opts?: object | null): this is NodePath<t.MarkoTag>;
     isAccessor(opts?: object): this is NodePath<t.Accessor>;
     isAnyTypeAnnotation(opts?: object): this is NodePath<t.AnyTypeAnnotation>;
     isArgumentPlaceholder(opts?: object): this is NodePath<t.ArgumentPlaceholder>;
@@ -1115,39 +1106,39 @@ export class NodePath<T = Node> {
     isWithStatement(opts?: object): this is NodePath<t.WithStatement>;
     isYieldExpression(opts?: object): this is NodePath<t.YieldExpression>;
 
-    isBindingIdentifier(opts?: object): this is NodePath<VirtualTypeAliases['BindingIdentifier']>;
+    isBindingIdentifier(opts?: object): this is NodePath<VirtualTypeAliases["BindingIdentifier"]>;
     isBlockScoped(opts?: object): this is NodePath<t.FunctionDeclaration | t.ClassDeclaration | t.VariableDeclaration>;
 
     /** @deprecated */
-    isExistentialTypeParam(opts?: object): this is NodePath<VirtualTypeAliases['ExistentialTypeParam']>;
-    isForAwaitStatement(opts?: object): this is NodePath<VirtualTypeAliases['ForAwaitStatement']>;
+    isExistentialTypeParam(opts?: object): this is NodePath<VirtualTypeAliases["ExistentialTypeParam"]>;
+    isForAwaitStatement(opts?: object): this is NodePath<VirtualTypeAliases["ForAwaitStatement"]>;
     isGenerated(opts?: object): boolean;
 
     /** @deprecated */
     isNumericLiteralTypeAnnotation(opts?: object): void;
     isPure(opts?: object): boolean;
     isReferenced(opts?: object): boolean;
-    isReferencedIdentifier(opts?: object): this is NodePath<VirtualTypeAliases['ReferencedIdentifier']>;
-    isReferencedMemberExpression(opts?: object): this is NodePath<VirtualTypeAliases['ReferencedMemberExpression']>;
-    isScope(opts?: object): this is NodePath<VirtualTypeAliases['Scope']>;
+    isReferencedIdentifier(opts?: object): this is NodePath<VirtualTypeAliases["ReferencedIdentifier"]>;
+    isReferencedMemberExpression(opts?: object): this is NodePath<VirtualTypeAliases["ReferencedMemberExpression"]>;
+    isScope(opts?: object): this is NodePath<VirtualTypeAliases["Scope"]>;
     isUser(opts?: object): boolean;
-    isVar(opts?: object): this is NodePath<VirtualTypeAliases['Var']>;
-    //#endregion
-
-    //#region ------------------------- assertXXX -------------------------
-    assertMarkoParseError(props?: object | null): void;
-    assertMarkoDocumentType(props?: object | null): void;
-    assertMarkoDeclaration(props?: object | null): void;
-    assertMarkoCDATA(props?: object | null): void;
-    assertMarkoComment(props?: object | null): void;
-    assertMarkoText(props?: object | null): void;
-    assertMarkoPlaceholder(props?: object | null): void;
-    assertMarkoScriptlet(props?: object | null): void;
-    assertMarkoClass(props?: object | null): void;
-    assertMarkoAttribute(props?: object | null): void;
-    assertMarkoSpreadAttribute(props?: object | null): void;
-    assertMarkoTagBody(props?: object | null): void;
-    assertMarkoTag(props?: object | null): void;
+    isVar(opts?: object): this is NodePath<VirtualTypeAliases["Var"]>;
+    // #endregion
+
+    // #region ------------------------- assertXXX -------------------------
+    assertMarkoParseError(opts?: object | null): void;
+    assertMarkoDocumentType(opts?: object | null): void;
+    assertMarkoDeclaration(opts?: object | null): void;
+    assertMarkoCDATA(opts?: object | null): void;
+    assertMarkoComment(opts?: object | null): void;
+    assertMarkoText(opts?: object | null): void;
+    assertMarkoPlaceholder(opts?: object | null): void;
+    assertMarkoScriptlet(opts?: object | null): void;
+    assertMarkoClass(opts?: object | null): void;
+    assertMarkoAttribute(opts?: object | null): void;
+    assertMarkoSpreadAttribute(opts?: object | null): void;
+    assertMarkoTagBody(opts?: object | null): void;
+    assertMarkoTag(opts?: object | null): void;
     assertAccessor(opts?: object): asserts this is NodePath<t.Accessor>;
     assertAnyTypeAnnotation(opts?: object): asserts this is NodePath<t.AnyTypeAnnotation>;
     assertArgumentPlaceholder(opts?: object): asserts this is NodePath<t.ArgumentPlaceholder>;
@@ -1458,7 +1449,7 @@ export class NodePath<T = Node> {
     assertWhileStatement(opts?: object): asserts this is NodePath<t.WhileStatement>;
     assertWithStatement(opts?: object): asserts this is NodePath<t.WithStatement>;
     assertYieldExpression(opts?: object): asserts this is NodePath<t.YieldExpression>;
-    //#endregion
+    // #endregion
 }
 
 export interface BabelFile {

package/dist/types.d.ts

@@ -42,7 +42,7 @@ interface BaseNode {
   extra?: Record<string, unknown>;
 }
 
-export type Node = Accessor | AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassAccessorProperty | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | DecimalLiteral | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | EnumBody | EnumBooleanBody | EnumBooleanMember | EnumDeclaration | EnumDefaultedMember | EnumMember | EnumNumberBody | EnumNumberMember | EnumStringBody | EnumStringMember | EnumSymbolBody | ExistsTypeAnnotation | ExportAllDeclaration | ExportDeclaration | ExportDefaultDeclaration | ExportDefaultSpecifier | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportSpecifier | Expression | ExpressionStatement | ExpressionWrapper | File | Flow | FlowBaseAnnotation | FlowDeclaration | FlowPredicate | FlowType | For | ForInStatement | ForOfStatement | ForStatement | ForXStatement | Function | FunctionDeclaration | FunctionExpression | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportOrExportDeclaration | ImportSpecifier | IndexedAccessType | InferredPredicate | InterfaceDeclaration | InterfaceExtends | InterfaceTypeAnnotation | InterpreterDirective | IntersectionTypeAnnotation | JSX | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LVal | LabeledStatement | Literal | LogicalExpression | Loop | Marko | MarkoAttribute | MarkoCDATA | MarkoClass | MarkoComment | MarkoDeclaration | MarkoDocumentType | MarkoParseError | MarkoPlaceholder | MarkoScriptlet | MarkoSpreadAttribute | MarkoTag | MarkoTagBody | MarkoText | MemberExpression | MetaProperty | Method | Miscellaneous | MixedTypeAnnotation | ModuleDeclaration | ModuleExpression | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalIndexedAccessType | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | PipelineBareFunction | PipelinePrimaryTopicReference | PipelineTopicExpression | Placeholder | Private | PrivateName | Program | Property | Pureish | QualifiedTypeIdentifier | RecordExpression | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | Scope | SequenceExpression | SpreadElement | SpreadProperty | Standardized | Statement | StaticBlock | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | SymbolTypeAnnotation | TSAnyKeyword | TSArrayType | TSAsExpression | TSBaseType | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSSatisfiesExpression | TSStringKeyword | TSSymbolKeyword | TSThisType | TSTupleType | TSType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeElement | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | Terminatorless | ThisExpression | ThisTypeAnnotation | ThrowStatement | TopicReference | TryStatement | TupleExpression | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeScript | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | V8IntrinsicIdentifier | VariableDeclaration | VariableDeclarator | Variance | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
+export type Node = Accessor | AnyTypeAnnotation | ArgumentPlaceholder | ArrayExpression | ArrayPattern | ArrayTypeAnnotation | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BigIntLiteral | Binary | BinaryExpression | BindExpression | Block | BlockParent | BlockStatement | BooleanLiteral | BooleanLiteralTypeAnnotation | BooleanTypeAnnotation | BreakStatement | CallExpression | CatchClause | Class | ClassAccessorProperty | ClassBody | ClassDeclaration | ClassExpression | ClassImplements | ClassMethod | ClassPrivateMethod | ClassPrivateProperty | ClassProperty | CompletionStatement | Conditional | ConditionalExpression | ContinueStatement | DebuggerStatement | DecimalLiteral | Declaration | DeclareClass | DeclareExportAllDeclaration | DeclareExportDeclaration | DeclareFunction | DeclareInterface | DeclareModule | DeclareModuleExports | DeclareOpaqueType | DeclareTypeAlias | DeclareVariable | DeclaredPredicate | Decorator | Directive | DirectiveLiteral | DoExpression | DoWhileStatement | EmptyStatement | EmptyTypeAnnotation | EnumBody | EnumBooleanBody | EnumBooleanMember | EnumDeclaration | EnumDefaultedMember | EnumMember | EnumNumberBody | EnumNumberMember | EnumStringBody | EnumStringMember | EnumSymbolBody | ExistsTypeAnnotation | ExportAllDeclaration | ExportDeclaration | ExportDefaultDeclaration | ExportDefaultSpecifier | ExportNamedDeclaration | ExportNamespaceSpecifier | ExportSpecifier | Expression | ExpressionStatement | ExpressionWrapper | File | Flow | FlowBaseAnnotation | FlowDeclaration | FlowPredicate | FlowType | For | ForInStatement | ForOfStatement | ForStatement | ForXStatement | Function | FunctionDeclaration | FunctionExpression | FunctionParent | FunctionTypeAnnotation | FunctionTypeParam | GenericTypeAnnotation | Identifier | IfStatement | Immutable | Import | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportOrExportDeclaration | ImportSpecifier | IndexedAccessType | InferredPredicate | InterfaceDeclaration | InterfaceExtends | InterfaceTypeAnnotation | InterpreterDirective | IntersectionTypeAnnotation | JSX | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LVal | LabeledStatement | Literal | LogicalExpression | Loop | Marko | MarkoAttribute | MarkoCDATA | MarkoClass | MarkoComment | MarkoDeclaration | MarkoDocumentType | MarkoParseError | MarkoPlaceholder | MarkoScriptlet | MarkoSpreadAttribute | MarkoTag | MarkoTagBody | MarkoText | MemberExpression | MetaProperty | Method | Miscellaneous | MixedTypeAnnotation | ModuleDeclaration | ModuleExpression | ModuleSpecifier | NewExpression | Noop | NullLiteral | NullLiteralTypeAnnotation | NullableTypeAnnotation | NumberLiteral | NumberLiteralTypeAnnotation | NumberTypeAnnotation | NumericLiteral | ObjectExpression | ObjectMember | ObjectMethod | ObjectPattern | ObjectProperty | ObjectTypeAnnotation | ObjectTypeCallProperty | ObjectTypeIndexer | ObjectTypeInternalSlot | ObjectTypeProperty | ObjectTypeSpreadProperty | OpaqueType | OptionalCallExpression | OptionalIndexedAccessType | OptionalMemberExpression | ParenthesizedExpression | Pattern | PatternLike | PipelineBareFunction | PipelinePrimaryTopicReference | PipelineTopicExpression | Placeholder | Private | PrivateName | Program | Property | Pureish | QualifiedTypeIdentifier | RecordExpression | RegExpLiteral | RegexLiteral | RestElement | RestProperty | ReturnStatement | Scopable | Scope | SequenceExpression | SpreadElement | SpreadProperty | Standardized | Statement | StaticBlock | StringLiteral | StringLiteralTypeAnnotation | StringTypeAnnotation | Super | SwitchCase | SwitchStatement | SymbolTypeAnnotation | TSAnyKeyword | TSArrayType | TSAsExpression | TSBaseType | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSConditionalType | TSConstructSignatureDeclaration | TSConstructorType | TSDeclareFunction | TSDeclareMethod | TSEntityName | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExpressionWithTypeArguments | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexSignature | TSIndexedAccessType | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSParenthesizedType | TSPropertySignature | TSQualifiedName | TSRestType | TSSatisfiesExpression | TSStringKeyword | TSSymbolKeyword | TSThisType | TSTupleType | TSType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeElement | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | TaggedTemplateExpression | TemplateElement | TemplateLiteral | Terminatorless | ThisExpression | ThisTypeAnnotation | ThrowStatement | TopicReference | TryStatement | TupleExpression | TupleTypeAnnotation | TypeAlias | TypeAnnotation | TypeCastExpression | TypeParameter | TypeParameterDeclaration | TypeParameterInstantiation | TypeScript | TypeofTypeAnnotation | UnaryExpression | UnaryLike | UnionTypeAnnotation | UpdateExpression | UserWhitespacable | V8IntrinsicIdentifier | VariableDeclaration | VariableDeclarator | Variance | VoidTypeAnnotation | While | WhileStatement | WithStatement | YieldExpression;
 
 export interface ArrayExpression extends BaseNode {
   type: "ArrayExpression";
@@ -52,7 +52,7 @@ export interface ArrayExpression extends BaseNode {
 export interface AssignmentExpression extends BaseNode {
   type: "AssignmentExpression";
   operator: string;
-  left: LVal;
+  left: LVal | OptionalMemberExpression;
   right: Expression;
 }
 
@@ -428,7 +428,7 @@ export interface ClassExpression extends BaseNode {
 
 export interface ClassDeclaration extends BaseNode {
   type: "ClassDeclaration";
-  id: Identifier;
+  id: Identifier | null;
   superClass: Expression | null;
   body: ClassBody;
   decorators: Array<Decorator> | null;
@@ -487,6 +487,7 @@ export interface ImportDeclaration extends BaseNode {
   attributes: Array<ImportAttribute> | null;
   importKind: "type" | "typeof" | "value" | null;
   module: boolean | null;
+  phase: "source" | "defer" | null;
 }
 
 export interface ImportDefaultSpecifier extends BaseNode {
@@ -506,6 +507,13 @@ export interface ImportSpecifier extends BaseNode {
   importKind: "type" | "typeof" | "value" | null;
 }
 
+export interface ImportExpression extends BaseNode {
+  type: "ImportExpression";
+  source: Expression;
+  options: Expression | null;
+  phase: "source" | "defer" | null;
+}
+
 export interface MetaProperty extends BaseNode {
   type: "MetaProperty";
   meta: Identifier;
@@ -1295,14 +1303,14 @@ export interface TSQualifiedName extends BaseNode {
 export interface TSCallSignatureDeclaration extends BaseNode {
   type: "TSCallSignatureDeclaration";
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement>;
+  parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
 }
 
 export interface TSConstructSignatureDeclaration extends BaseNode {
   type: "TSConstructSignatureDeclaration";
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement>;
+  parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
 }
 
@@ -1310,7 +1318,6 @@ export interface TSPropertySignature extends BaseNode {
   type: "TSPropertySignature";
   key: Expression;
   typeAnnotation: TSTypeAnnotation | null;
-  initializer: Expression | null;
   computed: boolean;
   kind: "get" | "set";
   optional: boolean | null;
@@ -1321,7 +1328,7 @@ export interface TSMethodSignature extends BaseNode {
   type: "TSMethodSignature";
   key: Expression;
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement>;
+  parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
   computed: boolean;
   kind: "method" | "get" | "set";
@@ -1395,14 +1402,14 @@ export interface TSThisType extends BaseNode {
 export interface TSFunctionType extends BaseNode {
   type: "TSFunctionType";
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement>;
+  parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
 }
 
 export interface TSConstructorType extends BaseNode {
   type: "TSConstructorType";
   typeParameters: TSTypeParameterDeclaration | null;
-  parameters: Array<Identifier | RestElement>;
+  parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>;
   typeAnnotation: TSTypeAnnotation | null;
   abstract: boolean | null;
 }
@@ -1754,8 +1761,8 @@ export type RestProperty = RestElement;
  */
 export type SpreadProperty = SpreadElement;
 
-export type Standardized = ArrayExpression | AssignmentExpression | BinaryExpression | InterpreterDirective | Directive | DirectiveLiteral | BlockStatement | BreakStatement | CallExpression | CatchClause | ConditionalExpression | ContinueStatement | DebuggerStatement | DoWhileStatement | EmptyStatement | ExpressionStatement | File | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | LabeledStatement | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | Program | ObjectExpression | ObjectMethod | ObjectProperty | RestElement | ReturnStatement | SequenceExpression | ParenthesizedExpression | SwitchCase | SwitchStatement | ThisExpression | ThrowStatement | TryStatement | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | AssignmentPattern | ArrayPattern | ArrowFunctionExpression | ClassBody | ClassExpression | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ForOfStatement | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | MetaProperty | ClassMethod | ObjectPattern | SpreadElement | Super | TaggedTemplateExpression | TemplateElement | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | ExportNamespaceSpecifier | OptionalMemberExpression | OptionalCallExpression | ClassProperty | ClassAccessorProperty | ClassPrivateProperty | ClassPrivateMethod | PrivateName | StaticBlock;
-export type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | ConditionalExpression | FunctionExpression | Identifier | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | ObjectExpression | SequenceExpression | ParenthesizedExpression | ThisExpression | UnaryExpression | UpdateExpression | ArrowFunctionExpression | ClassExpression | MetaProperty | Super | TaggedTemplateExpression | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | OptionalMemberExpression | OptionalCallExpression | TypeCastExpression | JSXElement | JSXFragment | BindExpression | DoExpression | RecordExpression | TupleExpression | DecimalLiteral | ModuleExpression | TopicReference | PipelineTopicExpression | PipelineBareFunction | PipelinePrimaryTopicReference | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression | MarkoParseError;
+export type Standardized = ArrayExpression | AssignmentExpression | BinaryExpression | InterpreterDirective | Directive | DirectiveLiteral | BlockStatement | BreakStatement | CallExpression | CatchClause | ConditionalExpression | ContinueStatement | DebuggerStatement | DoWhileStatement | EmptyStatement | ExpressionStatement | File | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | LabeledStatement | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | Program | ObjectExpression | ObjectMethod | ObjectProperty | RestElement | ReturnStatement | SequenceExpression | ParenthesizedExpression | SwitchCase | SwitchStatement | ThisExpression | ThrowStatement | TryStatement | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | AssignmentPattern | ArrayPattern | ArrowFunctionExpression | ClassBody | ClassExpression | ClassDeclaration | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ForOfStatement | ImportDeclaration | ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier | ImportExpression | MetaProperty | ClassMethod | ObjectPattern | SpreadElement | Super | TaggedTemplateExpression | TemplateElement | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | ExportNamespaceSpecifier | OptionalMemberExpression | OptionalCallExpression | ClassProperty | ClassAccessorProperty | ClassPrivateProperty | ClassPrivateMethod | PrivateName | StaticBlock;
+export type Expression = ArrayExpression | AssignmentExpression | BinaryExpression | CallExpression | ConditionalExpression | FunctionExpression | Identifier | StringLiteral | NumericLiteral | NullLiteral | BooleanLiteral | RegExpLiteral | LogicalExpression | MemberExpression | NewExpression | ObjectExpression | SequenceExpression | ParenthesizedExpression | ThisExpression | UnaryExpression | UpdateExpression | ArrowFunctionExpression | ClassExpression | ImportExpression | MetaProperty | Super | TaggedTemplateExpression | TemplateLiteral | YieldExpression | AwaitExpression | Import | BigIntLiteral | OptionalMemberExpression | OptionalCallExpression | TypeCastExpression | JSXElement | JSXFragment | BindExpression | DoExpression | RecordExpression | TupleExpression | DecimalLiteral | ModuleExpression | TopicReference | PipelineTopicExpression | PipelineBareFunction | PipelinePrimaryTopicReference | TSInstantiationExpression | TSAsExpression | TSSatisfiesExpression | TSTypeAssertion | TSNonNullExpression | MarkoParseError;
 export type Binary = BinaryExpression | LogicalExpression;
 export type Scopable = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ClassExpression | ClassDeclaration | ForOfStatement | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock;
 export type BlockParent = BlockStatement | CatchClause | DoWhileStatement | ForInStatement | ForStatement | FunctionDeclaration | FunctionExpression | Program | ObjectMethod | SwitchStatement | WhileStatement | ArrowFunctionExpression | ForOfStatement | ClassMethod | ClassPrivateMethod | StaticBlock | TSModuleBlock | MarkoTagBody;
@@ -1863,7 +1870,7 @@ export interface Aliases {
 }
 
 export function arrayExpression(elements?: Array<null | Expression | SpreadElement>): ArrayExpression;
-export function assignmentExpression(operator: string, left: LVal, right: Expression): AssignmentExpression;
+export function assignmentExpression(operator: string, left: LVal | OptionalMemberExpression, right: Expression): AssignmentExpression;
 export function binaryExpression(operator: "+" | "-" | "/" | "%" | "*" | "**" | "&" | "|" | ">>" | ">>>" | "<<" | "^" | "==" | "===" | "!=" | "!==" | "in" | "instanceof" | ">" | "<" | ">=" | "<=" | "|>", left: Expression | PrivateName, right: Expression): BinaryExpression;
 export function interpreterDirective(value: string): InterpreterDirective;
 export function directive(value: DirectiveLiteral): Directive;
@@ -1918,7 +1925,7 @@ export function arrayPattern(elements: Array<null | PatternLike | LVal>): ArrayP
 export function arrowFunctionExpression(params: Array<Identifier | Pattern | RestElement>, body: BlockStatement | Expression, async?: boolean): ArrowFunctionExpression;
 export function classBody(body: Array<ClassMethod | ClassPrivateMethod | ClassProperty | ClassPrivateProperty | ClassAccessorProperty | TSDeclareMethod | TSIndexSignature | StaticBlock>): ClassBody;
 export function classExpression(id: Identifier | null | undefined, superClass: Expression | null | undefined, body: ClassBody, decorators?: Array<Decorator> | null): ClassExpression;
-export function classDeclaration(id: Identifier, superClass: Expression | null | undefined, body: ClassBody, decorators?: Array<Decorator> | null): ClassDeclaration;
+export function classDeclaration(id: Identifier | null | undefined, superClass: Expression | null | undefined, body: ClassBody, decorators?: Array<Decorator> | null): ClassDeclaration;
 export function exportAllDeclaration(source: StringLiteral): ExportAllDeclaration;
 export function exportDefaultDeclaration(declaration: TSDeclareFunction | FunctionDeclaration | ClassDeclaration | Expression): ExportDefaultDeclaration;
 export function exportNamedDeclaration(declaration?: Declaration | null, specifiers?: Array<ExportSpecifier | ExportDefaultSpecifier | ExportNamespaceSpecifier>, source?: StringLiteral | null): ExportNamedDeclaration;
@@ -1928,6 +1935,7 @@ export function importDeclaration(specifiers: Array<ImportSpecifier | ImportDefa
 export function importDefaultSpecifier(local: Identifier): ImportDefaultSpecifier;
 export function importNamespaceSpecifier(local: Identifier): ImportNamespaceSpecifier;
 export function importSpecifier(local: Identifier, imported: Identifier | StringLiteral): ImportSpecifier;
+export function importExpression(source: Expression, options?: Expression | null): ImportExpression;
 export function metaProperty(meta: Identifier, property: Identifier): MetaProperty;
 export function classMethod(kind: "get" | "set" | "method" | "constructor" | undefined, key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | Expression, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, body: BlockStatement, computed?: boolean, _static?: boolean, generator?: boolean, async?: boolean): ClassMethod;
 export function objectPattern(properties: Array<RestElement | ObjectProperty>): ObjectPattern;
@@ -2052,10 +2060,10 @@ export function tsParameterProperty(parameter: Identifier | AssignmentPattern):
 export function tsDeclareFunction(id: Identifier | null | undefined, typeParameters: TSTypeParameterDeclaration | Noop | null | undefined, params: Array<Identifier | Pattern | RestElement>, returnType?: TSTypeAnnotation | Noop | null): TSDeclareFunction;
 export function tsDeclareMethod(decorators: Array<Decorator> | null | undefined, key: Identifier | StringLiteral | NumericLiteral | BigIntLiteral | Expression, typeParameters: TSTypeParameterDeclaration | Noop | null | undefined, params: Array<Identifier | Pattern | RestElement | TSParameterProperty>, returnType?: TSTypeAnnotation | Noop | null): TSDeclareMethod;
 export function tsQualifiedName(left: TSEntityName, right: Identifier): TSQualifiedName;
-export function tsCallSignatureDeclaration(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSCallSignatureDeclaration;
-export function tsConstructSignatureDeclaration(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSConstructSignatureDeclaration;
-export function tsPropertySignature(key: Expression, typeAnnotation?: TSTypeAnnotation | null, initializer?: Expression | null): TSPropertySignature;
-export function tsMethodSignature(key: Expression, typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSMethodSignature;
+export function tsCallSignatureDeclaration(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSCallSignatureDeclaration;
+export function tsConstructSignatureDeclaration(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSConstructSignatureDeclaration;
+export function tsPropertySignature(key: Expression, typeAnnotation?: TSTypeAnnotation | null): TSPropertySignature;
+export function tsMethodSignature(key: Expression, typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSMethodSignature;
 export function tsIndexSignature(parameters: Array<Identifier>, typeAnnotation?: TSTypeAnnotation | null): TSIndexSignature;
 export function tsAnyKeyword(): TSAnyKeyword;
 export function tsBooleanKeyword(): TSBooleanKeyword;
@@ -2071,8 +2079,8 @@ export function tsUndefinedKeyword(): TSUndefinedKeyword;
 export function tsUnknownKeyword(): TSUnknownKeyword;
 export function tsVoidKeyword(): TSVoidKeyword;
 export function tsThisType(): TSThisType;
-export function tsFunctionType(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSFunctionType;
-export function tsConstructorType(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<Identifier | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSConstructorType;
+export function tsFunctionType(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSFunctionType;
+export function tsConstructorType(typeParameters: TSTypeParameterDeclaration | null | undefined, parameters: Array<ArrayPattern | Identifier | ObjectPattern | RestElement>, typeAnnotation?: TSTypeAnnotation | null): TSConstructorType;
 export function tsTypeReference(typeName: TSEntityName, typeParameters?: TSTypeParameterInstantiation | null): TSTypeReference;
 export function tsTypePredicate(parameterName: Identifier | TSThisType, typeAnnotation?: TSTypeAnnotation | null, asserts?: boolean | null): TSTypePredicate;
 export function tsTypeQuery(exprName: TSEntityName | TSImportType, typeParameters?: TSTypeParameterInstantiation | null): TSTypeQuery;
@@ -2336,6 +2344,8 @@ export function isImportDeclaration(node: object | null | undefined, opts?: obje
 export function assertImportDeclaration(node: object | null | undefined, opts?: object | null): void;
 export function isImportDefaultSpecifier(node: object | null | undefined, opts?: object | null): node is ImportDefaultSpecifier;
 export function assertImportDefaultSpecifier(node: object | null | undefined, opts?: object | null): void;
+export function isImportExpression(node: object | null | undefined, opts?: object | null): node is ImportExpression;
+export function assertImportExpression(node: object | null | undefined, opts?: object | null): void;
 export function isImportNamespaceSpecifier(node: object | null | undefined, opts?: object | null): node is ImportNamespaceSpecifier;
 export function assertImportNamespaceSpecifier(node: object | null | undefined, opts?: object | null): void;
 export function isImportOrExportDeclaration(node: object | null | undefined, opts?: object | null): node is ImportOrExportDeclaration;

package/dist/util/build-code-frame.js

@@ -1,6 +1,6 @@
 "use strict";var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");exports.__esModule = true;exports.buildCodeFrameError = buildCodeFrameError;var _path = _interopRequireDefault(require("path"));
-var _kleur = _interopRequireDefault(require("kleur"));
 var _codeFrame = require("@babel/code-frame");
+var _kleur = _interopRequireDefault(require("kleur"));
 const CWD = process.cwd();
 const indent = "    ";
 

package/index.d.ts

@@ -1,5 +1,5 @@
-import { SourceMap } from "magic-string";
 import { Diagnostic, TaglibLookup } from "@marko/babel-utils";
+import { SourceMap } from "magic-string";
 import * as types from "./babel-types";
 export { types };
 
@@ -42,28 +42,28 @@ export function configure(config: Config): void;
 export function compile(
   src: string,
   filename: string,
-  config?: Config
+  config?: Config,
 ): Promise<CompileResult>;
 
 export function compileSync(
   src: string,
   filename: string,
-  config?: Config
+  config?: Config,
 ): CompileResult;
 
 export function compileFile(
   filename: string,
-  config?: Config
+  config?: Config,
 ): Promise<CompileResult>;
 
 export function compileFileSync(
   filename: string,
-  config?: Config
+  config?: Config,
 ): CompileResult;
 
 export function getRuntimeEntryFiles(
   output: string,
-  translator?: string | undefined
+  translator?: string | undefined,
 ): string[];
 
 export namespace taglib {
@@ -74,7 +74,7 @@ export namespace taglib {
   export function buildLookup(
     dirname: string,
     translator?: unknown,
-    onError?: (err: Error) => void
+    onError?: (err: Error) => void,
   ): TaglibLookup;
   export function clearCaches(): void;
 }