@artel/artc 0.6.25282 → 0.6.25284

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

@@ -1,34 +1,33 @@
 import { Name, PackageLocale } from '../common/index.js';
-import { IEntityHidingMatcher, OperatorKind, TypeEntity, TypeExtensionEntity, TypeOrExtensionEntity } from '../entities/index.js';
+import { OperatorKind, PackageEntity, TypeEntity, TypeExtensionEntity, TypeOrExtensionEntity } from '../entities/index.js';
+import { SourceFile } from '../project/SourceFile.js';
 import * as types from '../types/index.js';
 import { Analyzer } from './Analyzer.js';
 import { SemanticContext } from './semantic-context/SemanticContext.js';
 export declare class TypeMemberLookup {
     private readonly analyzer;
     private readonly typeOrExtension;
-    private readonly contextLocale;
     private constructor();
-    static ofType(analyzer: Analyzer, type: types.Type, contextLocale: PackageLocale | undefined): TypeMemberLookup;
-    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, contextLocale: PackageLocale | undefined): TypeMemberLookup;
-    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity, contextLocale: PackageLocale | undefined): TypeMemberLookup;
-    static ofTypeOrExtension(analyzer: Analyzer, typeOrExtension: TypeOrExtension, contextLocale: PackageLocale | undefined): TypeMemberLookup;
-    getNamedMembers(options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.NamedTypeMember[];
-    getNamedMembersByName(name: Name, options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.NamedTypeMember[];
-    getOperators(options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.Operator[];
-    getOperatorsByKind(kind: OperatorKind, options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.Operator[];
-    getConstructors(hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.Constructor[];
-    getIndexers(options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.Indexer[];
-    getDereferenceOperators(options?: TypeMemberLookupOptions, hidingMatcher?: IEntityHidingMatcher, typeExtensionLookup?: SemanticContext): readonly types.DereferenceOperator[];
+    static ofType(analyzer: Analyzer, type: types.Type): TypeMemberLookup;
+    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity): TypeMemberLookup;
+    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity): TypeMemberLookup;
+    static ofTypeOrExtension(analyzer: Analyzer, typeOrExtension: TypeOrExtension): TypeMemberLookup;
+    getNamedMembers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.NamedTypeMember[];
+    getNamedMembersByName(name: Name, context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.NamedTypeMember[];
+    getOperators(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Operator[];
+    getOperatorsByKind(kind: OperatorKind, context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Operator[];
+    getConstructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Constructor[];
+    getIndexers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Indexer[];
+    getDereferenceOperators(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.DereferenceOperator[];
 }
 export declare class BoundTypeMemberLookup {
     private readonly lookup;
     private readonly options;
-    private readonly hidingMatcher;
-    private readonly typeExtensionLookup;
+    private readonly context;
     private constructor();
-    static ofType(analyzer: Analyzer, type: types.Type, contextLocale: PackageLocale | undefined, options: TypeMemberLookupOptions | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: SemanticContext | undefined): BoundTypeMemberLookup;
-    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, contextLocale: PackageLocale | undefined, options: TypeMemberLookupOptions | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: SemanticContext | undefined): BoundTypeMemberLookup;
-    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity, contextLocale: PackageLocale | undefined, options: TypeMemberLookupOptions | undefined, hidingMatcher: IEntityHidingMatcher | undefined, typeExtensionLookup: SemanticContext | undefined): BoundTypeMemberLookup;
+    static ofType(analyzer: Analyzer, type: types.Type, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookup;
+    static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookup;
+    static ofTypeExtension(analyzer: Analyzer, typeExtension: TypeExtensionEntity, context: TypeMemberLookupContext | undefined, options: TypeMemberLookupOptions): BoundTypeMemberLookup;
     getNamedMembers(): readonly types.NamedTypeMember[];
     getNamedMembersByName(name: Name): readonly types.NamedTypeMember[];
     getOperators(): readonly types.Operator[];
@@ -37,25 +36,40 @@ export declare class BoundTypeMemberLookup {
     getIndexers(): readonly types.Indexer[];
     getDereferenceOperators(): readonly types.DereferenceOperator[];
 }
+export declare class TypeMemberLookupContext {
+    readonly typeOrExtensionEntity: TypeOrExtensionEntity | undefined;
+    readonly sourceFile: SourceFile | undefined;
+    readonly packageEntity: PackageEntity | undefined;
+    readonly locale: PackageLocale | undefined;
+    readonly typeExtensionLookup: SemanticContext | undefined;
+    constructor(typeOrExtensionEntity: TypeOrExtensionEntity | undefined, sourceFile: SourceFile | undefined, packageEntity: PackageEntity | undefined, locale: PackageLocale | undefined, typeExtensionLookup: SemanticContext | undefined);
+    affectsAccessibility(): boolean;
+}
 export declare enum TypeMemberLookupOptions {
     None = 0,
     OnlyInstanceMembers = 1,
-    OnlyStaticMembers = 2
+    OnlyStaticMembers = 2,
+    NoTypeExtensionMembers = 4,
+    /**
+     * Смотрите метод {@link AccessibilityCheck.isTypeMemberAccessible}.
+     */
+    CheckAccessibilityIgnoringReceiverType = 8,
+    OnlyInstanceOrOnlyStaticMembers = 3
 }
 type TypeOrExtension = TypeOrExtension_type | TypeOrExtension_extension;
 declare class TypeOrExtension_type implements ITypeOrExtension {
     readonly value: types.Type;
     readonly kind = "type";
     constructor(value: types.Type);
-    getEntity(): TypeOrExtensionEntity | undefined;
+    getType(): types.Type | undefined;
 }
 declare class TypeOrExtension_extension implements ITypeOrExtension {
     readonly value: TypeExtensionEntity;
     readonly kind = "extension";
     constructor(value: TypeExtensionEntity);
-    getEntity(): TypeOrExtensionEntity | undefined;
+    getType(): types.Type | undefined;
 }
 interface ITypeOrExtension {
-    getEntity(): TypeOrExtensionEntity | undefined;
+    getType(): types.Type | undefined;
 }
 export {};

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

@@ -11,6 +11,8 @@ export declare function getParentGenericSpecializationExpression(expression: tre
 export declare function getGenericSpecializationExpressionOfCallee(callee: tree.Expression): tree.GenericSpecializationExpression | undefined;
 export declare function unaliasType(type: types.Type): types.Type;
 export declare function unaliasType(type: types.Type | undefined): types.Type | undefined;
+export declare function unaliasTypeAndGetReductionSource(type: types.Type): types.Type;
+export declare function unaliasTypeAndGetReductionSource(type: types.Type | undefined): types.Type | undefined;
 export declare function findTag(tagTypeEntity: TypeEntity, tags: readonly Tag[]): TagType | undefined;
 export declare function findTag(tagFunctionEntity: FunctionEntity, tags: readonly Tag[]): TagFunction | undefined;
 export declare function findTag(tagEntity: TypeEntity | FunctionEntity, tags: readonly Tag[]): TagType | TagFunction | undefined;

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

@@ -1,6 +1,6 @@
 import { PackageLocale } from '../common/PackageLocale.js';
 import { Diagnostic } from '../diagnostic/Diagnostic.js';
-import { AliasTypeEntity, MethodEntity, StructuredTypeEntity } from '../entities/index.js';
+import { AliasTypeEntity, MethodEntity, ReducedTypeEntity, StructuredTypeEntity } from '../entities/index.js';
 import { Analyzer } from './Analyzer.js';
 export declare class WellKnownDeclarationsLoadError extends Error {
     readonly diagnostic: Diagnostic;
@@ -20,17 +20,18 @@ export interface WellKnownDeclarations {
     readonly enumerator: StructuredTypeEntity;
     readonly enumeratorMethod: MethodEntity;
     readonly array: StructuredTypeEntity;
-    readonly readonlyArray: StructuredTypeEntity;
+    readonly readonlyArray: ReducedTypeEntity;
     readonly map: StructuredTypeEntity;
-    readonly readonlyMap: StructuredTypeEntity;
+    readonly readonlyMap: ReducedTypeEntity;
     readonly set: StructuredTypeEntity;
-    readonly readonlySet: StructuredTypeEntity;
+    readonly readonlySet: ReducedTypeEntity;
     readonly measure: StructuredTypeEntity;
     readonly reference: StructuredTypeEntity;
     readonly task: StructuredTypeEntity;
     readonly error: StructuredTypeEntity;
     readonly func: StructuredTypeEntity;
     readonly parameterArray: AliasTypeEntity;
+    readonly impossibleCase: StructuredTypeEntity;
     readonly defaultImport: StructuredTypeEntity;
     readonly realName: StructuredTypeEntity;
     readonly builtIntoPlatform: StructuredTypeEntity;
@@ -64,6 +65,7 @@ export declare class LocalizedWellKnownDeclarations implements WellKnownDeclarat
     private error_;
     private func_;
     private parameterArray_;
+    private impossibleCase_;
     private defaultImport_;
     private realName_;
     private builtIntoPlatform_;
@@ -83,23 +85,25 @@ export declare class LocalizedWellKnownDeclarations implements WellKnownDeclarat
     get enumerator(): StructuredTypeEntity;
     get enumeratorMethod(): MethodEntity;
     get array(): StructuredTypeEntity;
-    get readonlyArray(): StructuredTypeEntity;
+    get readonlyArray(): ReducedTypeEntity;
     get map(): StructuredTypeEntity;
-    get readonlyMap(): StructuredTypeEntity;
+    get readonlyMap(): ReducedTypeEntity;
     get set(): StructuredTypeEntity;
-    get readonlySet(): StructuredTypeEntity;
+    get readonlySet(): ReducedTypeEntity;
     get measure(): StructuredTypeEntity;
     get reference(): StructuredTypeEntity;
     get task(): StructuredTypeEntity;
     get error(): StructuredTypeEntity;
     get func(): StructuredTypeEntity;
     get parameterArray(): AliasTypeEntity;
+    get impossibleCase(): StructuredTypeEntity;
     get defaultImport(): StructuredTypeEntity;
     get realName(): StructuredTypeEntity;
     get builtIntoPlatform(): StructuredTypeEntity;
     get fieldProxy(): StructuredTypeEntity;
     get javaScriptDecorator(): StructuredTypeEntity;
     private getLocalizedStructuredType;
+    private getLocalizedReducedType;
     private getLocalizedAliasType;
     private getLocalizedMethod;
     private getLocalizationContext;

package/build/types/analysis/control-flow/GraphBuilder.d.ts

@@ -1,11 +1,13 @@
 import { Diagnostic } from '../../diagnostic/Diagnostic.js';
 import { SourceFile } from '../../project/SourceFile.js';
+import * as tree from '../../tree/index.js';
 import { SubprogramDeclarationOrLiteral } from '../NodeTypeUtils.js';
 import { NarrowableReferenceExpression } from './NarrowableExpression.js';
 import { Node } from './Nodes.js';
 export declare class GraphBuilder {
     private readonly sourceFile;
     private readonly controlFlowNodeByReference;
+    private readonly controlFlowNodesPrecedingErrorStatement;
     private readonly controlFlowNodesEndingSubprogram;
     private readonly unreachableCodeDiagnostics;
     private isInRebuildingFinallyClauseGraphMode;
@@ -41,7 +43,8 @@ export declare class GraphBuilder {
 }
 export declare class GraphBuildResult {
     readonly controlFlowNodeByReference: ReadonlyMap<NarrowableReferenceExpression, Node>;
+    readonly controlFlowNodesPrecedingErrorStatement: ReadonlyMap<tree.ErrorStatement, Node>;
     readonly controlFlowNodesEndingSubprogram: ReadonlyMap<SubprogramDeclarationOrLiteral, Node>;
     readonly unreachableCodeDiagnostics: readonly Diagnostic[];
-    constructor(controlFlowNodeByReference: ReadonlyMap<NarrowableReferenceExpression, Node>, controlFlowNodesEndingSubprogram: ReadonlyMap<SubprogramDeclarationOrLiteral, Node>, unreachableCodeDiagnostics: readonly Diagnostic[]);
+    constructor(controlFlowNodeByReference: ReadonlyMap<NarrowableReferenceExpression, Node>, controlFlowNodesPrecedingErrorStatement: ReadonlyMap<tree.ErrorStatement, Node>, controlFlowNodesEndingSubprogram: ReadonlyMap<SubprogramDeclarationOrLiteral, Node>, unreachableCodeDiagnostics: readonly Diagnostic[]);
 }

package/build/types/analysis/semantic-context/FieldWithInitializerSemanticContext.d.ts

@@ -1,7 +1,7 @@
 import { Name } from '../../common/index.js';
-import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
+import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 import { SemanticContextWithParent } from './SemanticContextWithParent.js';
@@ -14,8 +14,9 @@ export declare class FieldWithInitializerSemanticContext extends SemanticContext
     private readonly node;
     constructor(analyzer: Analyzer, node: tree.FieldDeclaration, outer: SemanticContextContainingTypeMember);
     isStatic(): boolean;
-    getOwnTypesOrContainersWithTypes(_hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnTypesOrContainersWithTypesByName(_name: Name, _hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(_name: Name, _noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
+    getTypeMemberLookupContext(): TypeMemberLookupContext;
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
 }

package/build/types/analysis/semantic-context/SemanticContextBase.d.ts

@@ -1,5 +1,4 @@
 import { Name } from '../../common/index.js';
-import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
 import { ConstructorEntity, OperatorKind, PackageEntity, TextTranslationEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity } from '../../entities/index.js';
 import { SourceFile } from '../../project/SourceFile.js';
 import * as tree from '../../tree/index.js';
@@ -7,7 +6,9 @@ import * as types from '../../types/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { DiagnosticArgumentFactory } from '../DiagnosticArgumentFactory.js';
 import { FunctionDeclaration, GetterDeclaration, RegularOrBlockFunctionLiteral, SetterDeclaration, SubprogramDeclarationOrLiteral } from '../NodeTypeUtils.js';
+import { PackageMemberLookupContext } from '../PackageMemberLookup.js';
 import { TextKey } from '../TextIdentity.js';
+import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 export declare abstract class SemanticContextBase {
@@ -15,21 +16,21 @@ export declare abstract class SemanticContextBase {
     protected static readonly emptyNamedDeclarations: readonly NamedDeclaration[];
     protected static readonly emptyOperators: readonly types.Operator[];
     protected static readonly emptyTypeExtensions: readonly TypeExtensionEntity[];
-    private hidingMatcher;
     abstract readonly outer: SemanticContext | undefined;
     protected abstract readonly asContext: SemanticContext;
     abstract getContainingSubprogram(): SubprogramInfo | undefined;
     abstract getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
     abstract getTryStatementContext(): TryStatementContextKind | undefined;
     abstract isStatic(): boolean;
-    abstract getOwnTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    abstract getOwnTypesOrContainersWithTypesByName(name: Name, hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    abstract getOwnNamedDeclarations(noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    abstract getOwnNamedDeclarationsByName(name: Name, noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
+    abstract getTypeMemberLookupContext(): TypeMemberLookupContext;
+    abstract getOwnTypesOrContainersWithTypes(initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    abstract getOwnTypesOrContainersWithTypesByName(name: Name, initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    abstract getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
+    abstract getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
     getContainingSourceFile(): SourceFile;
     getContainingPackage(): PackageEntity;
-    getHidingMatcher(): IEntityHidingMatcher;
     getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
+    getPackageMemberLookupContext(): PackageMemberLookupContext;
     getTypesOrContainersWithTypes(): readonly TypeOrContainerWithTypes[];
     getTypesOrContainersWithTypesByName(name: Name): readonly TypeOrContainerWithTypes[];
     getNamedDeclarations(noInstanceMembers?: boolean): readonly NamedDeclaration[];

package/build/types/analysis/semantic-context/SemanticContextValidatingNameConflicts.d.ts

@@ -1,6 +1,5 @@
 import { Name } from '../../common/index.js';
 import { DiagnosticAcceptor } from '../../diagnostic/Diagnostic.js';
-import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
 import { LocalVariableEntity, NestedFunctionEntity, ParameterEntity, TypeParameterEntity } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
@@ -28,10 +27,10 @@ export declare abstract class SemanticContextValidatingNameConflictsBase extends
     constructor(analyzer: Analyzer);
     protected abstract createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
     protected abstract createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
-    getOwnTypesOrContainersWithTypes(_hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnTypesOrContainersWithTypesByName(name: Name, _hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, _noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
     private getMemberEntityDictionary;
     private validateNestedFunctionsConflicts;

package/build/types/analysis/semantic-context/SemanticContextWithParent.d.ts

@@ -1,3 +1,4 @@
+import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { SemanticContext } from './SemanticContext.js';
 import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
 export declare abstract class SemanticContextWithParent extends SemanticContextBase {
@@ -6,4 +7,5 @@ export declare abstract class SemanticContextWithParent extends SemanticContextB
     getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
     getTryStatementContext(): TryStatementContextKind | undefined;
     isStatic(): boolean;
+    getTypeMemberLookupContext(): TypeMemberLookupContext;
 }

package/build/types/analysis/semantic-context/SourceFileSemanticContext.d.ts

@@ -1,12 +1,13 @@
 import { Name } from '../../common/index.js';
 import { DiagnosticAcceptor } from '../../diagnostic/Diagnostic.js';
-import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
 import { PackageEntity, TextTranslationEntity, TypeEntity, TypeExtensionEntity } from '../../entities/index.js';
 import { SourceFile } from '../../project/SourceFile.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { DiagnosticArgumentFactory } from '../DiagnosticArgumentFactory.js';
+import { PackageMemberLookupContext } from '../PackageMemberLookup.js';
 import { TextKey } from '../TextIdentity.js';
+import { TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
@@ -24,6 +25,8 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
     private readonly packageNameSegmentsByNameKey_;
     private readonly diagnosticArgumentFactory;
     private readonly primaryTextTranslationPackage_;
+    private readonly packageMemberLookupContext;
+    private readonly typeMemberLookupContext;
     private get packageAliasesByNameKey();
     private get packageNameSegmentsByNameKey();
     private get primaryTextTranslationPackage();
@@ -34,12 +37,14 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
     getPackage(): PackageEntity;
     getTryStatementContext(): TryStatementContextKind | undefined;
     isStatic(): boolean;
+    getPackageMemberLookupContext(): PackageMemberLookupContext;
+    getTypeMemberLookupContext(): TypeMemberLookupContext;
     getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
-    getOwnTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnTypesOrContainersWithTypesByName(name: Name, hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, _noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    getOwnTypeExtensionsByType(type: TypeEntity, hidingMatcher?: IEntityHidingMatcher): TypeExtensionEntity[];
+    getOwnTypesOrContainersWithTypes(initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(name: Name, initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnNamedDeclarations(initialContext: SemanticContext, _noInstanceMembers: boolean): NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnTypeExtensionsByType(type: TypeEntity, initialContext: SemanticContext): TypeExtensionEntity[];
     getTextTranslationEntityByTextKey(key: TextKey): readonly TextTranslationEntity[];
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
     private convertPackageMemberToNamedDeclaration;

package/build/types/analysis/semantic-context/SubprogramBodyAndParametersSemanticContext.d.ts

@@ -1,8 +1,8 @@
 import { DiagnosticAcceptor } from '../../diagnostic/Diagnostic.js';
 import { ParameterEntity } from '../../entities/index.js';
-import { ReservedIdentifierKind } from '../../parser/ReservedIdentifierDictionary.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
+import { ReservedNameKind } from '../ReservedNameDictionary.js';
 import { SemanticContext } from './SemanticContext.js';
 import { TryStatementContextKind } from './SemanticContextBase.js';
 import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
@@ -26,7 +26,7 @@ export declare abstract class SubprogramParameterListSemanticContext extends Sem
     constructor(analyzer: Analyzer, outer: SubprogramParameterListSemanticContextParent);
     protected abstract get isSetterParameterList(): boolean;
     protected abstract getParameterEntities(): readonly ParameterEntity[];
-    protected abstract getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
+    protected abstract getSpecialVariableKinds(): readonly ReservedNameKind[];
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
 }
 export declare class ExplicitSubprogramParameterListSemanticContext extends SubprogramParameterListSemanticContext {
@@ -35,7 +35,7 @@ export declare class ExplicitSubprogramParameterListSemanticContext extends Subp
     constructor(analyzer: Analyzer, node: tree.ParameterList, outer: SubprogramParameterListSemanticContextParent);
     protected get isSetterParameterList(): boolean;
     protected getParameterEntities(): readonly ParameterEntity[];
-    protected getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
+    protected getSpecialVariableKinds(): readonly ReservedNameKind[];
     protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
     protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
 }
@@ -45,7 +45,7 @@ export declare class FunctionBlockLiteralParameterListSemanticContext extends Su
     constructor(analyzer: Analyzer, node: tree.FunctionBlockLiteral, outer: SubprogramParameterListSemanticContextParent);
     protected get isSetterParameterList(): boolean;
     protected getParameterEntities(): readonly ParameterEntity[];
-    protected getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
+    protected getSpecialVariableKinds(): readonly ReservedNameKind[];
     protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
     protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
 }
@@ -55,7 +55,7 @@ export declare class TranslationTextTemplateParameterListSemanticContext extends
     constructor(analyzer: Analyzer, node: tree.TranslationTextTemplate, outer: SubprogramParameterListSemanticContextParent);
     protected get isSetterParameterList(): boolean;
     protected getParameterEntities(): readonly ParameterEntity[];
-    protected getSpecialVariableKinds(): readonly ReservedIdentifierKind[];
+    protected getSpecialVariableKinds(): readonly ReservedNameKind[];
     protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
     protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
 }

package/build/types/analysis/semantic-context/SubprogramSemanticContext.d.ts

@@ -1,5 +1,4 @@
 import { Name } from '../../common/index.js';
-import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { DereferencedVariableAccessorDeclaration, FieldAccessorDeclaration, FunctionDeclaration, IndexedElementAccessorDeclaration, PackageVariableAccessorDeclaration, RegularOrBlockFunctionLiteral } from '../NodeTypeUtils.js';
@@ -19,10 +18,10 @@ export declare abstract class OutermostSemanticContextOfSubprogram extends Seman
     readonly kind = "outermost-of-subprogram";
     abstract getContainingSubprogram(): SubprogramInfo;
     getTryStatementContext(): TryStatementContextKind | undefined;
-    getOwnTypesOrContainersWithTypes(_hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnTypesOrContainersWithTypesByName(_name: Name, _hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(_name: Name, _noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
 }
 export declare class FunctionSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContext;

package/build/types/analysis/semantic-context/TypeSemanticContext.d.ts

@@ -1,18 +1,17 @@
 import { Name } from '../../common/index.js';
-import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
 import { OperatorKind } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { FunctionTypeDeclaration, StructuredTypeDeclaration, VariantTypeDeclaration } from '../NodeTypeUtils.js';
-import { TypeMemberLookup } from '../TypeMemberLookup.js';
+import { TypeMemberLookup, TypeMemberLookupContext } from '../TypeMemberLookup.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 import { SubprogramInfo, TypeOrTypeExtension } from './SemanticContextBase.js';
 import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
 import { SemanticContextWithParent } from './SemanticContextWithParent.js';
 import { SourceFileSemanticContext } from './SourceFileSemanticContext.js';
-export type TypeDeclarationCreatingSemanticContext = StructuredTypeDeclaration | VariantTypeDeclaration | FunctionTypeDeclaration | tree.PackageAliasTypeDeclaration;
+export type TypeDeclarationCreatingSemanticContext = StructuredTypeDeclaration | VariantTypeDeclaration | FunctionTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.PackageReducedTypeDeclaration;
 /**
  * Завершающий семантический контекст типа.
  * Поскольку контекст с параметрами типа является опциональным, необходим
@@ -24,17 +23,19 @@ export declare class OutermostSemanticContextOfType extends SemanticContextWithP
     protected readonly asContext: SemanticContext;
     private readonly analyzer;
     private readonly node;
+    private readonly typeMemberLookupContext;
     constructor(analyzer: Analyzer, node: TypeDeclarationCreatingSemanticContext, outer: SemanticContext);
     getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
     getContainingSubprogram(): SubprogramInfo | undefined;
     isStatic(): boolean;
-    getOwnTypesOrContainersWithTypes(_hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnTypesOrContainersWithTypesByName(_name: Name, _hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(_name: Name, _noInstanceMembers?: boolean, _hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
+    getTypeMemberLookupContext(): TypeMemberLookupContext;
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
     private getContainingType;
 }
-type TypeDeclarationWithTypeParameters = tree.PackageStructuredTypeDeclaration | tree.PackageVariantTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.PackageFunctionTypeDeclaration;
+type TypeDeclarationWithTypeParameters = tree.PackageStructuredTypeDeclaration | tree.PackageVariantTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.PackageReducedTypeDeclaration | tree.PackageFunctionTypeDeclaration;
 export declare class TypeParametersOfTypeSemanticContext extends SemanticContextValidatingNameConflictsBase {
     readonly kind = "type-parameter-of-type";
     readonly outer: OutermostSemanticContextOfType;
@@ -47,15 +48,15 @@ export declare class TypeParametersOfTypeSemanticContext extends SemanticContext
 }
 declare abstract class TypeOrExtensionBodySemanticContext extends SemanticContextWithParent {
     protected abstract memberLookup: TypeMemberLookup;
-    getOwnTypesOrContainersWithTypes(_hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnTypesOrContainersWithTypesByName(_name: Name, _hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly NamedDeclaration[];
-    getOwnOperators(noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly types.Operator[];
-    getOwnOperatorsByKind(kind: OperatorKind, noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): readonly types.Operator[];
+    getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
+    getOwnNamedDeclarations(initialContext: SemanticContext, noInstanceMembers: boolean): NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, initialContext: SemanticContext, noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnOperators(initialContext: SemanticContext, noInstanceMembers?: boolean): readonly types.Operator[];
+    getOwnOperatorsByKind(kind: OperatorKind, initialContext: SemanticContext, noInstanceMembers?: boolean): readonly types.Operator[];
     private convertNamedMember;
 }
-export type TypeDeclarationWithMembersBody = tree.StructuredTypeDeclarationBody | tree.VariantTypeDeclarationBody | tree.AliasTypeDeclarationBody;
+export type TypeDeclarationWithMembersBody = tree.StructuredTypeDeclarationBody | tree.VariantTypeDeclarationBody | tree.AliasTypeDeclarationBody | tree.ReducedTypeDeclarationBody;
 export type SemanticContextContainingTypeMember = TypeBodySemanticContext | TypeExtensionBodySemanticContext;
 export type TypeBodySemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfType;
 export declare class TypeBodySemanticContext extends TypeOrExtensionBodySemanticContext {
@@ -76,9 +77,11 @@ export declare class TypeExtensionBodySemanticContext extends TypeOrExtensionBod
     private readonly analyzer;
     private readonly node;
     private readonly memberLookup_;
+    private readonly typeMemberLookupContext;
     protected get memberLookup(): TypeMemberLookup;
     constructor(analyzer: Analyzer, node: tree.TypeExtensionDeclaration, outer: SourceFileSemanticContext);
     getContainingTypeOrTypeExtension(): TypeOrTypeExtension | undefined;
+    getTypeMemberLookupContext(): TypeMemberLookupContext;
 }
 export type ParameterOfFunctionTypeSemanticContextParent = TypeParametersOfTypeSemanticContext | OutermostSemanticContextOfType;
 export declare class ParametersOfFunctionTypeSemanticContext extends SemanticContextValidatingNameConflictsBase {

package/build/types/api/Api.d.ts

@@ -14,6 +14,7 @@ export type { Meaning as MemberAccessExpressionMeaning } from '../analysis/Membe
 export * from '../analysis/NodeTypeUtils.js';
 export type { Meaning as ObjectExpressionMeaning } from '../analysis/ObjectExpressionMeaning.js';
 export * from '../analysis/PackageMemberLookup.js';
+export * from '../analysis/ReservedNameDictionary.js';
 export * as semanticContext from '../analysis/semantic-context/index.js';
 export * from '../analysis/SourceFileAnalyzer.js';
 export * from '../analysis/SourcePackageDependencyGraph.js';
@@ -36,7 +37,6 @@ export * from '../parser/CharacterCodes.js';
 export * from '../parser/KeywordDictionary.js';
 export * from '../parser/ParseNumber.js';
 export * from '../parser/Parser.js';
-export * from '../parser/ReservedIdentifierDictionary.js';
 export * from '../parser/Scanner.js';
 export { TokenKind as ScannerTokenKind } from '../parser/TokenKind.js';
 export * from '../parser/UnescapeText.js';

package/build/types/common/HelperPhrases.d.ts

@@ -10,6 +10,7 @@ export declare const enum HelperPhraseKind {
     Overloads = 7,
     EnumeratorMethodName = 8,
     InvokeMethodName = 9,
-    EmptyUnionType = 10
+    EmptyUnionType = 10,
+    Stub = 11
 }
 export declare function getHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;

package/build/types/common/LocalizationHelper.d.ts

@@ -1,13 +1,15 @@
+import { ReservedNameKind } from '../analysis/ReservedNameDictionary.js';
 import { OperatorKind } from '../entities/OperatorKind.js';
-import { ReservedIdentifierKind } from '../parser/ReservedIdentifierDictionary.js';
+import { Keyword } from '../parser/KeywordDictionary.js';
 import * as tree from '../tree/index.js';
 import { HelperPhraseKind } from './HelperPhrases.js';
 import { PackageDialect, PackageLocale } from './index.js';
 export declare class LocalizationHelper {
-    static localizeKeyword(kind: tree.KeywordKind, locale: PackageLocale, dialect?: PackageDialect): readonly string[];
-    static localizeKeywordAndTakeFirst(kind: tree.KeywordKind, locale: PackageLocale, dialect?: PackageDialect): string;
-    static localizeReservedIdentifier(kind: ReservedIdentifierKind, locale: PackageLocale): string;
+    static localizeKeyword(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): readonly Keyword[];
+    static localizeKeywordAndTakeFirst(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): string;
+    static localizeKeywordAndTakeBest(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect, preferredFlags?: tree.KeywordFlags): string;
+    static localizeReservedName(kind: ReservedNameKind, locale: PackageLocale): string;
     static localizeHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;
-    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect?: PackageDialect): string;
-    static localizeSyntacticalOperatorKind(kind: tree.OperatorKind, locale: PackageLocale, dialect?: PackageDialect): string;
+    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
+    static localizeSyntacticalOperatorKind(kind: tree.OperatorKind, locale: PackageLocale, dialect: PackageDialect): string;
 }

package/build/types/common/index.d.ts

@@ -11,7 +11,6 @@ export * from './FormatString.js';
 export * from './HelperPhrases.js';
 export * from './Interner.js';
 export * from './JavaScriptIdentifier.js';
-export * from './L10nConfig.js';
 export * from './Lazy.js';
 export * from './LocalizationHelper.js';
 export * from './Logger.js';