xo 0.49.0 → 0.50.0

package/node_modules/@typescript-eslint/types/dist/generated/ast-spec.d.ts

@@ -11,7 +11,7 @@ import type { SyntaxKind } from 'typescript';
 export declare type Accessibility = 'private' | 'protected' | 'public';
 export declare interface ArrayExpression extends BaseNode {
     type: AST_NODE_TYPES.ArrayExpression;
-    elements: Expression[];
+    elements: (Expression | SpreadElement)[];
 }
 export declare interface ArrayPattern extends BaseNode {
     type: AST_NODE_TYPES.ArrayPattern;
@@ -160,6 +160,7 @@ export declare enum AST_NODE_TYPES {
     TSExportKeyword = "TSExportKeyword",
     TSExternalModuleReference = "TSExternalModuleReference",
     TSFunctionType = "TSFunctionType",
+    TSInstantiationExpression = "TSInstantiationExpression",
     TSImportEqualsDeclaration = "TSImportEqualsDeclaration",
     TSImportType = "TSImportType",
     TSIndexedAccessType = "TSIndexedAccessType",
@@ -293,27 +294,84 @@ export declare interface ChainExpression extends BaseNode {
     type: AST_NODE_TYPES.ChainExpression;
     expression: ChainElement;
 }
+declare interface ClassBase extends BaseNode {
+    /**
+     * Whether the class is an abstract class.
+     * ```
+     * abstract class Foo {...}
+     * ```
+     * This is always `undefined` for `ClassExpression`.
+     */
+    abstract?: boolean;
+    /**
+     * The class body.
+     */
+    body: ClassBody;
+    /**
+     * Whether the class has been `declare`d:
+     * ```
+     * declare class Foo {...}
+     * ```
+     * This is always `undefined` for `ClassExpression`.
+     */
+    declare?: boolean;
+    /**
+     * The decorators declared for the class.
+     * This is `undefined` if there are no decorators.
+     * ```
+     * @deco
+     * class Foo {...}
+     * ```
+     * This is always `undefined` for `ClassExpression`.
+     */
+    decorators?: Decorator[];
+    /**
+     * The class's name.
+     * - For a `ClassExpression` this may be `null` if the name is omitted.
+     * - For a `ClassDeclaration` this may be `null` if and only if the parent is
+     *   an `ExportDefaultDeclaration`.
+     */
+    id: Identifier | null;
+    /**
+     * The implemented interfaces for the class.
+     * This is `undefined` if there are no implemented interfaces.
+     */
+    implements?: TSClassImplements[];
+    /**
+     * The super class this class extends.
+     */
+    superClass: LeftHandSideExpression | null;
+    /**
+     * The generic type parameters passed to the superClass.
+     * This is `undefined` if there are no generic type parameters passed.
+     */
+    superTypeParameters?: TSTypeParameterInstantiation;
+    /**
+     * The generic type parameters declared for the class.
+     * This is `undefined` if there are no generic type parameters declared.
+     */
+    typeParameters?: TSTypeParameterDeclaration;
+}
 export declare interface ClassBody extends BaseNode {
     type: AST_NODE_TYPES.ClassBody;
     body: ClassElement[];
 }
-export declare interface ClassDeclaration extends ClassDeclarationBase {
+export declare type ClassDeclaration = ClassDeclarationWithName | ClassDeclarationWithOptionalName;
+declare interface ClassDeclarationBase extends ClassBase {
     type: AST_NODE_TYPES.ClassDeclaration;
 }
-declare interface ClassDeclarationBase extends BaseNode {
-    typeParameters?: TSTypeParameterDeclaration;
-    superTypeParameters?: TSTypeParameterInstantiation;
+export declare interface ClassDeclarationWithName extends ClassDeclarationBase {
+    id: Identifier;
+}
+export declare interface ClassDeclarationWithOptionalName extends ClassDeclarationBase {
     id: Identifier | null;
-    body: ClassBody;
-    superClass: LeftHandSideExpression | null;
-    implements?: TSClassImplements[];
-    abstract?: boolean;
-    declare?: boolean;
-    decorators?: Decorator[];
 }
 export declare type ClassElement = MethodDefinition | PropertyDefinition | StaticBlock | TSAbstractMethodDefinition | TSAbstractPropertyDefinition | TSIndexSignature;
-export declare interface ClassExpression extends ClassDeclarationBase {
+export declare interface ClassExpression extends ClassBase {
     type: AST_NODE_TYPES.ClassExpression;
+    abstract?: undefined;
+    declare?: undefined;
+    decorators?: undefined;
 }
 declare interface ClassMethodDefinitionNonComputedNameBase extends MethodDefinitionBase {
     key: ClassPropertyNameNonComputed;
@@ -343,6 +401,7 @@ export declare interface Decorator extends BaseNode {
     type: AST_NODE_TYPES.Decorator;
     expression: LeftHandSideExpression;
 }
+export declare type DefaultExportDeclarations = ClassDeclarationWithOptionalName | Expression | FunctionDeclarationWithName | FunctionDeclarationWithOptionalName | TSDeclareFunction | TSEnumDeclaration | TSInterfaceDeclaration | TSModuleDeclaration | TSTypeAliasDeclaration | VariableDeclaration;
 export declare type DestructuringPattern = ArrayPattern | AssignmentPattern | Identifier | MemberExpression | ObjectPattern | RestElement;
 export declare interface DoWhileStatement extends BaseNode {
     type: AST_NODE_TYPES.DoWhileStatement;
@@ -355,27 +414,93 @@ export declare interface EmptyStatement extends BaseNode {
 export declare type EntityName = Identifier | TSQualifiedName;
 export declare interface ExportAllDeclaration extends BaseNode {
     type: AST_NODE_TYPES.ExportAllDeclaration;
-    source: StringLiteral | null;
-    exportKind: ExportKind;
-    exported: Identifier | null;
+    /**
+     * The assertions declared for the export.
+     * ```
+     * export * from 'mod' assert { type: 'json' };
+     * ```
+     */
     assertions: ImportAttribute[];
+    /**
+     * The name for the exported items. `null` if no name is assigned.
+     */
+    exported: Identifier | null;
+    /**
+     * The kind of the export.
+     */
+    exportKind: ExportKind;
+    /**
+     * The source module being exported from.
+     */
+    source: StringLiteral;
 }
 declare type ExportAndImportKind = 'type' | 'value';
-export declare type ExportDeclaration = ClassDeclaration | ClassExpression | FunctionDeclaration | TSDeclareFunction | TSEnumDeclaration | TSInterfaceDeclaration | TSModuleDeclaration | TSTypeAliasDeclaration | VariableDeclaration;
+export declare type ExportDeclaration = DefaultExportDeclarations | NamedExportDeclarations;
 export declare interface ExportDefaultDeclaration extends BaseNode {
     type: AST_NODE_TYPES.ExportDefaultDeclaration;
-    declaration: // TODO(error handling) - the following are disallowed syntactically, but allowed by TS error recovery:
-    ExportDeclaration | Expression;
+    /**
+     * The declaration being exported.
+     */
+    declaration: DefaultExportDeclarations;
+    /**
+     * The kind of the export.
+     */
     exportKind: ExportKind;
 }
 declare type ExportKind = ExportAndImportKind;
-export declare interface ExportNamedDeclaration extends BaseNode {
+export declare type ExportNamedDeclaration = ExportNamedDeclarationWithoutSourceWithMultiple | ExportNamedDeclarationWithoutSourceWithSingle | ExportNamedDeclarationWithSource;
+declare interface ExportNamedDeclarationBase extends BaseNode {
     type: AST_NODE_TYPES.ExportNamedDeclaration;
-    declaration: ExportDeclaration | null;
-    specifiers: ExportSpecifier[];
-    source: StringLiteral | null;
+    /**
+     * The assertions declared for the export.
+     * ```
+     * export { foo } from 'mod' assert { type: 'json' };
+     * ```
+     * This will be an empty array if `source` is `null`
+     */
+    assertions: ImportAttribute[];
+    /**
+     * The exported declaration.
+     * ```
+     * export const x = 1;
+     * ```
+     * This will be `null` if `source` is not `null`, or if there are `specifiers`
+     */
+    declaration: NamedExportDeclarations | null;
+    /**
+     * The kind of the export.
+     */
     exportKind: ExportKind;
+    /**
+     * The source module being exported from.
+     */
+    source: StringLiteral | null;
+    /**
+     * The specifiers being exported.
+     * ```
+     * export { a, b };
+     * ```
+     * This will be an empty array if `declaration` is not `null`
+     */
+    specifiers: ExportSpecifier[];
+}
+export declare interface ExportNamedDeclarationWithoutSourceWithMultiple extends ExportNamedDeclarationBase {
     assertions: ImportAttribute[];
+    declaration: NamedExportDeclarations;
+    source: null;
+    specifiers: ExportSpecifier[];
+}
+export declare interface ExportNamedDeclarationWithoutSourceWithSingle extends ExportNamedDeclarationBase {
+    assertions: ImportAttribute[];
+    declaration: null;
+    source: null;
+    specifiers: ExportSpecifier[];
+}
+export declare interface ExportNamedDeclarationWithSource extends ExportNamedDeclarationBase {
+    assertions: ImportAttribute[];
+    declaration: null;
+    source: StringLiteral;
+    specifiers: ExportSpecifier[];
 }
 export declare interface ExportSpecifier extends BaseNode {
     type: AST_NODE_TYPES.ExportSpecifier;
@@ -383,7 +508,7 @@ export declare interface ExportSpecifier extends BaseNode {
     exported: Identifier;
     exportKind: ExportKind;
 }
-export declare type Expression = ArrayExpression | ArrayPattern | ArrowFunctionExpression | AssignmentExpression | AwaitExpression | BinaryExpression | CallExpression | ChainExpression | ClassExpression | ConditionalExpression | FunctionExpression | Identifier | ImportExpression | JSXElement | JSXFragment | LiteralExpression | LogicalExpression | MemberExpression | MetaProperty | NewExpression | ObjectExpression | ObjectPattern | SequenceExpression | Super | TaggedTemplateExpression | TemplateLiteral | ThisExpression | TSAsExpression | TSNonNullExpression | TSTypeAssertion | UnaryExpression | UpdateExpression | YieldExpression;
+export declare type Expression = ArrayExpression | ArrayPattern | ArrowFunctionExpression | AssignmentExpression | AwaitExpression | BinaryExpression | CallExpression | ChainExpression | ClassExpression | ConditionalExpression | FunctionExpression | Identifier | ImportExpression | JSXElement | JSXFragment | LiteralExpression | LogicalExpression | MemberExpression | MetaProperty | NewExpression | ObjectExpression | ObjectPattern | SequenceExpression | Super | TaggedTemplateExpression | TemplateLiteral | ThisExpression | TSAsExpression | TSInstantiationExpression | TSNonNullExpression | TSTypeAssertion | UnaryExpression | UpdateExpression | YieldExpression;
 export declare interface ExpressionStatement extends BaseNode {
     type: AST_NODE_TYPES.ExpressionStatement;
     expression: Expression;
@@ -410,24 +535,88 @@ export declare interface ForStatement extends BaseNode {
     update: Expression | null;
     body: Statement;
 }
-export declare interface FunctionDeclaration extends FunctionDeclarationBase {
-    type: AST_NODE_TYPES.FunctionDeclaration;
-    body: BlockStatement;
-}
-declare interface FunctionDeclarationBase extends BaseNode {
-    id: Identifier | null;
-    generator: boolean;
-    expression: boolean;
+declare interface FunctionBase extends BaseNode {
+    /**
+     * Whether the function is async:
+     * ```
+     * async function foo(...) {...}
+     * const x = async function (...) {...}
+     * const x = async (...) => {...}
+     * ```
+     */
     async: boolean;
+    /**
+     * The body of the function.
+     * - For an `ArrowFunctionExpression` this may be an `Expression` or `BlockStatement`.
+     * - For a `FunctionDeclaration` or `FunctionExpression` this is always a `BlockStatement.
+     * - For a `TSDeclareFunction` this is always `undefined`.
+     * - For a `TSEmptyBodyFunctionExpression` this is always `null`.
+     */
+    body?: BlockStatement | Expression | null;
+    /**
+     * This is only `true` if and only if the node is a `TSDeclareFunction` and it has `declare`:
+     * ```
+     * declare function foo(...) {...}
+     * ```
+     */
+    declare?: boolean;
+    /**
+     * This is only ever `true` if and only the node is an `ArrowFunctionExpression` and the body
+     * is an expression:
+     * ```
+     * (() => 1)
+     * ```
+     */
+    expression: boolean;
+    /**
+     * Whether the function is a generator function:
+     * ```
+     * function *foo(...) {...}
+     * const x = function *(...) {...}
+     * ```
+     * This is always `false` for arrow functions as they cannot be generators.
+     */
+    generator: boolean;
+    /**
+     * The function's name.
+     * - For an `ArrowFunctionExpression` this is always `null`.
+     * - For a `FunctionExpression` this may be `null` if the name is omitted.
+     * - For a `FunctionDeclaration` or `TSDeclareFunction` this may be `null` if
+     *   and only if the parent is an `ExportDefaultDeclaration`.
+     */
+    id: Identifier | null;
+    /**
+     * The list of parameters declared for the function.
+     */
     params: Parameter[];
-    body?: BlockStatement | null;
+    /**
+     * The return type annotation for the function.
+     * This is `undefined` if there is no return type declared.
+     */
     returnType?: TSTypeAnnotation;
+    /**
+     * The generic type parameter declaration for the function.
+     * This is `undefined` if there are no generic type parameters declared.
+     */
     typeParameters?: TSTypeParameterDeclaration;
-    declare?: boolean;
 }
-export declare interface FunctionExpression extends FunctionDeclarationBase {
+export declare type FunctionDeclaration = FunctionDeclarationWithName | FunctionDeclarationWithOptionalName;
+declare interface FunctionDeclarationBase extends FunctionBase {
+    type: AST_NODE_TYPES.FunctionDeclaration;
+    body: BlockStatement;
+    declare?: false;
+    expression: false;
+}
+export declare interface FunctionDeclarationWithName extends FunctionDeclarationBase {
+    id: Identifier;
+}
+export declare interface FunctionDeclarationWithOptionalName extends FunctionDeclarationBase {
+    id: Identifier | null;
+}
+export declare interface FunctionExpression extends FunctionBase {
     type: AST_NODE_TYPES.FunctionExpression;
     body: BlockStatement;
+    expression: false;
 }
 export declare type FunctionLike = ArrowFunctionExpression | FunctionDeclaration | FunctionExpression | TSDeclareFunction | TSEmptyBodyFunctionExpression;
 export declare interface Identifier extends BaseNode {
@@ -454,10 +643,33 @@ export declare interface ImportAttribute extends BaseNode {
 export declare type ImportClause = ImportDefaultSpecifier | ImportNamespaceSpecifier | ImportSpecifier;
 export declare interface ImportDeclaration extends BaseNode {
     type: AST_NODE_TYPES.ImportDeclaration;
+    /**
+     * The assertions declared for the export.
+     * ```
+     * import * from 'mod' assert { type: 'json' };
+     * ```
+     */
+    assertions: ImportAttribute[];
+    /**
+     * The kind of the import.
+     */
+    importKind: ImportKind;
+    /**
+     * The source module being imported from.
+     */
     source: StringLiteral;
+    /**
+     * The specifiers being imported.
+     * If this is an empty array then either there are no specifiers:
+     * ```
+     * import {} from 'mod';
+     * ```
+     * Or it is a side-effect import:
+     * ```
+     * import 'mod';
+     * ```
+     */
     specifiers: ImportClause[];
-    importKind: ImportKind;
-    assertions: ImportAttribute[];
 }
 export declare interface ImportDefaultSpecifier extends BaseNode {
     type: AST_NODE_TYPES.ImportDefaultSpecifier;
@@ -633,13 +845,14 @@ declare interface MethodDefinitionNonComputedNameBase extends MethodDefinitionBa
     computed: false;
 }
 export declare type Modifier = TSAbstractKeyword | TSAsyncKeyword | TSPrivateKeyword | TSProtectedKeyword | TSPublicKeyword | TSReadonlyKeyword | TSStaticKeyword;
+export declare type NamedExportDeclarations = ClassDeclarationWithName | ClassDeclarationWithOptionalName | FunctionDeclarationWithName | FunctionDeclarationWithOptionalName | TSDeclareFunction | TSEnumDeclaration | TSInterfaceDeclaration | TSModuleDeclaration | TSTypeAliasDeclaration | VariableDeclaration;
 export declare interface NewExpression extends BaseNode {
     type: AST_NODE_TYPES.NewExpression;
     callee: LeftHandSideExpression;
     arguments: Expression[];
     typeParameters?: TSTypeParameterInstantiation;
 }
-export declare type Node = ArrayExpression | ArrayPattern | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BinaryExpression | BlockStatement | BreakStatement | CallExpression | CatchClause | ChainExpression | ClassBody | ClassDeclaration | ClassExpression | ConditionalExpression | ContinueStatement | DebuggerStatement | Decorator | DoWhileStatement | EmptyStatement | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ExpressionStatement | ForInStatement | ForOfStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportSpecifier | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LabeledStatement | Literal | LogicalExpression | MemberExpression | MetaProperty | MethodDefinition | NewExpression | ObjectExpression | ObjectPattern | PrivateIdentifier | Program | Property | PropertyDefinition | RestElement | ReturnStatement | SequenceExpression | SpreadElement | StaticBlock | Super | SwitchCase | SwitchStatement | TaggedTemplateExpression | TemplateElement | TemplateLiteral | ThisExpression | ThrowStatement | TryStatement | TSAbstractKeyword | TSAbstractMethodDefinition | TSAbstractPropertyDefinition | TSAnyKeyword | TSArrayType | TSAsExpression | TSAsyncKeyword | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSClassImplements | TSConditionalType | TSConstructorType | TSConstructSignatureDeclaration | TSDeclareFunction | TSDeclareKeyword | TSEmptyBodyFunctionExpression | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExportKeyword | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexedAccessType | TSIndexSignature | TSInferType | TSInterfaceBody | TSInterfaceDeclaration | TSInterfaceHeritage | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSPrivateKeyword | TSPropertySignature | TSProtectedKeyword | TSPublicKeyword | TSQualifiedName | TSReadonlyKeyword | TSRestType | TSStaticKeyword | TSStringKeyword | TSSymbolKeyword | TSTemplateLiteralType | TSThisType | TSTupleType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | YieldExpression;
+export declare type Node = ArrayExpression | ArrayPattern | ArrowFunctionExpression | AssignmentExpression | AssignmentPattern | AwaitExpression | BinaryExpression | BlockStatement | BreakStatement | CallExpression | CatchClause | ChainExpression | ClassBody | ClassDeclaration | ClassExpression | ConditionalExpression | ContinueStatement | DebuggerStatement | Decorator | DoWhileStatement | EmptyStatement | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExportSpecifier | ExpressionStatement | ForInStatement | ForOfStatement | ForStatement | FunctionDeclaration | FunctionExpression | Identifier | IfStatement | ImportAttribute | ImportDeclaration | ImportDefaultSpecifier | ImportExpression | ImportNamespaceSpecifier | ImportSpecifier | JSXAttribute | JSXClosingElement | JSXClosingFragment | JSXElement | JSXEmptyExpression | JSXExpressionContainer | JSXFragment | JSXIdentifier | JSXMemberExpression | JSXNamespacedName | JSXOpeningElement | JSXOpeningFragment | JSXSpreadAttribute | JSXSpreadChild | JSXText | LabeledStatement | Literal | LogicalExpression | MemberExpression | MetaProperty | MethodDefinition | NewExpression | ObjectExpression | ObjectPattern | PrivateIdentifier | Program | Property | PropertyDefinition | RestElement | ReturnStatement | SequenceExpression | SpreadElement | StaticBlock | Super | SwitchCase | SwitchStatement | TaggedTemplateExpression | TemplateElement | TemplateLiteral | ThisExpression | ThrowStatement | TryStatement | TSAbstractKeyword | TSAbstractMethodDefinition | TSAbstractPropertyDefinition | TSAnyKeyword | TSArrayType | TSAsExpression | TSAsyncKeyword | TSBigIntKeyword | TSBooleanKeyword | TSCallSignatureDeclaration | TSClassImplements | TSConditionalType | TSConstructorType | TSConstructSignatureDeclaration | TSDeclareFunction | TSDeclareKeyword | TSEmptyBodyFunctionExpression | TSEnumDeclaration | TSEnumMember | TSExportAssignment | TSExportKeyword | TSExternalModuleReference | TSFunctionType | TSImportEqualsDeclaration | TSImportType | TSIndexedAccessType | TSIndexSignature | TSInferType | TSInstantiationExpression | TSInterfaceBody | TSInterfaceDeclaration | TSInterfaceHeritage | TSIntersectionType | TSIntrinsicKeyword | TSLiteralType | TSMappedType | TSMethodSignature | TSModuleBlock | TSModuleDeclaration | TSNamedTupleMember | TSNamespaceExportDeclaration | TSNeverKeyword | TSNonNullExpression | TSNullKeyword | TSNumberKeyword | TSObjectKeyword | TSOptionalType | TSParameterProperty | TSPrivateKeyword | TSPropertySignature | TSProtectedKeyword | TSPublicKeyword | TSQualifiedName | TSReadonlyKeyword | TSRestType | TSStaticKeyword | TSStringKeyword | TSSymbolKeyword | TSTemplateLiteralType | TSThisType | TSTupleType | TSTypeAliasDeclaration | TSTypeAnnotation | TSTypeAssertion | TSTypeLiteral | TSTypeOperator | TSTypeParameter | TSTypeParameterDeclaration | TSTypeParameterInstantiation | TSTypePredicate | TSTypeQuery | TSTypeReference | TSUndefinedKeyword | TSUnionType | TSUnknownKeyword | TSVoidKeyword | UnaryExpression | UpdateExpression | VariableDeclaration | VariableDeclarator | WhileStatement | WithStatement | YieldExpression;
 declare interface NodeOrTokenData {
     /**
      * The source location information of the node.
@@ -877,7 +1090,7 @@ export declare interface SpreadElement extends BaseNode {
     type: AST_NODE_TYPES.SpreadElement;
     argument: Expression;
 }
-export declare type Statement = BlockStatement | BreakStatement | ClassDeclaration | ContinueStatement | DebuggerStatement | DoWhileStatement | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExpressionStatement | ForInStatement | ForOfStatement | ForStatement | FunctionDeclaration | IfStatement | ImportDeclaration | LabeledStatement | ReturnStatement | SwitchStatement | ThrowStatement | TryStatement | TSDeclareFunction | TSEnumDeclaration | TSExportAssignment | TSImportEqualsDeclaration | TSInterfaceDeclaration | TSModuleDeclaration | TSNamespaceExportDeclaration | TSTypeAliasDeclaration | VariableDeclaration | WhileStatement | WithStatement;
+export declare type Statement = BlockStatement | BreakStatement | ClassDeclarationWithName | ContinueStatement | DebuggerStatement | DoWhileStatement | ExportAllDeclaration | ExportDefaultDeclaration | ExportNamedDeclaration | ExpressionStatement | ForInStatement | ForOfStatement | ForStatement | FunctionDeclarationWithName | IfStatement | ImportDeclaration | LabeledStatement | ReturnStatement | SwitchStatement | ThrowStatement | TryStatement | TSDeclareFunction | TSEnumDeclaration | TSExportAssignment | TSImportEqualsDeclaration | TSInterfaceDeclaration | TSModuleDeclaration | TSNamespaceExportDeclaration | TSTypeAliasDeclaration | VariableDeclaration | WhileStatement | WithStatement;
 export declare interface StaticBlock extends BaseNode {
     type: AST_NODE_TYPES.StaticBlock;
     body: Statement[];
@@ -997,22 +1210,44 @@ export declare interface TSConstructorType extends TSFunctionSignatureBase {
 export declare interface TSConstructSignatureDeclaration extends TSFunctionSignatureBase {
     type: AST_NODE_TYPES.TSConstructSignatureDeclaration;
 }
-export declare interface TSDeclareFunction extends FunctionDeclarationBase {
+export declare interface TSDeclareFunction extends FunctionBase {
     type: AST_NODE_TYPES.TSDeclareFunction;
+    body?: BlockStatement;
+    declare?: boolean;
+    expression: false;
 }
 export declare interface TSDeclareKeyword extends BaseNode {
     type: AST_NODE_TYPES.TSDeclareKeyword;
 }
-export declare interface TSEmptyBodyFunctionExpression extends FunctionDeclarationBase {
+export declare interface TSEmptyBodyFunctionExpression extends FunctionBase {
     type: AST_NODE_TYPES.TSEmptyBodyFunctionExpression;
     body: null;
+    id: null;
 }
 export declare interface TSEnumDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSEnumDeclaration;
-    id: Identifier;
-    members: TSEnumMember[];
+    /**
+     * Whether this is a `const` enum.
+     * ```
+     * const enum Foo {...}
+     * ```
+     */
     const?: boolean;
+    /**
+     * Whether this is a `declare`d enum.
+     * ```
+     * declare enum Foo {...}
+     * ```
+     */
     declare?: boolean;
+    /**
+     * The enum name.
+     */
+    id: Identifier;
+    /**
+     * The enum members.
+     */
+    members: TSEnumMember[];
     modifiers?: Modifier[];
 }
 export declare type TSEnumMember = TSEnumMemberComputedName | TSEnumMemberNonComputedName;
@@ -1066,9 +1301,26 @@ declare interface TSHeritageBase extends BaseNode {
 }
 export declare interface TSImportEqualsDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSImportEqualsDeclaration;
+    /**
+     * The locally imported name
+     */
     id: Identifier;
+    /**
+     * The value being aliased.
+     * ```
+     * import F1 = A;
+     * import F2 = A.B.C;
+     * import F3 = require('mod');
+     * ```
+     */
     moduleReference: EntityName | TSExternalModuleReference;
     importKind: ImportKind;
+    /**
+     * Whether this is immediately exported
+     * ```
+     * export import F = A;
+     * ```
+     */
     isExport: boolean;
 }
 export declare interface TSImportType extends BaseNode {
@@ -1096,19 +1348,40 @@ export declare interface TSInferType extends BaseNode {
     type: AST_NODE_TYPES.TSInferType;
     typeParameter: TSTypeParameter;
 }
+export declare interface TSInstantiationExpression extends BaseNode {
+    type: AST_NODE_TYPES.TSInstantiationExpression;
+    expression: Expression;
+    typeParameters: TSTypeParameterInstantiation;
+}
 export declare interface TSInterfaceBody extends BaseNode {
     type: AST_NODE_TYPES.TSInterfaceBody;
     body: TypeElement[];
 }
 export declare interface TSInterfaceDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSInterfaceDeclaration;
+    abstract?: boolean;
+    /**
+     * The body of the interface
+     */
     body: TSInterfaceBody;
-    id: Identifier;
-    typeParameters?: TSTypeParameterDeclaration;
+    /**
+     * Whether the interface was `declare`d, `undefined` otherwise
+     */
+    declare?: boolean;
+    /**
+     * The types this interface `extends`
+     */
     extends?: TSInterfaceHeritage[];
+    /**
+     * The name of this interface
+     */
+    id: Identifier;
     implements?: TSInterfaceHeritage[];
-    abstract?: boolean;
-    declare?: boolean;
+    /**
+     * The generic type parameters declared for the interface.
+     * This is `undefined` if there are no generic type parameters declared.
+     */
+    typeParameters?: TSTypeParameterDeclaration;
 }
 export declare interface TSInterfaceHeritage extends TSHeritageBase {
     type: AST_NODE_TYPES.TSInterfaceHeritage;
@@ -1161,9 +1434,34 @@ export declare interface TSModuleBlock extends BaseNode {
 }
 export declare interface TSModuleDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSModuleDeclaration;
+    /**
+     * The name of the module
+     * ```
+     * namespace A {}
+     * namespace A.B.C {}
+     * module 'a' {}
+     * ```
+     */
     id: Identifier | Literal;
+    /**
+     * The body of the module.
+     * This can only be `undefined` for the code `declare module 'mod';`
+     * This will be a `TSModuleDeclaration` if the name is "nested" (`Foo.Bar`).
+     */
     body?: TSModuleBlock | TSModuleDeclaration;
+    /**
+     * Whether this is a global declaration
+     * ```
+     * declare global {}
+     * ```
+     */
     global?: boolean;
+    /**
+     * Whether the module is `declare`d
+     * ```
+     * declare namespace F {}
+     * ```
+     */
     declare?: boolean;
     modifiers?: Modifier[];
 }
@@ -1175,6 +1473,9 @@ export declare interface TSNamedTupleMember extends BaseNode {
 }
 export declare interface TSNamespaceExportDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSNamespaceExportDeclaration;
+    /**
+     * The name the global variable being exported to
+     */
     id: Identifier;
 }
 export declare interface TSNeverKeyword extends BaseNode {
@@ -1272,9 +1573,25 @@ export declare interface TSTupleType extends BaseNode {
 }
 export declare interface TSTypeAliasDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSTypeAliasDeclaration;
+    /**
+     * Whether the type was `declare`d.
+     * ```
+     * declare type T = 1;
+     * ```
+     */
+    declare?: boolean;
+    /**
+     * The name of the type.
+     */
     id: Identifier;
+    /**
+     * The "value" (type) of the declaration
+     */
     typeAnnotation: TypeNode;
-    declare?: boolean;
+    /**
+     * The generic type parameters declared for the type.
+     * This is `undefined` if there are no generic type parameters declared.
+     */
     typeParameters?: TSTypeParameterDeclaration;
 }
 export declare interface TSTypeAnnotation extends BaseNode {
@@ -1300,6 +1617,8 @@ export declare interface TSTypeParameter extends BaseNode {
     name: Identifier;
     constraint?: TypeNode;
     default?: TypeNode;
+    in: boolean;
+    out: boolean;
 }
 export declare interface TSTypeParameterDeclaration extends BaseNode {
     type: AST_NODE_TYPES.TSTypeParameterDeclaration;
@@ -1318,6 +1637,7 @@ export declare interface TSTypePredicate extends BaseNode {
 export declare interface TSTypeQuery extends BaseNode {
     type: AST_NODE_TYPES.TSTypeQuery;
     exprName: EntityName;
+    typeParameters?: TSTypeParameterInstantiation;
 }
 export declare interface TSTypeReference extends BaseNode {
     type: AST_NODE_TYPES.TSTypeReference;
@@ -1356,9 +1676,31 @@ export declare interface UpdateExpression extends UnaryExpressionBase {
 declare type ValueOf<T> = T[keyof T];
 export declare interface VariableDeclaration extends BaseNode {
     type: AST_NODE_TYPES.VariableDeclaration;
+    /**
+     * The variables declared by this declaration.
+     * Note that there may be 0 declarations (i.e. `const;`).
+     * ```
+     * let x;
+     * let y, z;
+     * ```
+     */
     declarations: VariableDeclarator[];
-    kind: 'const' | 'let' | 'var';
+    /**
+     * Whether the declaration is `declare`d
+     * ```
+     * declare const x = 1;
+     * ```
+     */
     declare?: boolean;
+    /**
+     * The keyword used to declare the variable(s)
+     * ```
+     * const x = 1;
+     * let y = 2;
+     * var z = 3;
+     * ```
+     */
+    kind: 'const' | 'let' | 'var';
 }
 export declare interface VariableDeclarator extends BaseNode {
     type: AST_NODE_TYPES.VariableDeclarator;