@artel/artc 0.6.25215 → 0.6.25217

package/build/types/services/signature-help/SignatureWithValueParameters.d.ts

@@ -6,13 +6,11 @@ import { MethodEntity, ParameterVariableEntity } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 export declare class ValueArgumentFactory {
-    private static createValueArgumentFromCallArgument;
-    private static createValueArgumentFromIndexerArgument;
     static createValueArgumentsOfCallExpression(node: tree.CallExpression): ValueArgument[];
     static createValueArgumentsOfAutotypeCallExpression(node: tree.AutotypeCallExpression): ValueArgument[];
     static createValueArgumentsOfIndexedAccessExpression(node: tree.IndexedAccessExpression): ValueArgument[];
     static createValueArgumentsOfTag(node: tree.Tag): ValueArgument[];
-    private static createValueArgumentsFromListElement;
+    private static createValueArgumentsFromList;
 }
 export declare class SignatureForNode {
     static getSignaturesForNode(analyzer: Analyzer, node: NodeWithValueArguments): SignaturesWithSingleSuitable | undefined;

package/build/types/services/workspace/CompilationController.d.ts

@@ -1,5 +1,5 @@
 import { Indicator, ObservableObject } from 'reactronic';
-import { Analyzer } from '../../analysis/index.js';
+import { Analyzer, TsInteropInputs } from '../../analysis/index.js';
 import { CancellationToken, Uri } from '../../common/index.js';
 import { Diagnostic } from '../../diagnostic/Diagnostic.js';
 import { ConvertedConfiguration, ProgramPackageConfiguration, SourceFile, fsTree } from '../../project/index.js';
@@ -23,6 +23,7 @@ export declare class CompilationController extends ObservableObject {
     private _packageConfigurationsVersion;
     private _packageConfigurationsVersionDuringCompilationLoad;
     private _tsInteropInputs;
+    private _tsInteropInputsKey;
     private _tsProgramLoaderInputs;
     private _state;
     private _configurationsOfPackagesOutsideProject;
@@ -61,6 +62,7 @@ export interface CompilationControllerConfig {
     readonly showErrorMessage?: (message: string) => Promise<void>;
     readonly builtInStandardPackagesUri?: Uri;
     readonly additionalPackageContents?: readonly PackageContent[];
+    readonly tsInteropInputsCache?: TsInteropInputsCache;
 }
 export declare enum CompilationControllerState {
     Created = 0,
@@ -69,6 +71,13 @@ export declare enum CompilationControllerState {
     LoadedMainCompilation = 3,
     ErrorsCreatingAnalyzer = 4
 }
+declare class TsProgramLoaderInputs {
+    readonly orderedStandardLibraryNames: readonly string[];
+    readonly orderedPackageNames: readonly string[];
+    readonly orderedModuleNames: readonly string[];
+    readonly tsProjectUri: Uri;
+    constructor(orderedStandardLibraryNames: readonly string[], orderedPackageNames: readonly string[], orderedModuleNames: readonly string[], tsProjectUri: Uri);
+}
 export type DiagnosticsCollectedInBackgroundHandler = (sourceFile: SourceFile, trackedVersion: number | undefined, diagnostics: readonly Diagnostic[], compilationVersion: number, controller: CompilationController) => Promise<void>;
 export type RawPackageConfigurationsChangedHandler = (configurations: readonly ChangedPackageConfiguration[]) => Promise<void>;
 export declare class ChangedPackageConfiguration {
@@ -108,4 +117,17 @@ declare class ConfigurationController extends ObservableObject {
     protected updateJsonConfigurationFile(): void;
     protected processConfiguration(): Promise<void>;
 }
+export declare class TsInteropInputsCache {
+    private readonly _inputsByKey;
+    getTsInteropInputs(tsProgramLoaderInputs: TsProgramLoaderInputs, librariesProvider: TypeScriptLibrariesProvider): {
+        inputs: TsInteropInputs;
+        key: string;
+    } | undefined;
+    getOrAddTsInteropInputs(tsProgramLoaderInputs: TsProgramLoaderInputs, librariesProvider: TypeScriptLibrariesProvider, inputs: TsInteropInputs): {
+        inputs: TsInteropInputs;
+        key: string;
+    };
+    removeTsInteropInputs(key: string): void;
+    private createKey;
+}
 export {};

package/build/types/services/workspace/Workspace.d.ts

@@ -16,6 +16,7 @@ export declare class Workspace extends ObservableObject {
     private _atLeastOneFileOfCompilationHasBeenOpened;
     private readonly _files;
     private _standardPackageContents;
+    private readonly _tsInteropInputsCache;
     get compilationControllers(): readonly CompilationController[];
     get trackedSourceFiles(): ReadonlyClientTrackedSourceFiles;
     get loadedWorkspaceFolderByUri(): ObservableMap<string, fsTree.Directory>;

package/build/types/tree/NodeKind.d.ts

@@ -70,90 +70,89 @@ export declare enum NodeKind {
     CallArgumentList = 68,
     CallExpression = 69,
     AutotypeCallExpression = 70,
-    IndexedAccessArgumentList = 71,
-    IndexedAccessExpression = 72,
-    InvalidExpression = 73,
-    IsExpression = 74,
-    MethodLiteral = 75,
-    ParenthesizedExpression = 76,
-    WhenTernaryExpression = 77,
-    PrefixUnaryExpression = 78,
-    PropertyAccessExpression = 79,
-    ReferenceExpression = 80,
-    DereferenceExpression = 81,
-    TextTemplateLiteral = 82,
-    TextTemplateSpanList = 83,
-    TextTemplateSpan = 84,
-    TokenExpression = 85,
-    KeywordExpression = 86,
-    ObjectExpression = 87,
-    BaseExpression = 88,
-    IdentifierExpression = 89,
-    GenericSpecializationExpression = 90,
-    DefaultMatchExpression = 91,
-    AssignmentStatement = 92,
-    StatementList = 93,
-    StatementBlock = 94,
-    BreakLoopStatement = 95,
-    ContinueLoopStatement = 96,
-    DisposeStatement = 97,
-    RunStatementClauseList = 98,
-    RunStatement = 99,
-    OnErrorClause = 100,
-    ErrorVariableDeclaration = 101,
-    FinallyClause = 102,
-    EmptyStatement = 103,
-    ErrorStatement = 104,
-    ExpressionStatement = 105,
-    EnumerationVariableList = 106,
-    ForStatement = 107,
-    IfStatement = 108,
-    ElseIfClauseList = 109,
-    ElseIfClause = 110,
-    InvalidStatement = 111,
-    NestedMethodDeclarationStatement = 112,
-    LocalVariableDeclarationStatement = 113,
-    LoopStatement = 114,
-    ReturnStatement = 115,
-    CaseClauseList = 116,
-    SwitchStatement = 117,
-    MatchExpressionList = 118,
-    SwitchStatementCaseClause = 119,
-    WhileStatement = 120,
-    YieldStatement = 121,
-    TranslationParameterList = 122,
-    TranslationParameterClause = 123,
-    ConstructorTranslation = 124,
-    IndexerTranslationParameterClause = 125,
-    IndexerTranslation = 126,
-    TranslationTypeParameterList = 127,
-    TranslationTypeParameterClause = 128,
-    PackageMethodTranslation = 129,
-    TypeMethodTranslation = 130,
-    MethodTypeTranslation = 131,
-    PackageImportTranslation = 132,
-    QualifiedName = 133,
-    PackageVariableTranslation = 134,
-    TypeVariableOrVariantTranslation = 135,
-    TypeMemberTranslationList = 136,
-    TypeTranslation = 137,
-    TextLiteralTranslation = 138,
-    TextTemplateLiteralTranslation = 139,
-    VariantDeclaration = 140,
-    TypeParameterDeclaration = 141,
-    ParameterDeclaration = 142,
-    CallArgument = 143,
-    TagList = 144,
-    Tag = 145,
-    ModifierList = 146,
-    Modifier = 147,
-    ParameterClause = 148,
-    ParameterList = 149,
-    SetterParameterClause = 150,
-    SetterParameterDeclaration = 151,
-    TypeArgumentClause = 152,
-    TypeArgumentList = 153,
-    TypeParameterClause = 154,
-    TypeParameterList = 155,
-    TypeAnnotation = 156
+    IndexedAccessExpression = 71,
+    InvalidExpression = 72,
+    IsExpression = 73,
+    MethodLiteral = 74,
+    ParenthesizedExpression = 75,
+    WhenTernaryExpression = 76,
+    PrefixUnaryExpression = 77,
+    PropertyAccessExpression = 78,
+    ReferenceExpression = 79,
+    DereferenceExpression = 80,
+    TextTemplateLiteral = 81,
+    TextTemplateSpanList = 82,
+    TextTemplateSpan = 83,
+    TokenExpression = 84,
+    KeywordExpression = 85,
+    ObjectExpression = 86,
+    BaseExpression = 87,
+    IdentifierExpression = 88,
+    GenericSpecializationExpression = 89,
+    DefaultMatchExpression = 90,
+    AssignmentStatement = 91,
+    StatementList = 92,
+    StatementBlock = 93,
+    BreakLoopStatement = 94,
+    ContinueLoopStatement = 95,
+    DisposeStatement = 96,
+    RunStatementClauseList = 97,
+    RunStatement = 98,
+    OnErrorClause = 99,
+    ErrorVariableDeclaration = 100,
+    FinallyClause = 101,
+    EmptyStatement = 102,
+    ErrorStatement = 103,
+    ExpressionStatement = 104,
+    EnumerationVariableList = 105,
+    ForStatement = 106,
+    IfStatement = 107,
+    ElseIfClauseList = 108,
+    ElseIfClause = 109,
+    InvalidStatement = 110,
+    NestedMethodDeclarationStatement = 111,
+    LocalVariableDeclarationStatement = 112,
+    LoopStatement = 113,
+    ReturnStatement = 114,
+    CaseClauseList = 115,
+    SwitchStatement = 116,
+    MatchExpressionList = 117,
+    SwitchStatementCaseClause = 118,
+    WhileStatement = 119,
+    YieldStatement = 120,
+    TranslationParameterList = 121,
+    TranslationParameterClause = 122,
+    ConstructorTranslation = 123,
+    IndexerTranslationParameterClause = 124,
+    IndexerTranslation = 125,
+    TranslationTypeParameterList = 126,
+    TranslationTypeParameterClause = 127,
+    PackageMethodTranslation = 128,
+    TypeMethodTranslation = 129,
+    MethodTypeTranslation = 130,
+    PackageImportTranslation = 131,
+    QualifiedName = 132,
+    PackageVariableTranslation = 133,
+    TypeVariableOrVariantTranslation = 134,
+    TypeMemberTranslationList = 135,
+    TypeTranslation = 136,
+    TextLiteralTranslation = 137,
+    TextTemplateLiteralTranslation = 138,
+    VariantDeclaration = 139,
+    TypeParameterDeclaration = 140,
+    ParameterDeclaration = 141,
+    CallArgument = 142,
+    TagList = 143,
+    Tag = 144,
+    ModifierList = 145,
+    Modifier = 146,
+    ParameterClause = 147,
+    ParameterList = 148,
+    SetterParameterClause = 149,
+    SetterParameterDeclaration = 150,
+    TypeArgumentClause = 151,
+    TypeArgumentList = 152,
+    TypeParameterClause = 153,
+    TypeParameterList = 154,
+    TypeAnnotation = 155
 }

package/build/types/tree/green/Nodes.d.ts

@@ -1056,29 +1056,20 @@ export declare class AutotypeCallExpression extends BaseNode {
     constructor(autotypeKeyword: Keyword<KeywordKind.Autotype>, openParenthesisToken: Token<TokenKind.OpenParenthesis>, callArgumentList: CallArgumentList, closeParenthesisToken: Token<TokenKind.CloseParenthesis>);
     toRed(rangeStart: number, parent: red.ExpressionParent): red.AutotypeCallExpression;
 }
-export type IndexedAccessArgumentListElement = Expression | Comma;
-export declare class IndexedAccessArgumentList extends BaseNode {
-    readonly kind = NodeKind.IndexedAccessArgumentList;
-    readonly children: readonly IndexedAccessArgumentListElement[];
-    get elements(): readonly IndexedAccessArgumentListElement[];
-    protected get thisAsNode(): Node;
-    constructor(elements: readonly IndexedAccessArgumentListElement[]);
-    toRed(rangeStart: number, parent: red.IndexedAccessArgumentListParent): red.IndexedAccessArgumentList;
-}
 export declare class IndexedAccessExpression extends BaseNode {
     readonly kind = NodeKind.IndexedAccessExpression;
     readonly children: readonly [
         Expression,
         Token<TokenKind.OpenSquareBracket>,
-        IndexedAccessArgumentList,
+        CallArgumentList,
         Token<TokenKind.CloseSquareBracket>
     ];
     get expression(): Expression;
     get openSquareBracketToken(): Token<TokenKind.OpenSquareBracket>;
-    get argumentsList(): IndexedAccessArgumentList;
+    get argumentsList(): CallArgumentList;
     get closeSquareBracketToken(): Token<TokenKind.CloseSquareBracket>;
     protected get thisAsNode(): Node;
-    constructor(expression: Expression, openSquareBracketToken: Token<TokenKind.OpenSquareBracket>, argumentsList: IndexedAccessArgumentList, closeSquareBracketToken: Token<TokenKind.CloseSquareBracket>);
+    constructor(expression: Expression, openSquareBracketToken: Token<TokenKind.OpenSquareBracket>, argumentsList: CallArgumentList, closeSquareBracketToken: Token<TokenKind.CloseSquareBracket>);
     toRed(rangeStart: number, parent: red.ExpressionParent): red.IndexedAccessExpression;
 }
 export declare class InvalidExpression extends BaseNode {
@@ -2183,4 +2174,4 @@ export declare class TypeAnnotation extends BaseNode {
     constructor(colonToken: Token<TokenKind.Colon>, typeSpecifier: TypeSpecifier);
     toRed(rangeStart: number, parent: red.TypeAnnotationParent): red.TypeAnnotation;
 }
-export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
+export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;

package/build/types/tree/red/Nodes.d.ts

@@ -882,7 +882,7 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
     private createChildren;
 }
 export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | MethodBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
-export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessArgumentList | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
+export type ExpressionParent = ArrayLiteralElementList | AsExpression | AssertionExpression | AssumptionExpression | AssignmentStatement | BinaryExpression | CallArgument | CallExpression | DisposeStatement | ErrorStatement | ExpressionStatement | ForStatement | PackageVariableDeclaration | IfStatement | IndexedAccessExpression | IsExpression | LocalVariableDeclaration | MatchExpressionList | ParameterDeclaration | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | LoopStatement | ReturnStatement | TextTemplateSpan | TypeVariableDeclaration | SwitchStatement | VariantDeclaration | WhileStatement | YieldStatement | GenericSpecializationExpression | ElseIfClause | TextTemplateLiteralTranslation;
 export declare class ArrayLiteral extends BaseNode {
     readonly kind = NodeKind.ArrayLiteral;
     readonly green: green.ArrayLiteral;
@@ -973,7 +973,7 @@ export declare class MethodBlockLiteral extends BaseNode {
     private createChildren;
 }
 export type CallArgumentListElement = CallArgument | Comma;
-export type CallArgumentListParent = CallExpression | AutotypeCallExpression | Tag;
+export type CallArgumentListParent = CallExpression | AutotypeCallExpression | Tag | IndexedAccessExpression;
 export declare class CallArgumentList extends BaseNode {
     readonly kind = NodeKind.CallArgumentList;
     readonly green: green.CallArgumentList;
@@ -1014,29 +1014,15 @@ export declare class AutotypeCallExpression extends BaseNode {
     constructor(green: green.AutotypeCallExpression, rangeStart: number, parent: ExpressionParent);
     private createChildren;
 }
-export type IndexedAccessArgumentListElement = Expression | Comma;
-export type IndexedAccessArgumentListParent = IndexedAccessExpression;
-export declare class IndexedAccessArgumentList extends BaseNode {
-    readonly kind = NodeKind.IndexedAccessArgumentList;
-    readonly green: green.IndexedAccessArgumentList;
-    readonly parent: IndexedAccessArgumentListParent;
-    private _children;
-    get children(): readonly IndexedAccessArgumentListElement[];
-    get elements(): readonly IndexedAccessArgumentListElement[];
-    get arguments(): Query<Expression>;
-    protected get thisAsNode(): Node;
-    constructor(green: green.IndexedAccessArgumentList, rangeStart: number, parent: IndexedAccessArgumentListParent);
-    private createChildren;
-}
 export declare class IndexedAccessExpression extends BaseNode {
     readonly kind = NodeKind.IndexedAccessExpression;
     readonly green: green.IndexedAccessExpression;
     readonly parent: ExpressionParent;
     private _children;
-    get children(): readonly [Expression, Token<green.TokenKind.OpenSquareBracket>, IndexedAccessArgumentList, Token<green.TokenKind.CloseSquareBracket>];
+    get children(): readonly [Expression, Token<green.TokenKind.OpenSquareBracket>, CallArgumentList, Token<green.TokenKind.CloseSquareBracket>];
     get expression(): Expression;
     get openSquareBracketToken(): Token<TokenKind.OpenSquareBracket>;
-    get argumentsList(): IndexedAccessArgumentList;
+    get argumentsList(): CallArgumentList;
     get closeSquareBracketToken(): Token<TokenKind.CloseSquareBracket>;
     protected get thisAsNode(): Node;
     constructor(green: green.IndexedAccessExpression, rangeStart: number, parent: ExpressionParent);
@@ -2186,4 +2172,4 @@ export declare class TypeAnnotation extends BaseNode {
     constructor(green: green.TypeAnnotation, rangeStart: number, parent: TypeAnnotationParent);
     private createChildren;
 }
-export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessArgumentList | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
+export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackagePath | NamedTypeSpecifier | UnionTypeSpecifier | UnionTypeSpecifierTypeList | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousMethodTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageMethodDeclaration | PackageMethodTypeDeclaration | MethodTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | TypeConstructorDeclaration | TypeDestructorDeclaration | TypeIndexedGetterDeclaration | TypeIndexedSetterDeclaration | TypeIndexerParameterClause | TypeDereferencedVariableGetterDeclaration | TypeDereferencedVariableSetterDeclaration | TypeMethodDeclaration | OperatorDeclaration | TypeVariableDeclaration | TypeVariableGetterDeclaration | TypeVariableSetterDeclaration | InvalidTypeMemberDeclaration | NestedMethodDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | MethodBlockLiteral | CallArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | MethodLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | PropertyAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatementClauseList | RunStatement | OnErrorClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | InvalidStatement | NestedMethodDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | SwitchStatementCaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexerTranslationParameterClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageMethodTranslation | TypeMethodTranslation | MethodTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | TypeVariableOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | CallArgument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | SetterParameterClause | SetterParameterDeclaration | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;

package/build/types/ts-interop/Entities.d.ts

@@ -59,7 +59,6 @@ export declare class TsGlobalVariableEntity implements PackageVariableEntity {
     readonly kind = EntityKind.Variable;
     readonly subkind = "package";
     private readonly _type;
-    private get declaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _isDefaultExport: boolean, _containingPackage: PackageEntity, _forceHiddenInPackage: boolean);
     getName(): Name;
     getContainingPackage(): PackageEntity;
@@ -71,6 +70,7 @@ export declare class TsGlobalVariableEntity implements PackageVariableEntity {
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    private getDeclaration;
 }
 export declare class TsGlobalFunctionEntity implements PackageMethodEntity {
     private readonly _tsctx;
@@ -148,7 +148,6 @@ export declare class TsGlobalClassOrInterfaceEntity implements PackageStructured
     private readonly _members;
     private readonly _baseObjectType;
     private readonly _baseAspectTypes;
-    private get declaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _isDefaultExport: boolean, _containingPackage: PackageEntity, _forceHiddenInPackage: boolean);
     getNaming(): EntityNaming;
     getName(): Name;
@@ -156,6 +155,8 @@ export declare class TsGlobalClassOrInterfaceEntity implements PackageStructured
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -165,6 +166,7 @@ export declare class TsGlobalClassOrInterfaceEntity implements PackageStructured
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    private getDeclaration;
     private isClassOrInterfaceAndVariableMerge;
 }
 export declare class SourceAndTsGlobalClassOrInterfaceMergeEntity implements PackageStructuredTypeEntity {
@@ -183,6 +185,8 @@ export declare class SourceAndTsGlobalClassOrInterfaceMergeEntity implements Pac
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -207,6 +211,8 @@ export declare class TsTypeLiteralEntity implements AnonymousStructuredTypeEntit
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -239,6 +245,8 @@ export declare class TsNamedTypeLiteralEntity implements PackageStructuredTypeEn
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -265,6 +273,8 @@ export declare class SourceAndTsNamedTypeLiteralMergeEntity implements PackageSt
     getTypeParameters(): readonly TypeParameterEntity[];
     getMembers(): OriginalTypeEntityMembers;
     getDefinition(): StructuredTypeEntityDefinition;
+    isBasic(): boolean;
+    isAbstract(): boolean;
     isAspect(): boolean;
     isRefObject(): boolean;
     isPlainObject(): boolean;
@@ -284,7 +294,6 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
     readonly subkind = "type";
     private readonly _type;
     private readonly _overriddenMember;
-    private get declaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
     getName(): Name;
     getType(): types.Type;
@@ -301,6 +310,7 @@ export declare class TsPropertyEntity implements TypeVariableEntity {
     isRedefined(): boolean;
     isAbstract(): boolean;
     getOverriddenMember(): types.Variable | undefined;
+    private getDeclaration;
 }
 export declare class TsAccessorEntity implements TypeVariableEntity {
     private readonly _tsctx;
@@ -313,7 +323,6 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
     private readonly _getter;
     private readonly _setter;
     private readonly _overriddenMember;
-    private get getAccessorDeclaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
     getName(): Name;
     getType(): types.Type;
@@ -330,6 +339,7 @@ export declare class TsAccessorEntity implements TypeVariableEntity {
     isRedefined(): boolean;
     isAbstract(): boolean;
     getOverriddenMember(): types.Variable | undefined;
+    private getGetAccessorDeclaration;
 }
 export declare class TsGetAccessorEntity implements GetterEntity {
     private readonly _tsctx;
@@ -399,7 +409,6 @@ export declare class TsIteratorMethodEntity implements TypeMethodEntity {
     readonly subkind = "type";
     private readonly _returnType;
     private readonly _overriddenMethod;
-    private get firstDeclaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingType: TypeEntityWithMembers);
     getName(): Name;
     getTypeParameters(): readonly TypeParameterEntity[];
@@ -419,6 +428,7 @@ export declare class TsIteratorMethodEntity implements TypeMethodEntity {
     isMethodTypeInvokeMethod(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getOverriddenMember(): types.Method | undefined;
+    private getFirstDeclaration;
 }
 export declare class TsParameterEntity implements ParameterVariableEntity {
     private readonly _tsctx;
@@ -427,7 +437,6 @@ export declare class TsParameterEntity implements ParameterVariableEntity {
     readonly kind = EntityKind.Variable;
     readonly subkind = "parameter";
     private readonly _type;
-    private get declaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingEntity: EntityContainingValueParameter);
     getName(): Name;
     getType(): types.Type;
@@ -441,6 +450,7 @@ export declare class TsParameterEntity implements ParameterVariableEntity {
     getContainer(): ParameterVariableEntityContainer;
     isOptional(): boolean;
     isVariadic(): boolean;
+    private getDeclaration;
 }
 export declare class TsTypeParameterEntity implements TypeParameterEntity {
     private readonly _tsctx;
@@ -449,7 +459,6 @@ export declare class TsTypeParameterEntity implements TypeParameterEntity {
     readonly kind = EntityKind.TypeParameter;
     private readonly _constraint;
     private readonly _defaultType;
-    get declaration(): ts.TypeParameterDeclaration | undefined;
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _containingEntity: EntityContainingTypeParameter);
     getName(): Name;
     getConstraint(): TypeParameterConstraint;
@@ -459,6 +468,7 @@ export declare class TsTypeParameterEntity implements TypeParameterEntity {
     getTypeParameters(): readonly TypeParameterEntity[];
     getContainingEntity(): EntityContainingTypeParameter;
     isHidden(): EntityHidingLevel | undefined;
+    private getDeclaration;
 }
 export declare class TsIndexSignatureEntity implements IndexerEntity {
     private readonly _tsctx;
@@ -471,6 +481,7 @@ export declare class TsIndexSignatureEntity implements IndexerEntity {
     private readonly _type;
     private readonly _getter;
     private readonly _setter;
+    private readonly _overriddenMember;
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _declaration: ts.IndexSignatureDeclaration, _containingType: TypeEntityWithMembers, _forceStatic: boolean);
     getValueParameters(): readonly ParameterVariableEntity[];
     getType(): types.Type;
@@ -480,8 +491,11 @@ export declare class TsIndexSignatureEntity implements IndexerEntity {
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
     isHidden(): EntityHidingLevel | undefined;
+    isRedefinable(): boolean;
+    isRedefined(): boolean;
     isAbstract(): boolean;
     getTags(): readonly Tag[];
+    getOverriddenMember(): types.Indexer | undefined;
 }
 export declare class TsConstructorEntity implements ConstructorEntity {
     private readonly _tsctx;
@@ -524,6 +538,7 @@ export declare class TsEnumEntity implements PackageVariantTypeEntity {
     private readonly _variants;
     private readonly _members;
     private readonly _underlyingType;
+    private readonly _baseObjectType;
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _isDefaultExport: boolean, _containingPackage: PackageEntity);
     getNaming(): EntityNaming;
     getName(): Name;
@@ -537,6 +552,7 @@ export declare class TsEnumEntity implements PackageVariantTypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getBaseObjectType(): BaseObjectType;
 }
 export declare class TsEnumMemberEntity implements VariantEntity {
     private readonly _tsctx;
@@ -558,7 +574,6 @@ export declare class TsTypeAliasEntity implements AliasTypeEntity {
     readonly kind = EntityKind.AliasType;
     private readonly _aliasedType;
     private readonly _typeParameters;
-    private get declaration();
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _isDefaultExport: boolean, _containingPackage: PackageEntity);
     getName(): Name;
     getContainingPackage(): PackageEntity;
@@ -570,6 +585,7 @@ export declare class TsTypeAliasEntity implements AliasTypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    private getDeclaration;
 }
 export declare class TsAnonymousFunctionTypeEntity implements AnonymousMethodTypeEntity {
     private readonly _tsctx;
@@ -581,6 +597,7 @@ export declare class TsAnonymousFunctionTypeEntity implements AnonymousMethodTyp
     private readonly _valueParameters;
     private readonly _returnType;
     private readonly _members;
+    private readonly _baseObjectType;
     constructor(_tsctx: TsInteropContext, _symbol: ts.Symbol, _declaration: ts.FunctionTypeNode, _containingPackage: PackageEntity);
     getNaming(): EntityNaming;
     getTypeParameters(): readonly TypeParameterEntity[];
@@ -594,6 +611,7 @@ export declare class TsAnonymousFunctionTypeEntity implements AnonymousMethodTyp
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
+    getBaseObjectType(): BaseObjectType;
 }
 /**
  * Представляет объявления следующего вида:
@@ -621,6 +639,7 @@ export declare class TsNamedFunctionTypeEntity implements PackageMethodTypeEntit
     private readonly _valueParameters;
     private readonly _members;
     private readonly _returnType;
+    private readonly _baseObjectType;
     constructor(_tsctx: TsInteropContext, _signatureSymbol: ts.Symbol, _signatureDeclaration: ts.CallSignatureDeclaration | ts.FunctionTypeNode, _owningNamedSymbol: ts.Symbol, _isDefaultExport: boolean, _owningDeclarationWithTypeParameters: ts.DeclarationWithTypeParameterChildren, _containingPackage: PackageEntity, _forceHiddenInPackage: boolean);
     getNaming(): EntityNaming;
     getName(): Name;
@@ -635,4 +654,5 @@ export declare class TsNamedFunctionTypeEntity implements PackageMethodTypeEntit
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getBaseObjectType(): BaseObjectType;
 }

package/build/types/types/MethodType.d.ts

@@ -1,6 +1,6 @@
 import { Analyzer } from '../analysis/index.js';
 import { MethodTypeEntity, TypeParameterEntity } from '../entities/index.js';
-import { IType, StructuredType, SubstitutionMap, Substitutions, Type, ValueParameter } from './index.js';
+import { IType, SubstitutionMap, Substitutions, Type, ValueParameter } from './index.js';
 export declare class MethodType implements IType {
     private readonly _analyzer;
     private readonly _entity;
@@ -17,7 +17,7 @@ export declare class MethodType implements IType {
     isAsync(): boolean;
     getReturnType(): Type;
     getValueParameters(): readonly ValueParameter[];
-    getBaseType(): StructuredType;
+    getBaseType(): Type | undefined;
     getBaseObjectTypeOrAliasedType(): Type | undefined;
     toString(): string;
 }

package/build/types/types/VariantType.d.ts

@@ -1,6 +1,6 @@
 import { Analyzer } from '../analysis/index.js';
 import { VariantTypeEntity } from '../entities/index.js';
-import { IType, StructuredType, SubstitutionMap, Substitutions, Type } from './index.js';
+import { IType, SubstitutionMap, Substitutions, Type } from './index.js';
 export declare class VariantType implements IType {
     private readonly _analyzer;
     private readonly _entity;
@@ -13,7 +13,7 @@ export declare class VariantType implements IType {
     getEntity(): VariantTypeEntity;
     equals(other: Type): boolean;
     getUnderlyingType(): Type;
-    getBaseType(): StructuredType;
+    getBaseType(): Type | undefined;
     getBaseObjectTypeOrAliasedType(): Type | undefined;
     toString(): string;
 }