@artel/artc 0.6.25215 → 0.6.25217

package/build/types/analysis/Analyzer.d.ts

@@ -6,8 +6,7 @@ import { DiagnosticFlags, DiagnosticKind } from '../diagnostic/DiagnosticData.js
 import { BinaryOperatorKind } from '../entities/OperatorKind.js';
 import * as packageMembers from '../entities/PackageMembers.js';
 import { NamedTypeMemberEntity } from '../entities/TypeEntityMembers.js';
-import * as entities from '../entities/index.js';
-import { AliasTypeEntity, AnonymousMethodTypeEntity, AnonymousStructuredTypeEntity, AnonymousVariantTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, GetterEntity, IEntityHidingMatcher, LocalVariableEntity, MethodEntity, MethodTypeEntity, NamedTypeEntity, NestedMethodEntity, OperatorEntity, PackageAliasEntity, PackageEntity, PackageMethodEntity, PackageMethodTypeEntity, PackageStructuredTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, SetterEntity, SourceIndexerEntity, StructuredTypeEntity, TypeEntity, TypeExtensionEntity, TypeMemberEntityContainer, TypeMethodEntity, TypeParameterEntity, TypeVariableEntity, VariableEntity, VariantEntity, VariantTypeEntity } from '../entities/index.js';
+import * as e from '../entities/index.js';
 import { ReservedIdentifierKind } from '../parser/ReservedIdentifierDictionary.js';
 import * as project from '../project/index.js';
 import { PackageName, PlatformKind, SourcePackage } from '../project/index.js';
@@ -50,7 +49,7 @@ export declare class Analyzer {
     /**
      * Пакет с именем 'Артель', содержащий стандартные типы.
      */
-    readonly systemPackage: PackageEntity;
+    readonly systemPackage: e.PackageEntity;
     readonly wellKnownDeclarations: WellKnownDeclarations;
     readonly standardTypes: types.StandardTypes;
     readonly typeFactory: TypeFactory;
@@ -77,7 +76,7 @@ export declare class Analyzer {
     private readonly _propertyAccessExpressionResolutionResults;
     private readonly _sourceFileMembers;
     private readonly _callExpressionMeanings;
-    private readonly _indexedAccessExpressionMeanings;
+    private readonly _indexedAccessExpressionResolutionResults;
     private readonly _dereferenceExpressionMeanings;
     private readonly _autotypeCallExpressionMeanings;
     private readonly _identifierExpressionResolutionResults;
@@ -109,7 +108,7 @@ export declare class Analyzer {
     isTypeAssignableTo(source: types.Type, target: types.Type): boolean;
     checkStatementBlockInvokesAsyncMethods(node: tree.StatementBlock): boolean;
     getSyntacticAccessKind(node: tree.Expression): SyntacticAccessKind;
-    getTypeMemberEntityContainer(node: tree.TypeMemberDeclaration): TypeMemberEntityContainer;
+    getTypeMemberEntityContainer(node: tree.TypeMemberDeclaration): e.TypeMemberEntityContainer;
     getTargetTypeOfExpression(node: tree.Expression, hint?: TargetTypeHint): types.Type | undefined;
     getUnambiguousTargetMethodType(targetType: types.Type | undefined): types.MethodType | undefined;
     getUnambiguousTargetVariantType(targetType: types.Type | undefined): types.VariantType | undefined;
@@ -124,7 +123,7 @@ export declare class Analyzer {
     getSourceFileMembers(node: tree.SourceFile): sourceFileMembers.SourceFileMembers;
     getCallExpressionMeaning(node: tree.CallExpression): callExpressionMeaning.Meaning;
     getRespectiveParameter(node: tree.CallArgument): MatchResultValueParameter | undefined;
-    getIndexedAccessExpressionMeaning(node: tree.IndexedAccessExpression): indexedAccessExpressionMeaning.Meaning;
+    resolveIndexedAccessExpression(node: tree.IndexedAccessExpression): indexedAccessExpressionMeaning.ResolutionResult;
     getDereferenceExpressionMeaning(node: tree.DereferenceExpression): dereferenceExpressionMeaning.Meaning;
     getAutotypeCallExpressionMeaning(node: tree.AutotypeCallExpression, targetTypeHint?: TargetTypeHint): autotypeCallExpressionMeaning.Meaning;
     resolveIdentifierExpression(node: tree.IdentifierExpression, targetTypeHint?: TargetTypeHint): identifierExpressionResolution.ResolutionResult;
@@ -140,7 +139,7 @@ export declare class Analyzer {
     createLocalizationContext(sourceFile: project.SourceFile): LocalizationContext;
     typeIsValidBaseObjectType(type: types.Type): boolean;
     typeIsValidBaseAspectType(type: types.Type): boolean;
-    getImplicitBaseTypeForStructuredType(entity: StructuredTypeEntity): types.StructuredType | undefined;
+    getImplicitBaseTypeForStructuredType(entity: e.StructuredTypeEntity): types.StructuredType | undefined;
     getImplicitBaseTypeForVariantType(): types.StructuredType;
     getImplicitBaseTypeForMethodType(): types.StructuredType;
     resolveNamedTypeSpecifier(node: tree.NamedTypeSpecifier): NamedTypeSpecifierResolutionResult;
@@ -148,7 +147,7 @@ export declare class Analyzer {
         type: types.Type | undefined;
     } | undefined;
     checkExpressionDenotesPackageAlias(expression: tree.Expression): {
-        packageAlias: PackageAliasEntity;
+        packageAlias: e.PackageAliasEntity;
     } | undefined;
     checkExpressionDenotesMethod(expression: tree.Expression): ExpressionDenotesMethodCheckResult | undefined;
     checkExpressionDenotesOperator(expression: tree.Expression): ExpressionDenotesOperatorCheckResult | undefined;
@@ -157,15 +156,15 @@ export declare class Analyzer {
     } | undefined;
     checkMethodBodyUsesYieldStatement(node: tree.StatementBlock): boolean;
     enumerateAspects(type: types.Type): Iterable<types.StructuredType>;
-    checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: StructuredTypeEntity): boolean;
+    checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: e.StructuredTypeEntity): boolean;
     resolvePrefixUnaryExpressionUserDefinableOperator(node: tree.PrefixUnaryExpression): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     resolveBinaryExpressionUserDefinableOperator(node: tree.BinaryExpression, operatorKind: BinaryOperatorKind): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     resolveCompoundAssignmentStatementOperator(node: tree.AssignmentStatement, operatorKind: BinaryOperatorKind): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     classifyBinaryExpressionOperator(operator: tree.BinaryExpressionOperator): BinaryExpressionOperatorClassificationResult;
     getBinaryOperatorKindIfCompoundAssignmentOperator(operator: tree.AssignmentStatementOperator): BinaryOperatorKind | undefined;
-    getPackageEntities(): readonly PackageEntity[];
-    getPackageEntity(name: PackageName): PackageEntity | undefined;
-    createMethodTypeInvokeMethod(entity: MethodTypeEntity): TypeMethodEntity;
+    getPackageEntities(): readonly e.PackageEntity[];
+    getPackageEntity(name: PackageName): e.PackageEntity | undefined;
+    createMethodTypeInvokeMethod(entity: e.MethodTypeEntity): e.TypeMethodEntity;
     /**
      * Преобразует тип таким образом, чтобы он не мог содержать значение `пусто`.
      * После преобразования метод `canTypeBeNone` вернёт `true` для полученного типа.
@@ -203,34 +202,34 @@ export declare class Analyzer {
      * - Т: Объект?    -> нет, поскольку в качестве конкретного типа, заменяющего параметр, может быть использован тип, исключающий `пусто`.
      */
     isNoneAssignableToType(type: types.Type): boolean;
-    isMethodValueParameterVariadic(entity: VariableEntity): boolean;
+    isMethodValueParameterVariadic(entity: e.VariableEntity): boolean;
     getDefaultTypeParameterConstraint(): types.Type;
-    getOriginalSignatureTypeOfMethodEntity(entity: MethodEntity): types.MethodType;
-    getMethodBlockLiteralValueParameters(node: tree.MethodBlockLiteral): readonly VariableEntity[];
-    getExtendedType(node: tree.TypeExtensionDeclaration): WithDiagnostics<NamedTypeEntity>;
+    getOriginalSignatureTypeOfMethodEntity(entity: e.MethodEntity): types.MethodType;
+    getMethodBlockLiteralValueParameters(node: tree.MethodBlockLiteral): readonly e.VariableEntity[];
+    getExtendedType(node: tree.TypeExtensionDeclaration): WithDiagnostics<e.NamedTypeEntity>;
     getAnalyzedTranslationPackageIfTargetResolved(package_: project.TranslationPackage): AnalyzedTranslationPackage | undefined;
-    getAnalyzedTranslationPackageForPackage(entity: PackageEntity, locale: PackageLocale): AnalyzedTranslationPackage | undefined;
+    getAnalyzedTranslationPackageForPackage(entity: e.PackageEntity, locale: PackageLocale): AnalyzedTranslationPackage | undefined;
     enumerateAnalyzedTranslationPackages(): Iterable<AnalyzedTranslationPackage>;
     getCommonObjectAndAspectTypesOfUnion(_unionType: types.UnionType): readonly types.StructuredType[];
-    getLinkedMultiPlatformPackagesByPlatform(entity: PackageEntity): ReadonlyMap<PlatformKind, LinkedMultiPlatformPackage> | undefined;
-    getLinkedMultiPlatformPackage(entity: PackageEntity, platform: PlatformKind): LinkedMultiPlatformPackage | undefined;
+    getLinkedMultiPlatformPackagesByPlatform(entity: e.PackageEntity): ReadonlyMap<PlatformKind, LinkedMultiPlatformPackage> | undefined;
+    getLinkedMultiPlatformPackage(entity: e.PackageEntity, platform: PlatformKind): LinkedMultiPlatformPackage | undefined;
     createPackageMembers(pkg: SourcePackage): packageMembers.OriginalPackageMembers;
-    instantiateType(entity: entities.TypeEntity, typeArguments?: readonly types.Type[]): types.Type;
-    instantiateTypeByIdentitySubstitution(entity: entities.TypeEntity): types.Type;
-    createPackageMemberHiding(node: tree.PackageMemberDeclaration): entities.EntityHidingLevel | undefined;
-    createTypeMemberHiding(node: tree.TypeMemberDeclaration): entities.EntityHidingLevel | undefined;
+    instantiateType(entity: e.TypeEntity, typeArguments?: readonly types.Type[]): types.Type;
+    instantiateTypeByIdentitySubstitution(entity: e.TypeEntity): types.Type;
+    createPackageMemberHiding(node: tree.PackageMemberDeclaration): e.EntityHidingLevel | undefined;
+    createTypeMemberHiding(node: tree.TypeMemberDeclaration): e.EntityHidingLevel | undefined;
     getDeclarationsUsageCount(sourceFile: tree.SourceFile, cancellationToken: CancellationToken | undefined): Promise<DeclarationsUsageCountResult>;
     isExpressionImplicitlyReturnedFromSubprogram(node: tree.ExpressionStatement): boolean;
-    createBackingPackageVariables(declaredVariables: readonly PackageVariableEntity[], pkg: PackageEntity): PackageVariableEntity[];
-    createBackingTypeVariables(declaredVariables: readonly TypeVariableEntity[], type: TypeEntity): TypeVariableEntity[];
+    createBackingPackageVariables(declaredMembers: readonly (e.NamedPackageMemberEntity | e.PackageAliasEntity)[], pkg: e.PackageEntity): e.PackageVariableEntity[];
+    createBackingTypeVariables(declaredMembers: readonly NamedTypeMemberEntity[], type: e.TypeEntity): e.TypeVariableEntity[];
     createNodeDiagnostic(code: DiagnosticCode, node: tree.Node, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): Diagnostic;
     createSourceFileRangeDiagnostic(code: DiagnosticCode, range: Range, nodeOrSourceFile: tree.Node | project.SourceFile, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): Diagnostic;
     createDiagnostic(code: DiagnosticCode, location: DiagnosticLocation | undefined, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): Diagnostic;
     createNodeDiagnosticLocation(node: tree.Node): DiagnosticLocation;
     getDeclaredTypeMemberEntities(node: tree.TypeMemberDeclarationBlock): DeclaredTypeMemberEntities;
-    getRedefinableMethodOfOriginalTypeForRedefinableMethodOfAliasType(entity: TypeMethodEntity): TypeMethodEntity | undefined;
+    getRedefinableMethodOfOriginalTypeForRedefinableMethodOfAliasType(entity: e.TypeMethodEntity): e.TypeMethodEntity | undefined;
     checkBodyOfRedefinableAliasTypeMethod(node: tree.TypeMethodDeclaration, diagnostics?: DiagnosticAcceptor): {
-        redefinableMethodOfOriginalType: TypeMethodEntity;
+        redefinableMethodOfOriginalType: e.TypeMethodEntity;
     } | undefined;
     private createTsInterop;
 }
@@ -344,48 +343,48 @@ declare class Entity {
     private readonly _typeExtensionEntities;
     private readonly _packageAliasEntities;
     constructor(_analyzer: Analyzer);
-    ofPackage(pkg: SourcePackage): PackageEntity;
-    ofPackageVariableDeclaration(node: tree.PackageVariableDeclaration): entities.PackageVariableEntity;
-    ofComputedPackageVariableDeclaration(node: PackageVariableAccessorDeclaration): entities.PackageVariableEntity;
-    ofTypeVariableDeclaration(node: tree.TypeVariableDeclaration): entities.TypeVariableEntity;
-    ofComputedTypeVariableDeclaration(node: TypeVariableAccessorDeclaration): entities.TypeVariableEntity;
-    ofLocalVariableDeclaration(node: tree.LocalVariableDeclaration): entities.LocalVariableEntity;
-    ofEnumerationVariableDeclaration(node: tree.EnumerationVariableDeclaration): entities.LocalVariableEntity;
-    ofErrorVariableDeclaration(node: tree.ErrorVariableDeclaration): entities.LocalVariableEntity;
-    ofParameterDeclaration(node: tree.ParameterDeclaration): entities.ParameterVariableEntity;
-    ofSetterParameterDeclaration(node: tree.SetterParameterDeclaration): entities.ParameterVariableEntity;
-    ofTypeParameterDeclaration(node: tree.TypeParameterDeclaration): TypeParameterEntity;
-    ofTypeIndexerDeclaration(node: TypeIndexedAccessorDeclaration): entities.SourceIndexerEntity;
-    ofTypeDereferenceOperatorDeclaration(node: TypeDereferencedVariableAccessorDeclaration): entities.DereferenceOperatorEntity;
-    ofPackageStructuredTypeDeclaration(node: tree.PackageStructuredTypeDeclaration): PackageStructuredTypeEntity;
-    ofAnonymousStructuredTypeDeclaration(node: tree.AnonymousStructuredTypeDeclaration): AnonymousStructuredTypeEntity;
-    ofStructuredTypeDeclaration(node: StructuredTypeDeclaration): StructuredTypeEntity;
-    ofPackageMethodTypeDeclaration(node: tree.PackageMethodTypeDeclaration): PackageMethodTypeEntity;
-    ofAnonymousMethodTypeDeclaration(node: tree.AnonymousMethodTypeDeclaration): AnonymousMethodTypeEntity;
-    ofMethodTypeDeclaration(node: MethodTypeDeclaration): MethodTypeEntity;
-    ofPackageVariantTypeDeclaration(node: tree.PackageVariantTypeDeclaration): PackageVariantTypeEntity;
-    ofAnonymousVariantTypeDeclaration(node: tree.AnonymousVariantTypeDeclaration): AnonymousVariantTypeEntity;
-    ofVariantTypeDeclaration(node: VariantTypeDeclaration): VariantTypeEntity;
-    ofPackageAliasTypeDeclaration(node: tree.PackageAliasTypeDeclaration): AliasTypeEntity;
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): PackageMethodEntity;
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): TypeMethodEntity;
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): NestedMethodEntity;
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): OperatorEntity;
-    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): GetterEntity;
-    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): GetterEntity;
-    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): GetterEntity;
-    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): GetterEntity;
-    ofGetterDeclaration(node: GetterDeclaration): GetterEntity;
-    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): SetterEntity;
-    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): SetterEntity;
-    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): SetterEntity;
-    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): SetterEntity;
-    ofSetterDeclaration(node: SetterDeclaration): SetterEntity;
-    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): ConstructorEntity;
-    ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): DestructorEntity;
-    ofVariantDeclaration(node: tree.VariantDeclaration): VariantEntity;
-    ofTypeExtensionDeclaration(node: tree.TypeExtensionDeclaration): TypeExtensionEntity;
-    ofPackageImport(node: tree.PackageImport): PackageAliasEntity;
+    ofPackage(pkg: SourcePackage): e.PackageEntity;
+    ofPackageVariableDeclaration(node: tree.PackageVariableDeclaration): e.PackageVariableEntity;
+    ofComputedPackageVariableDeclaration(node: PackageVariableAccessorDeclaration): e.PackageVariableEntity;
+    ofTypeVariableDeclaration(node: tree.TypeVariableDeclaration): e.TypeVariableEntity;
+    ofComputedTypeVariableDeclaration(node: TypeVariableAccessorDeclaration): e.TypeVariableEntity;
+    ofLocalVariableDeclaration(node: tree.LocalVariableDeclaration): e.LocalVariableEntity;
+    ofEnumerationVariableDeclaration(node: tree.EnumerationVariableDeclaration): e.LocalVariableEntity;
+    ofErrorVariableDeclaration(node: tree.ErrorVariableDeclaration): e.LocalVariableEntity;
+    ofParameterDeclaration(node: tree.ParameterDeclaration): e.ParameterVariableEntity;
+    ofSetterParameterDeclaration(node: tree.SetterParameterDeclaration): e.ParameterVariableEntity;
+    ofTypeParameterDeclaration(node: tree.TypeParameterDeclaration): e.TypeParameterEntity;
+    ofTypeIndexerDeclaration(node: TypeIndexedAccessorDeclaration): e.SourceIndexerEntity;
+    ofTypeDereferenceOperatorDeclaration(node: TypeDereferencedVariableAccessorDeclaration): e.DereferenceOperatorEntity;
+    ofPackageStructuredTypeDeclaration(node: tree.PackageStructuredTypeDeclaration): e.PackageStructuredTypeEntity;
+    ofAnonymousStructuredTypeDeclaration(node: tree.AnonymousStructuredTypeDeclaration): e.AnonymousStructuredTypeEntity;
+    ofStructuredTypeDeclaration(node: StructuredTypeDeclaration): e.StructuredTypeEntity;
+    ofPackageMethodTypeDeclaration(node: tree.PackageMethodTypeDeclaration): e.PackageMethodTypeEntity;
+    ofAnonymousMethodTypeDeclaration(node: tree.AnonymousMethodTypeDeclaration): e.AnonymousMethodTypeEntity;
+    ofMethodTypeDeclaration(node: MethodTypeDeclaration): e.MethodTypeEntity;
+    ofPackageVariantTypeDeclaration(node: tree.PackageVariantTypeDeclaration): e.PackageVariantTypeEntity;
+    ofAnonymousVariantTypeDeclaration(node: tree.AnonymousVariantTypeDeclaration): e.AnonymousVariantTypeEntity;
+    ofVariantTypeDeclaration(node: VariantTypeDeclaration): e.VariantTypeEntity;
+    ofPackageAliasTypeDeclaration(node: tree.PackageAliasTypeDeclaration): e.AliasTypeEntity;
+    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): e.PackageMethodEntity;
+    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): e.TypeMethodEntity;
+    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): e.NestedMethodEntity;
+    ofOperatorDeclaration(node: tree.OperatorDeclaration): e.OperatorEntity;
+    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): e.GetterEntity;
+    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): e.GetterEntity;
+    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): e.GetterEntity;
+    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): e.GetterEntity;
+    ofGetterDeclaration(node: GetterDeclaration): e.GetterEntity;
+    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): e.SetterEntity;
+    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): e.SetterEntity;
+    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): e.SetterEntity;
+    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): e.SetterEntity;
+    ofSetterDeclaration(node: SetterDeclaration): e.SetterEntity;
+    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): e.ConstructorEntity;
+    ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): e.DestructorEntity;
+    ofVariantDeclaration(node: tree.VariantDeclaration): e.VariantEntity;
+    ofTypeExtensionDeclaration(node: tree.TypeExtensionDeclaration): e.TypeExtensionEntity;
+    ofPackageImport(node: tree.PackageImport): e.PackageAliasEntity;
     private getContainingPackageLoadedFromDts;
     private createComputedTypeVariableEntities;
     private createTypeDereferenceOperatorEntities;
@@ -396,16 +395,16 @@ declare class ResultLocalVariableEntity {
     private readonly _analyzer;
     private readonly _entities;
     constructor(_analyzer: Analyzer);
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): LocalVariableEntity;
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): LocalVariableEntity;
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): LocalVariableEntity;
-    ofMethodLiteral(node: tree.MethodLiteral): LocalVariableEntity;
-    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): LocalVariableEntity;
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): LocalVariableEntity;
-    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): LocalVariableEntity;
-    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): LocalVariableEntity;
-    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): LocalVariableEntity;
-    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): LocalVariableEntity;
+    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): e.LocalVariableEntity;
+    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): e.LocalVariableEntity;
+    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): e.LocalVariableEntity;
+    ofMethodLiteral(node: tree.MethodLiteral): e.LocalVariableEntity;
+    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): e.LocalVariableEntity;
+    ofOperatorDeclaration(node: tree.OperatorDeclaration): e.LocalVariableEntity;
+    ofPackageVariableGetterDeclaration(node: tree.PackageVariableGetterDeclaration): e.LocalVariableEntity;
+    ofTypeVariableGetterDeclaration(node: tree.TypeVariableGetterDeclaration): e.LocalVariableEntity;
+    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): e.LocalVariableEntity;
+    ofTypeDereferencedVariableGetterDeclaration(node: tree.TypeDereferencedVariableGetterDeclaration): e.LocalVariableEntity;
     private createResultLocalVariableEntity;
 }
 declare class ParamLocalVariableEntity {
@@ -413,18 +412,18 @@ declare class ParamLocalVariableEntity {
     private readonly _optionalEntities;
     private readonly _entities;
     constructor(_analyzer: Analyzer);
-    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): VariableEntity;
-    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): VariableEntity;
-    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): VariableEntity;
-    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): VariableEntity;
-    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): VariableEntity;
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): VariableEntity | undefined;
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): VariableEntity | undefined;
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): VariableEntity | undefined;
-    ofMethodLiteral(node: tree.MethodLiteral): VariableEntity | undefined;
-    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): VariableEntity | undefined;
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): VariableEntity | undefined;
-    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): VariableEntity | undefined;
+    ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration): e.VariableEntity;
+    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): e.VariableEntity;
+    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): e.VariableEntity;
+    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): e.VariableEntity;
+    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): e.VariableEntity;
+    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): e.VariableEntity | undefined;
+    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): e.VariableEntity | undefined;
+    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): e.VariableEntity | undefined;
+    ofMethodLiteral(node: tree.MethodLiteral): e.VariableEntity | undefined;
+    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): e.VariableEntity | undefined;
+    ofOperatorDeclaration(node: tree.OperatorDeclaration): e.VariableEntity | undefined;
+    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): e.VariableEntity | undefined;
     private createParamLocalVariableEntity;
     private createAccessorParamLocalVariableEntity;
 }
@@ -432,22 +431,22 @@ declare class ValueLocalVariableEntity {
     private readonly _analyzer;
     private readonly _entities;
     constructor(_analyzer: Analyzer);
-    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): VariableEntity | undefined;
-    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): VariableEntity | undefined;
-    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): VariableEntity | undefined;
-    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): VariableEntity | undefined;
+    ofPackageVariableSetterDeclaration(node: tree.PackageVariableSetterDeclaration): e.VariableEntity | undefined;
+    ofTypeVariableSetterDeclaration(node: tree.TypeVariableSetterDeclaration): e.VariableEntity | undefined;
+    ofTypeIndexedSetterDeclaration(node: tree.TypeIndexedSetterDeclaration): e.VariableEntity | undefined;
+    ofTypeDereferencedVariableSetterDeclaration(node: tree.TypeDereferencedVariableSetterDeclaration): e.VariableEntity | undefined;
 }
 declare class DestructuredParameterLocalVariableEntities {
     private readonly _analyzer;
     private readonly _entities;
     constructor(_analyzer: Analyzer);
-    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): readonly VariableEntity[];
-    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): readonly VariableEntity[];
-    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): readonly VariableEntity[];
-    ofOperatorDeclaration(node: tree.OperatorDeclaration): readonly VariableEntity[];
-    ofMethodLiteral(node: tree.MethodLiteral): readonly VariableEntity[];
-    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): readonly VariableEntity[];
-    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): readonly VariableEntity[];
+    ofMethodBlockLiteral(node: tree.MethodBlockLiteral): readonly e.VariableEntity[];
+    ofPackageMethodDeclaration(node: tree.PackageMethodDeclaration): readonly e.VariableEntity[];
+    ofTypeMethodDeclaration(node: tree.TypeMethodDeclaration): readonly e.VariableEntity[];
+    ofOperatorDeclaration(node: tree.OperatorDeclaration): readonly e.VariableEntity[];
+    ofMethodLiteral(node: tree.MethodLiteral): readonly e.VariableEntity[];
+    ofNestedMethodDeclaration(node: tree.NestedMethodDeclaration): readonly e.VariableEntity[];
+    ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): readonly e.VariableEntity[];
     private createVariableEntitiesBasedOnValueParameters;
 }
 declare class Scope {
@@ -510,7 +509,7 @@ declare class DefaultConstructors {
     private readonly _analyzer;
     private readonly _defaultConstructorEntities;
     constructor(_analyzer: Analyzer);
-    ofStructuredType(type: StructuredTypeDeclaration): readonly ConstructorEntity[];
+    ofStructuredType(type: StructuredTypeDeclaration): readonly e.ConstructorEntity[];
     private createDefaultConstructors;
     private getPublicInstanceStoredVariables;
 }
@@ -518,16 +517,24 @@ declare class OverriddenMember {
     private readonly _analyzer;
     constructor(_analyzer: Analyzer);
     getOverriddenVariable(node: tree.TypeVariableDeclaration | TypeVariableAccessorDeclaration): types.Variable | undefined;
-    getTheMostBaseOverriddenVariable(variable: entities.TypeVariableEntity): types.Variable | undefined;
     getOverriddenMethod(node: tree.TypeMethodDeclaration): types.Method | undefined;
-    getTheMostBaseOverriddenMethod(method: TypeMethodEntity): types.Method | undefined;
     getOverriddenOperator(node: tree.OperatorDeclaration): types.Operator | undefined;
+    getOverriddenIndexer(node: TypeIndexedAccessorDeclaration): types.Indexer | undefined;
+    getOverriddenDereferenceOperator(node: TypeDereferencedVariableAccessorDeclaration): types.DereferenceOperator | undefined;
     private findOverriddenVariableInType;
     private findOverriddenMethodInType;
     private findOverriddenOperatorInType;
+    private findOverriddenIndexerInType;
+    private findOverriddenDereferenceOperatorInType;
     private checkVariableOverridesVariable;
     private checkMethodOverridesMethod;
     private checkOperatorOverridesOperator;
+    private checkIndexerOverridesIndexer;
+    private checkDereferenceOperatorOverridesDereferenceOperator;
+    private enumerateTypeMemberLookupsForOverriddenMember;
+    private enumerateTypesForOverriddenMemberLookup;
+    private entityCanOverride;
+    private entityCanBeOverridden;
 }
 declare class Tags {
     readonly _analyzer: Analyzer;
@@ -540,36 +547,36 @@ declare class Tags {
 declare class LinkedEntity {
     private readonly _analyzer;
     constructor(_analyzer: Analyzer);
-    entityCanBeLinked(entity: entities.Entity): boolean;
-    ofType(entity: TypeEntity, platform: PlatformKind): TypeEntity | undefined;
-    ofTypeWithMembers(entity: entities.TypeEntityWithMembers, platform: PlatformKind): entities.TypeEntityWithMembers | undefined;
-    ofParameterType(entity: TypeParameterEntity, platform: PlatformKind): TypeParameterEntity | undefined;
-    ofPackageVariable(entity: PackageVariableEntity, platform: PlatformKind): PackageVariableEntity | undefined;
-    ofPackageMethod(entity: PackageMethodEntity, platform: PlatformKind): PackageMethodEntity | undefined;
-    ofTypeVariable(entity: entities.TypeVariableEntity, platform: PlatformKind): entities.TypeVariableEntity | undefined;
-    ofTypeMethod(entity: entities.TypeMethodEntity, platform: PlatformKind): entities.TypeMethodEntity | undefined;
-    ofOperator(entity: entities.OperatorEntity, platform: PlatformKind): entities.OperatorEntity | undefined;
-    ofConstructor(entity: entities.ConstructorEntity, platform: PlatformKind): entities.ConstructorEntity | undefined;
-    ofIndexer(entity: entities.IndexerEntity, platform: PlatformKind): entities.IndexerEntity | undefined;
-    ofDereferenceOperator(entity: entities.DereferenceOperatorEntity, platform: PlatformKind): entities.DereferenceOperatorEntity | undefined;
-    ofVariant(entity: VariantEntity, platform: PlatformKind): VariantEntity | undefined;
-    ofGetter(entity: entities.GetterEntity, platform: PlatformKind): entities.GetterEntity | undefined;
-    ofSetter(entity: entities.SetterEntity, platform: PlatformKind): entities.SetterEntity | undefined;
+    entityCanBeLinked(entity: e.Entity): boolean;
+    ofType(entity: e.TypeEntity, platform: PlatformKind): e.TypeEntity | undefined;
+    ofTypeWithMembers(entity: e.TypeEntityWithMembers, platform: PlatformKind): e.TypeEntityWithMembers | undefined;
+    ofParameterType(entity: e.TypeParameterEntity, platform: PlatformKind): e.TypeParameterEntity | undefined;
+    ofPackageVariable(entity: e.PackageVariableEntity, platform: PlatformKind): e.PackageVariableEntity | undefined;
+    ofPackageMethod(entity: e.PackageMethodEntity, platform: PlatformKind): e.PackageMethodEntity | undefined;
+    ofTypeVariable(entity: e.TypeVariableEntity, platform: PlatformKind): e.TypeVariableEntity | undefined;
+    ofTypeMethod(entity: e.TypeMethodEntity, platform: PlatformKind): e.TypeMethodEntity | undefined;
+    ofOperator(entity: e.OperatorEntity, platform: PlatformKind): e.OperatorEntity | undefined;
+    ofConstructor(entity: e.ConstructorEntity, platform: PlatformKind): e.ConstructorEntity | undefined;
+    ofIndexer(entity: e.IndexerEntity, platform: PlatformKind): e.IndexerEntity | undefined;
+    ofDereferenceOperator(entity: e.DereferenceOperatorEntity, platform: PlatformKind): e.DereferenceOperatorEntity | undefined;
+    ofVariant(entity: e.VariantEntity, platform: PlatformKind): e.VariantEntity | undefined;
+    ofGetter(entity: e.GetterEntity, platform: PlatformKind): e.GetterEntity | undefined;
+    ofSetter(entity: e.SetterEntity, platform: PlatformKind): e.SetterEntity | undefined;
 }
 export declare class LinkedMultiPlatformPackage {
     readonly analyzer: Analyzer;
-    readonly pkg: PackageEntity;
-    readonly implementationPackage: PackageEntity;
+    readonly pkg: e.PackageEntity;
+    readonly implementationPackage: e.PackageEntity;
     readonly targetPlatform: PlatformKind;
     private readonly _memberLookup;
     private readonly _linkedTypesWithMembers;
     private readonly _linkedParameterTypes;
     private get memberLookup();
-    constructor(analyzer: Analyzer, pkg: PackageEntity, implementationPackage: PackageEntity, targetPlatform: PlatformKind);
-    getLinkedVariable(entity: PackageVariableEntity): PackageVariableEntity | undefined;
-    getLinkedMethod(entity: PackageMethodEntity): PackageMethodEntity | undefined;
-    getLinkedTypeWithMembers(entity: entities.TypeEntityWithMembers): LinkedTypeWithMembers | undefined;
-    getLinkedParameterType(entity: TypeParameterEntity): TypeParameterEntity | undefined;
+    constructor(analyzer: Analyzer, pkg: e.PackageEntity, implementationPackage: e.PackageEntity, targetPlatform: PlatformKind);
+    getLinkedVariable(entity: e.PackageVariableEntity): e.PackageVariableEntity | undefined;
+    getLinkedMethod(entity: e.PackageMethodEntity): e.PackageMethodEntity | undefined;
+    getLinkedTypeWithMembers(entity: e.TypeEntityWithMembers): LinkedTypeWithMembers | undefined;
+    getLinkedParameterType(entity: e.TypeParameterEntity): e.TypeParameterEntity | undefined;
     /**
      * Используется для сравнения типов при связывании объявления из многоплатформенного пакета с объявлением из
      * реализационного пакета. В частности, при сравнении типов параметров для выбора правильной перегрузки
@@ -581,21 +588,21 @@ export declare class LinkedMultiPlatformPackage {
 }
 export declare class LinkedTypeWithMembers {
     readonly analyzer: Analyzer;
-    readonly externalType: entities.TypeEntityWithMembers;
-    readonly targetType: entities.TypeEntityWithMembers;
+    readonly externalType: e.TypeEntityWithMembers;
+    readonly targetType: e.TypeEntityWithMembers;
     readonly linkedPackage: LinkedMultiPlatformPackage;
     private readonly _memberLookup;
     private readonly _variantLookup;
     private get memberLookup();
     private get variantLookup();
-    constructor(analyzer: Analyzer, externalType: entities.TypeEntityWithMembers, targetType: entities.TypeEntityWithMembers, linkedPackage: LinkedMultiPlatformPackage);
-    getLinkedVariable(entity: entities.TypeVariableEntity): entities.TypeVariableEntity | undefined;
-    getLinkedMethod(entity: entities.TypeMethodEntity): entities.TypeMethodEntity | undefined;
-    getLinkedOperator(entity: entities.OperatorEntity): entities.OperatorEntity | undefined;
-    getLinkedConstructor(entity: entities.ConstructorEntity): entities.ConstructorEntity | undefined;
-    getLinkedIndexer(entity: entities.IndexerEntity): entities.IndexerEntity | undefined;
-    getLinkedDereferenceOperator(entity: entities.DereferenceOperatorEntity): entities.DereferenceOperatorEntity | undefined;
-    getLinkedVariant(entity: VariantEntity): VariantEntity | undefined;
+    constructor(analyzer: Analyzer, externalType: e.TypeEntityWithMembers, targetType: e.TypeEntityWithMembers, linkedPackage: LinkedMultiPlatformPackage);
+    getLinkedVariable(entity: e.TypeVariableEntity): e.TypeVariableEntity | undefined;
+    getLinkedMethod(entity: e.TypeMethodEntity): e.TypeMethodEntity | undefined;
+    getLinkedOperator(entity: e.OperatorEntity): e.OperatorEntity | undefined;
+    getLinkedConstructor(entity: e.ConstructorEntity): e.ConstructorEntity | undefined;
+    getLinkedIndexer(entity: e.IndexerEntity): e.IndexerEntity | undefined;
+    getLinkedDereferenceOperator(entity: e.DereferenceOperatorEntity): e.DereferenceOperatorEntity | undefined;
+    getLinkedVariant(entity: e.VariantEntity): e.VariantEntity | undefined;
 }
 declare class OwningPlainObjectModificationCheck {
     private _analyzer;
@@ -621,10 +628,10 @@ declare class PackageImports {
     private getAutomaticallyImportedPackages;
 }
 export declare class AnalyzedPackageImport {
-    readonly entity: PackageEntity | undefined;
+    readonly entity: e.PackageEntity | undefined;
     readonly translationPackage: AnalyzedTranslationPackage | undefined;
-    readonly isAliasedImport: PackageAliasEntity | undefined;
-    constructor(entity: PackageEntity | undefined, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: PackageAliasEntity | undefined);
+    readonly isAliasedImport: e.PackageAliasEntity | undefined;
+    constructor(entity: e.PackageEntity | undefined, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: e.PackageAliasEntity | undefined);
 }
 export declare class AnalyzedPackageImports {
     readonly packageImportInfos: Map<tree.PackageImport, AnalyzedPackageImport>;
@@ -632,10 +639,10 @@ export declare class AnalyzedPackageImports {
     constructor(packageImportInfos: Map<tree.PackageImport, AnalyzedPackageImport>, diagnostics: readonly Diagnostic[]);
 }
 export declare class PackageImportInfo {
-    readonly entity: PackageEntity;
+    readonly entity: e.PackageEntity;
     readonly translationPackage: AnalyzedTranslationPackage | undefined;
-    readonly isAliasedImport: PackageAliasEntity | undefined;
-    constructor(entity: PackageEntity, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: PackageAliasEntity | undefined);
+    readonly isAliasedImport: e.PackageAliasEntity | undefined;
+    constructor(entity: e.PackageEntity, translationPackage: AnalyzedTranslationPackage | undefined, isAliasedImport: e.PackageAliasEntity | undefined);
 }
 export declare class ExpressionDenotesMethodCheckResult {
     readonly candidates: readonly WithLocalization<AccessedMethod>[];
@@ -649,18 +656,15 @@ export declare class ExpressionDenotesOperatorCheckResult {
     get singleSuitableOperator(): WithLocalization<types.Operator> | undefined;
     constructor(candidates: readonly WithLocalization<types.Operator>[], suitableOperators: readonly WithLocalization<types.Operator>[]);
 }
-export declare class NonHiddenEntityHidingMatcher implements IEntityHidingMatcher {
-    matches(_hiding: entities.EntityHidingLevel): boolean;
-}
 type AvailablePackage = AvailablePackage.Original | AvailablePackage.Translated;
 declare namespace AvailablePackage {
     export class Original implements IAvailablePackage {
-        readonly value: PackageEntity;
+        readonly value: e.PackageEntity;
         readonly kind = "original";
-        constructor(value: PackageEntity);
+        constructor(value: e.PackageEntity);
         getImportName(): PackageName;
         getLocale(): PackageLocale;
-        getEntity(): PackageEntity;
+        getEntity(): e.PackageEntity;
         getTranslationPackage(): AnalyzedTranslationPackage | undefined;
     }
     export class Translated implements IAvailablePackage {
@@ -669,26 +673,26 @@ declare namespace AvailablePackage {
         constructor(value: AnalyzedTranslationPackage);
         getImportName(): PackageName;
         getLocale(): PackageLocale;
-        getEntity(): PackageEntity;
+        getEntity(): e.PackageEntity;
         getTranslationPackage(): AnalyzedTranslationPackage | undefined;
     }
     interface IAvailablePackage {
         getImportName(): PackageName;
         getLocale(): PackageLocale;
-        getEntity(): PackageEntity;
+        getEntity(): e.PackageEntity;
         getTranslationPackage(): AnalyzedTranslationPackage | undefined;
     }
     export {};
 }
 export declare class DeclaredTypeMemberEntities {
-    readonly variables: readonly TypeVariableEntity[];
-    readonly methods: readonly TypeMethodEntity[];
-    readonly operators: readonly OperatorEntity[];
-    readonly constructors: readonly ConstructorEntity[];
-    readonly destructors: readonly DestructorEntity[];
-    readonly indexers: readonly SourceIndexerEntity[];
-    readonly dereferenceOperators: readonly DereferenceOperatorEntity[];
+    readonly variables: readonly e.TypeVariableEntity[];
+    readonly methods: readonly e.TypeMethodEntity[];
+    readonly operators: readonly e.OperatorEntity[];
+    readonly constructors: readonly e.ConstructorEntity[];
+    readonly destructors: readonly e.DestructorEntity[];
+    readonly indexers: readonly e.SourceIndexerEntity[];
+    readonly dereferenceOperators: readonly e.DereferenceOperatorEntity[];
     get namedMembers(): NamedTypeMemberEntity[];
-    constructor(variables: readonly TypeVariableEntity[], methods: readonly TypeMethodEntity[], operators: readonly OperatorEntity[], constructors: readonly ConstructorEntity[], destructors: readonly DestructorEntity[], indexers: readonly SourceIndexerEntity[], dereferenceOperators: readonly DereferenceOperatorEntity[]);
+    constructor(variables: readonly e.TypeVariableEntity[], methods: readonly e.TypeMethodEntity[], operators: readonly e.OperatorEntity[], constructors: readonly e.ConstructorEntity[], destructors: readonly e.DestructorEntity[], indexers: readonly e.SourceIndexerEntity[], dereferenceOperators: readonly e.DereferenceOperatorEntity[]);
 }
 export {};

package/build/types/analysis/CallArgumentToParameterMatchResult.d.ts

@@ -1,6 +1,6 @@
 import { Diagnostic } from '../diagnostic/Diagnostic.js';
 import { VariableEntity } from '../entities/index.js';
-import { AutotypeCallExpression, CallArgument, CallExpression, Tag } from '../tree/index.js';
+import { AutotypeCallExpression, CallArgument, CallExpression, IndexedAccessExpression, Tag } from '../tree/index.js';
 import * as types from '../types/index.js';
 import { LocalizedName } from './Localization.js';
 import { Analyzer } from './index.js';
@@ -11,10 +11,9 @@ export declare class CallArgumentToParameterMatchResult {
     ofCallExpression(node: CallExpression): MatchResult | undefined;
     ofAutotypeCallExpression(node: AutotypeCallExpression): MatchResult | undefined;
     ofTag(node: Tag): MatchResult | undefined;
-    private convertSignatureWithParametersMatchResult;
+    ofIndexedAccessExpression(node: IndexedAccessExpression): MatchResult | undefined;
+    private convertMatchResult;
     private convertParameter;
-    private convertConstructorSignatureMatchResult;
-    private convertConstructorParameter;
 }
 export declare class MatchResult {
     readonly parameterByCallArgument: ReadonlyMap<CallArgument, MatchResultValueParameter>;

package/build/types/analysis/DiagnosticCollector.d.ts

@@ -27,6 +27,7 @@ export declare class DiagnosticCollector {
     private checkPackageMethodDeclaration;
     private checkPackageVariableGetterDeclaration;
     private checkPackageVariableSetterDeclaration;
+    private checkTypeConstructorDeclaration;
     private checkTypeMethodDeclaration;
     private checkOperatorDeclaration;
     private checkTypeVariableGetterDeclaration;

package/build/types/analysis/IndexedAccessExpressionMeaning.d.ts

@@ -1,8 +1,8 @@
+import { AccessKind } from '../common/index.js';
 import { Diagnostic } from '../diagnostic/Diagnostic.js';
 import { IndexedAccessExpression } from '../tree/index.js';
 import * as types from '../types/index.js';
 import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
-import * as indexedAccess from './IndexedAccess.js';
 import { Analyzer } from './index.js';
 export declare class Resolver {
     private readonly _analyzer;
@@ -10,20 +10,25 @@ export declare class Resolver {
     private readonly _semanticContext;
     private get semanticContext();
     constructor(_analyzer: Analyzer, _node: IndexedAccessExpression);
-    resolve(): Meaning;
+    resolve(): ResolutionResult;
     private getArgumentsRangeWithBrackets;
     private convertSyntacticAccessKind;
 }
+export declare class ResolutionResult {
+    readonly meaning: Meaning;
+    readonly diagnostic?: Diagnostic | undefined;
+    constructor(meaning: Meaning, diagnostic?: Diagnostic | undefined);
+}
 export type Meaning = Meaning_resolved | Meaning_unresolved;
 declare class Meaning_resolved {
-    readonly indexer: FoundAnonymousDeclaration<types.Indexer>;
-    readonly access: indexedAccess.IndexedAccess;
+    readonly candidates: readonly FoundAnonymousDeclaration<types.Indexer>[];
+    readonly suitableIndexers: readonly FoundAnonymousDeclaration<types.Indexer>[];
+    readonly accessKind: AccessKind;
     readonly kind = "resolved";
-    constructor(indexer: FoundAnonymousDeclaration<types.Indexer>, access: indexedAccess.IndexedAccess);
+    get singleSuitableIndexer(): FoundAnonymousDeclaration<types.Indexer> | undefined;
+    constructor(candidates: readonly FoundAnonymousDeclaration<types.Indexer>[], suitableIndexers: readonly FoundAnonymousDeclaration<types.Indexer>[], accessKind: AccessKind);
 }
 declare class Meaning_unresolved {
-    readonly diagnostic: Diagnostic | undefined;
     readonly kind = "unresolved";
-    constructor(diagnostic: Diagnostic | undefined);
 }
 export {};