@artel/artc 0.6.25283 → 0.6.25284

package/build/types/emitter/EntityMap.d.ts

@@ -29,6 +29,7 @@ export declare class EntityMap {
     getTypeParameterEntity(entity: analyzerEntities.TypeParameterEntity): emitterEntities.TypeOrExtensionEntity;
     getFunctionTypeEntity(entity: analyzerEntities.FunctionTypeEntity): emitterEntities.TypeOrExtensionEntity;
     getAliasTypeEntity(entity: analyzerEntities.AliasTypeEntity): emitterEntities.TypeOrExtensionEntity;
+    getReducedTypeEntity(entity: analyzerEntities.ReducedTypeEntity): emitterEntities.TypeOrExtensionEntity;
     getTypeExtensionEntity(entity: analyzerEntities.TypeExtensionEntity): emitterEntities.TypeOrExtensionEntity;
     getTypeOrExtensionEntity(entity: analyzerEntities.TypeOrExtensionEntity): emitterEntities.TypeOrExtensionEntity;
     getPackageEntity(entity: analyzerEntities.PackageEntity): emitterEntities.PackageEntity;
@@ -37,6 +38,9 @@ export declare class EntityMap {
     private getPackageEntityInternal;
     private createTypeMembers;
     private getContainingPackageAndAccumulateIfMember;
+    private tryGetReductionSourceMemberGetter;
+    private tryGetReductionSourceMemberSetter;
+    private getReductionSourceMember;
     private getEntityNameText;
     private getNameText;
     private isDefaultExport;

package/build/types/emitter/IrBuilder.d.ts

@@ -34,6 +34,7 @@ export declare class IrBuilder {
     private buildPackageFunctionDeclaration;
     private buildPackageStructuredTypeDeclaration;
     private buildPackageAliasTypeDeclaration;
+    private buildPackageReducedTypeDeclaration;
     private buildPackageVariableDeclaration;
     private buildPackageVariableGetterDeclaration;
     private buildPackageVariableSetterDeclaration;

package/build/types/entities/Entity.d.ts

@@ -11,6 +11,7 @@ import { IndexerEntity } from './interfaces/IndexerEntity.js';
 import { OperatorEntity } from './interfaces/OperatorEntity.js';
 import { PackageAliasEntity } from './interfaces/PackageAliasEntity.js';
 import { PackageEntity } from './interfaces/PackageEntity.js';
+import { ReducedTypeEntity } from './interfaces/ReducedTypeEntity.js';
 import { SetterEntity } from './interfaces/SetterEntity.js';
 import { AnonymousStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntity } from './interfaces/StructuredTypeEntity.js';
 import { TextTranslationEntity } from './interfaces/TextTranslationEntity.js';
@@ -40,13 +41,13 @@ export declare const enum EntityKind {
     Package = 12,
     TextTranslation = 13
 }
-export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | TypeExtensionEntity | TextTranslationEntity;
-export type PackageTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity;
+export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | TextTranslationEntity;
+export type PackageTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isPackageTypeEntity(entity: Entity): entity is PackageTypeEntity;
-export type NamedTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
+export type NamedTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeParameterEntity;
 export type AnonymousTypeEntity = AnonymousStructuredTypeEntity | AnonymousFunctionTypeEntity | AnonymousVariantTypeEntity;
 export declare function isAnonymousTypeEntity(entity: Entity): entity is AnonymousTypeEntity;
-export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity;
+export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isTypeEntityWithMembers(entity: Entity): entity is TypeEntityWithMembers;
 export type TypeOrExtensionEntity = TypeEntity | TypeExtensionEntity;
 export type TypeWithMembersOrExtensionEntity = TypeEntityWithMembers | TypeExtensionEntity;
@@ -55,7 +56,7 @@ export declare namespace TypeWithMembersOrExtensionEntity {
 }
 export declare function isTypeWithMembersOrExtensionEntity(entity: Entity): entity is TypeWithMembersOrExtensionEntity;
 export declare function isTypeEntity(entity: Entity): entity is TypeEntity;
-export declare function isNamedTypeEntity(entity: TypeEntity): entity is NamedTypeEntity;
+export declare function isNamedTypeEntity(entity: Entity): entity is NamedTypeEntity;
 export type PackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity | TypeExtensionEntity | TextTranslationEntity;
 export declare function isPackageMemberEntity(entity: Entity): entity is PackageMemberEntity;
 export type NamedPackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity;
@@ -65,6 +66,7 @@ export declare function isTypeMemberEntity(entity: Entity): entity is TypeMember
 export declare namespace TypeMemberEntity {
     function isAspectTypeMember(entity: TypeMemberEntity): boolean;
     function isRefObjectTypeMember(entity: TypeMemberEntity): boolean;
+    function isReducedTypeMember(entity: TypeMemberEntity): boolean;
     /**
      * Возвращает `true`, если объявление является всеобщим (помечено модификатором "всеобщее").
      */
@@ -87,9 +89,10 @@ export declare namespace TypeMemberEntity {
 }
 export type NamedTypeMemberEntity = FieldEntity | MethodEntity;
 export declare function isNamedTypeMemberEntity(entity: Entity): entity is NamedTypeMemberEntity;
-export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity;
+export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity;
 export type PackageOrNestedFunctionEntity = PackageFunctionEntity | NestedFunctionEntity;
 export type AccessorEntity = GetterEntity | SetterEntity;
+export declare function isAccessorEntity(entity: Entity): entity is AccessorEntity;
 export type EntityWithTypeParameters = EntityContainingTypeParameter;
 export declare function isEntityWithTypeParameters(entity: Entity): entity is EntityWithTypeParameters;
 export type EntityWithParameters = Exclude<EntityContainingParameter, PackageEntity>;

package/build/types/entities/EntityHiding.d.ts

@@ -1,6 +1,6 @@
 import { SourceFile } from '../project/index.js';
-import { PackageEntity } from './interfaces/PackageEntity.js';
 import { TypeEntity } from './index.js';
+import { PackageEntity } from './interfaces/PackageEntity.js';
 export type EntityHidingLevel = EntityHidingLevel_type | EntityHidingLevel_typeHierarchy | EntityHidingLevel_file | EntityHidingLevel_package;
 export declare class EntityHidingLevel_type {
     readonly typeEntity: TypeEntity;
@@ -22,6 +22,3 @@ export declare class EntityHidingLevel_package {
     readonly kind = "package";
     constructor(packageEntity: PackageEntity);
 }
-export interface IEntityHidingMatcher {
-    matches(hiding: EntityHidingLevel | undefined): boolean;
-}

package/build/types/entities/EntityLocalizationContext.d.ts

@@ -1,7 +1,7 @@
 import { AnalyzedTranslationPackage } from '../analysis/AnalyzedTranslationPackage.js';
 import { Analyzer } from '../analysis/Analyzer.js';
 import * as types from '../types/index.js';
-import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, AnonymousVariantTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, Entity, FieldEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, MethodEntity, NamedTypeMemberEntity, OperatorEntity, PackageEntity, PackageFunctionEntity, PackageFunctionTypeEntity, PackageMemberEntity, PackageStructuredTypeEntity, PackageTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, SetterEntity, StructuredTypeEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity, TypeMemberEntity, TypeParameterEntity, TypeWithMembersOrExtensionEntity, VariantTypeEntity } from './index.js';
+import { AliasTypeEntity, AnonymousFunctionTypeEntity, AnonymousStructuredTypeEntity, AnonymousVariantTypeEntity, ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, Entity, FieldEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, MethodEntity, NamedTypeMemberEntity, OperatorEntity, PackageEntity, PackageFunctionEntity, PackageFunctionTypeEntity, PackageMemberEntity, PackageStructuredTypeEntity, PackageTypeEntity, PackageVariableEntity, PackageVariantTypeEntity, ParameterEntity, ReducedTypeEntity, SetterEntity, StructuredTypeEntity, TypeEntity, TypeEntityWithMembers, TypeExtensionEntity, TypeMemberEntity, TypeParameterEntity, TypeWithMembersOrExtensionEntity, VariantTypeEntity } from './index.js';
 export declare class EntityLocalizationContext {
     private readonly analyzer;
     private readonly translationPackage;
@@ -28,6 +28,7 @@ export declare class EntityLocalizationContext {
     getLocalizedPackageStructuredTypeEntity(entity: PackageStructuredTypeEntity): PackageStructuredTypeEntity;
     getLocalizedAnonymousStructuredTypeEntity(entity: AnonymousStructuredTypeEntity): AnonymousStructuredTypeEntity;
     getLocalizedAliasTypeEntity(entity: AliasTypeEntity): AliasTypeEntity;
+    getLocalizedReducedTypeEntity(entity: ReducedTypeEntity): ReducedTypeEntity;
     getLocalizedTypeExtensionEntity(entity: TypeExtensionEntity): TypeExtensionEntity;
     getLocalizedNamedTypeMemberEntity(entity: NamedTypeMemberEntity): NamedTypeMemberEntity;
     getLocalizedStructuredTypeEntity(entity: StructuredTypeEntity): StructuredTypeEntity;
@@ -49,6 +50,6 @@ export declare class EntityLocalizationContext {
     private getOwnTranslatedParameterEntity;
     private getOwnTranslatedAccessorEntity;
 }
-export type LocalizableEntity = PackageEntity | PackageVariableEntity | FieldEntity | ParameterEntity | PackageVariantTypeEntity | AnonymousVariantTypeEntity | GetterEntity | SetterEntity | PackageFunctionEntity | MethodEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | PackageFunctionTypeEntity | AnonymousFunctionTypeEntity | PackageStructuredTypeEntity | AnonymousStructuredTypeEntity | AliasTypeEntity | TypeExtensionEntity;
+export type LocalizableEntity = PackageEntity | PackageVariableEntity | FieldEntity | ParameterEntity | PackageVariantTypeEntity | AnonymousVariantTypeEntity | GetterEntity | SetterEntity | PackageFunctionEntity | MethodEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | PackageFunctionTypeEntity | AnonymousFunctionTypeEntity | PackageStructuredTypeEntity | AnonymousStructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity;
 export declare function isLocalizableEntity(entity: Entity): entity is LocalizableEntity;
 export type LocalizablePackageMemberEntity = PackageMemberEntity & LocalizableEntity;

package/build/types/entities/TypeEntity.d.ts

@@ -1,6 +1,6 @@
 import { IEntity } from './IEntity.js';
-import { AliasTypeEntity, EntityKind, FunctionTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
-export type TypeEntity = StructuredTypeEntity | FunctionTypeEntity | VariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
+import { AliasTypeEntity, EntityKind, FunctionTypeEntity, ReducedTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
+export type TypeEntity = StructuredTypeEntity | FunctionTypeEntity | VariantTypeEntity | AliasTypeEntity | TypeParameterEntity | ReducedTypeEntity;
 export declare namespace TypeEntity {
     function isAbstract(entity: TypeEntity): boolean;
     function isAbstractOrAliasedAbstract(entity: TypeEntity): boolean;
@@ -16,5 +16,6 @@ export declare enum TypeEntityKind {
     Structured = 1,
     Parameter = 2,
     Variant = 3,
-    Alias = 4
+    Alias = 4,
+    Reduced = 5
 }

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

@@ -1,9 +1,7 @@
 export * from './BaseAspectTypes.js';
-export * from './BaseEntityHidingMatcher.js';
 export * from './BaseObjectType.js';
 export * from './Entity.js';
 export * from './EntityHiding.js';
-export * from './EntityHidingMatcherWithinTypeEntity.js';
 export * from './EntityLocalizationContext.js';
 export * from './EntityNaming.js';
 export * from './interfaces/index.js';

package/build/types/entities/interfaces/AliasTypeEntity.d.ts

@@ -9,8 +9,8 @@ export interface AliasTypeEntity extends ITypeEntity {
     readonly typeEntityKind: TypeEntityKind.Alias;
     getName(): Name;
     /**
-   * При каждом вызове метод должен возвращать один и тот же экземпляр класса AliasedType.
-   */
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса AliasedType.
+     */
     getAliasedType(): AliasedType;
     getTypeParameters(): readonly TypeParameterEntity[];
     getDefinition(): AliasTypeEntityDefinition;

package/build/types/entities/interfaces/ConstructorEntity.d.ts

@@ -1,7 +1,7 @@
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity } from '../index.js';
 export interface ConstructorEntity extends IEntity {
     readonly kind: EntityKind.Constructor;
@@ -11,7 +11,9 @@ export interface ConstructorEntity extends IEntity {
     isDefault(): DefaultConstructorEntityInfo | undefined;
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getOriginalEntity(): ConstructorEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export declare class DefaultConstructorEntityInfo {
     readonly baseConstructor: types.Constructor | undefined;

package/build/types/entities/interfaces/DereferenceOperatorEntity.d.ts

@@ -1,7 +1,7 @@
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface DereferenceOperatorEntity extends IEntity {
     readonly kind: EntityKind.DereferenceOperator;
     getType(): types.Type;
@@ -15,6 +15,7 @@ export interface DereferenceOperatorEntity extends IEntity {
     markedBasic(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.DereferenceOperator> | undefined;
     getOriginalEntity(): DereferenceOperatorEntity;
     ensureAllDiagnosticsReported?(): void;
 }

package/build/types/entities/interfaces/DestructorEntity.d.ts

@@ -1,6 +1,7 @@
 import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface DestructorEntity extends IEntity {
     readonly kind: EntityKind.Destructor;
     getParameters(): readonly ParameterEntity[];
@@ -8,7 +9,9 @@ export interface DestructorEntity extends IEntity {
     getDefinition(): DestructorEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Destructor> | undefined;
     getOriginalEntity(): DestructorEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export type DestructorEntityDefinition = {
     kind: DefinitionKind.Source;

package/build/types/entities/interfaces/FunctionEntity.d.ts

@@ -3,7 +3,7 @@ import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import type { EntityNaming, TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { EntityNaming, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export type FunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity | AnonymousFunctionEntity;
 interface IFunctionEntity extends IEntity {
@@ -35,7 +35,9 @@ export interface MethodEntity extends IFunctionEntity {
     isModifyingOwningPlainObject(): boolean;
     isFunctionTypeInvokeMethod(): boolean;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getOriginalEntity(): MethodEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export interface NestedFunctionEntity extends IFunctionEntity {
     readonly subkind: 'nested';

package/build/types/entities/interfaces/IndexerEntity.d.ts

@@ -1,7 +1,7 @@
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, ParameterEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, GetterEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface IndexerEntity extends IEntity {
     readonly kind: EntityKind.Indexer;
     getParameters(): readonly ParameterEntity[];
@@ -16,6 +16,7 @@ export interface IndexerEntity extends IEntity {
     markedBasic(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Indexer[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Indexer> | undefined;
     getOriginalEntity(): IndexerEntity;
     ensureAllDiagnosticsReported?(): void;
 }

package/build/types/entities/interfaces/OperatorEntity.d.ts

@@ -1,7 +1,7 @@
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, OperatorKind, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, OperatorKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export interface OperatorEntity extends IEntity {
     readonly kind: EntityKind.Operator;
     getOperatorKind(): OperatorKind;
@@ -15,7 +15,9 @@ export interface OperatorEntity extends IEntity {
     markedAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getOverriddenMembers(): readonly types.Operator[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Operator> | undefined;
     getOriginalEntity(): OperatorEntity;
+    ensureAllDiagnosticsReported?(): void;
 }
 export type OperatorEntityDefinition = {
     kind: DefinitionKind.Source;

package/build/types/entities/interfaces/ReducedTypeEntity.d.ts

@@ -0,0 +1,99 @@
+import { Analyzer } from '../../analysis/index.js';
+import { Name } from '../../common/index.js';
+import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
+import { TypeEntityMembers } from '../TypeEntityMembers.js';
+import { BaseAspectTypes, BaseObjectType, DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+export interface ReducedTypeEntity extends ITypeEntity {
+    readonly kind: EntityKind.Type;
+    readonly typeEntityKind: TypeEntityKind.Reduced;
+    getName(): Name;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса ReductionSource.
+     */
+    getReductionSource(): ReductionSource;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseObjectType.
+     */
+    getBaseObjectType(): BaseObjectType;
+    /**
+     * При каждом вызове метод должен возвращать один и тот же экземпляр класса BaseAspectTypes.
+     */
+    getBaseAspectTypes(): BaseAspectTypes;
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getDefinition(): ReducedTypeEntityDefinition;
+    getMembers(): TypeEntityMembers;
+    getArity(): number;
+    isHidden(): EntityHidingLevel | undefined;
+    getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getOriginalEntity(): ReducedTypeEntity;
+    ensureAllDiagnosticsReported?(): void;
+}
+export type ReducedTypeEntityDefinition = {
+    kind: DefinitionKind.Source;
+    node: tree.PackageReducedTypeDeclaration;
+};
+export declare class PreservedReducedTypeEntityMemberInfo<T extends types.TypeMember = types.TypeMember> {
+    readonly reductionSourceMember: T | undefined;
+    constructor(reductionSourceMember: T | undefined);
+}
+/**
+* Класс позволяет работать с правой частью сокращённого типа, исключая циклы.
+*
+* Пример цикла:
+* ```artel
+* тип А = сокращённый объект Б { }
+* тип Б = сокращённый объект А { }
+* ```
+*
+* Для типа `А` в поле `declared` будет указан тип `Б`, а в поле `cycleFree` - тип `unresolved`, чтобы разорвать цикл,
+* созданный типами `А` и `Б`.
+*/
+export declare abstract class ReductionSource {
+    /**
+     * Правая часть сокращённого типа, указанная пользователем.
+     */
+    abstract readonly declared: types.Type;
+    /**
+     * Правая часть сокращённого типа, указанная пользователем, либо тип `unresolved`,
+     * если указанный тип приводит к циклу.
+     */
+    abstract readonly cycleFree: types.Type;
+    /**
+     * Приводит ли указанная пользователем правая часть сокращённого типа к циклу?
+     */
+    abstract readonly causesCycle: boolean;
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    abstract resolveReductionSource(circularityTrackingStack: boolean[]): CycleFreeReductionSourceResolutionResult;
+}
+export declare class OriginalReductionSource extends ReductionSource {
+    /**
+     * Правая часть тождественного типа, указанная пользователем.
+     */
+    readonly declared: types.Type;
+    private readonly analyzer;
+    private state;
+    /**
+     * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
+     * если указанный тип приводит к циклу.
+     */
+    get cycleFree(): types.Type;
+    /**
+     * Приводит ли указанная пользователем правая часть тождественного типа к циклу?
+     */
+    get causesCycle(): boolean;
+    constructor(analyzer: Analyzer, declared: types.Type);
+    /**
+     * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
+     */
+    resolveReductionSource(circularityTrackingStack: boolean[]): CycleFreeReductionSourceResolutionResult;
+    private getAliasedTypeResolutionResult;
+    private checkIfTypeFormsCycle;
+}
+export declare class CycleFreeReductionSourceResolutionResult {
+    readonly type: types.Type;
+    readonly causesCycle: boolean;
+    constructor(type: types.Type, causesCycle: boolean);
+}

package/build/types/entities/interfaces/TypeParameterEntity.d.ts

@@ -1,7 +1,7 @@
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
-import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, FunctionTypeEntity, ITypeEntity, NamedFunctionEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from '../index.js';
+import { AliasTypeEntity, DefinitionKind, EntityHidingLevel, EntityKind, FunctionTypeEntity, ITypeEntity, NamedFunctionEntity, ReducedTypeEntity, StructuredTypeEntity, TypeEntityKind, VariantTypeEntity } from '../index.js';
 export interface TypeParameterEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Parameter;
@@ -26,7 +26,7 @@ export type TypeParameterEntityDefinition = {
 } | {
     kind: DefinitionKind.TypeScript;
 };
-export type EntityContainingTypeParameter = VariantTypeEntity | NamedFunctionEntity | FunctionTypeEntity | StructuredTypeEntity | AliasTypeEntity;
+export type EntityContainingTypeParameter = VariantTypeEntity | NamedFunctionEntity | FunctionTypeEntity | StructuredTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 /**
  * Класс позволяет работать с ограничением параметра шаблона, исключая циклы.
  *

package/build/types/entities/interfaces/VariableEntity.d.ts

@@ -3,7 +3,7 @@ import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, OperatorEntity, PackageEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, OperatorEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export type VariableEntity = PackageVariableEntity | FieldEntity | ParameterEntity | LocalVariableEntity;
 interface IVariableEntity extends IEntity {
     readonly kind: EntityKind.Variable;
@@ -30,6 +30,7 @@ export interface FieldEntity extends IVariableEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     getOriginalEntity(): FieldEntity;
 }
 export interface ParameterEntity extends IVariableEntity {

package/build/types/entities/interfaces/index.d.ts

@@ -9,6 +9,7 @@ export * from './IndexerEntity.js';
 export * from './OperatorEntity.js';
 export * from './PackageAliasEntity.js';
 export * from './PackageEntity.js';
+export * from './ReducedTypeEntity.js';
 export * from './SetterEntity.js';
 export * from './StructuredTypeEntity.js';
 export * from './TextTranslationEntity.js';

package/build/types/entities/intrinsic/IntrinsicConstructorEntity.d.ts

@@ -3,7 +3,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { Analyzer } from '../../analysis/index.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
-import type { PackageEntity, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { PackageEntity, PreservedReducedTypeEntityMemberInfo, TypeEntityWithMembers, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, EntityHidingLevel, EntityKind, FieldEntity, ParameterEntity } from '../index.js';
 export declare class IntrinsicConstructorEntity implements ConstructorEntity {
     private readonly parameters;
@@ -21,6 +21,7 @@ export declare class IntrinsicConstructorEntity implements ConstructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -42,6 +43,7 @@ export declare class DefaultConstructorEntity implements ConstructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

package/build/types/entities/intrinsic/IntrinsicFunctionEntity.d.ts

@@ -2,7 +2,7 @@ import { Tag } from '../../analysis/Tag.js';
 import { Translation } from '../../analysis/Translation.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
-import type { EntityNaming, FunctionEntityDefinition, MethodEntity, PackageEntity, PackageFunctionEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import type { EntityNaming, FunctionEntityDefinition, MethodEntity, PackageEntity, PackageFunctionEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export declare class IntrinsicPackageFunctionEntity implements PackageFunctionEntity {
     private readonly name;
@@ -72,6 +72,7 @@ export declare class IntrinsicMethodEntity implements MethodEntity {
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

package/build/types/entities/intrinsic/IntrinsicVariableEntity.d.ts

@@ -2,7 +2,7 @@ import { Tag } from '../../analysis/Tag.js';
 import { Translation } from '../../analysis/Translation.js';
 import { Lazy, Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
-import type { EntityContainingParameter, PackageEntity } from '../index.js';
+import type { EntityContainingParameter, PackageEntity, PreservedReducedTypeEntityMemberInfo } from '../index.js';
 import { EntityHidingLevel, EntityKind, FieldEntity, GetterEntity, LocalVariableEntity, LocalVariableKind, PackageVariableEntity, ParameterEntity, SetterEntity, SpecialVariableEntityInfo, TypeWithMembersOrExtensionEntity, VariableEntityDefinition } from '../index.js';
 export declare class IntrinsicPackageVariableEntity implements PackageVariableEntity {
     private readonly name;
@@ -63,6 +63,7 @@ export declare class IntrinsicFieldEntity implements FieldEntity {
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
     isVariant(): boolean;
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

package/build/types/entities/source/SourceConstructorEntity.d.ts

@@ -3,16 +3,18 @@ import { Translation } from '../../analysis/Translation.js';
 import { Analyzer } from '../../analysis/index.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import { ConstructorDeclaration } from '../../tree/index.js';
-import type { ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
-import { EntityHidingLevel, EntityKind, ParameterEntity } from '../index.js';
+import * as types from '../../types/index.js';
+import { ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo, EntityHidingLevel, EntityKind, PackageEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export declare class ConstructorDeclarationEntity implements ConstructorEntity {
     private readonly analyzer;
     private readonly node;
     readonly kind = EntityKind.Constructor;
     private readonly parameters;
     private readonly hiding;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
+    private hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, node: ConstructorDeclaration);
     getParameters(): readonly ParameterEntity[];
@@ -23,8 +25,10 @@ export declare class ConstructorDeclarationEntity implements ConstructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
     getOriginalEntity(): ConstructorEntity;
+    ensureAllDiagnosticsReported(): void;
 }

package/build/types/entities/source/SourceDereferenceOperatorEntity.d.ts

@@ -4,13 +4,14 @@ import { Translation } from '../../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import { DereferencedVariableGetterDeclaration, DereferencedVariableSetterDeclaration } from '../../tree/index.js';
 import * as types from '../../types/index.js';
-import { DereferenceOperatorEntity, DereferenceOperatorEntityDefinition, EntityHidingLevel, EntityKind, GetterEntity, PackageEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { DereferenceOperatorEntity, DereferenceOperatorEntityDefinition, EntityHidingLevel, EntityKind, GetterEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export declare class DereferenceOperatorDeclarationEntity implements DereferenceOperatorEntity {
     readonly kind = EntityKind.DereferenceOperator;
     private readonly analyzer;
     private readonly getterDeclaration;
     private readonly setterDeclaration;
     private readonly getterOrSetterDeclaration;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
     private hasReportedAllDiagnostics;
@@ -29,6 +30,7 @@ export declare class DereferenceOperatorDeclarationEntity implements Dereference
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.DereferenceOperator> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

package/build/types/entities/source/SourceDestructorEntity.d.ts

@@ -3,15 +3,18 @@ import { Translation } from '../../analysis/Translation.js';
 import { Analyzer } from '../../analysis/index.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import { DestructorDeclaration } from '../../tree/index.js';
-import { DestructorEntity, DestructorEntityDefinition, EntityHidingLevel, EntityKind, PackageEntity, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import * as types from '../../types/index.js';
+import { DestructorEntity, DestructorEntityDefinition, EntityHidingLevel, EntityKind, PackageEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export declare class DestructorDeclarationEntity implements DestructorEntity {
     private readonly analyzer;
     private readonly node;
     readonly kind = EntityKind.Destructor;
     private readonly parameters;
     private readonly hiding;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
+    private hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, node: DestructorDeclaration);
     getParameters(): readonly ParameterEntity[];
@@ -21,8 +24,10 @@ export declare class DestructorDeclarationEntity implements DestructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Destructor> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
     getOriginalEntity(): DestructorEntity;
+    ensureAllDiagnosticsReported(): void;
 }

package/build/types/entities/source/SourceFunctionEntity.d.ts

@@ -5,7 +5,7 @@ import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import type { AnonymousFunctionEntity, EntityNaming, FunctionEntityDefinition, FunctionLiteralParameterDeclarationEntity, MethodEntity, NestedFunctionEntity, PackageEntity, PackageFunctionEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
-import { EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
+import { EntityHidingLevel, EntityKind, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export declare class PackageFunctionDeclarationEntity implements PackageFunctionEntity {
     private readonly analyzer;
     private readonly node;
@@ -46,8 +46,10 @@ export declare class MethodDeclarationEntity implements MethodEntity {
     private readonly parameters;
     private readonly returnType;
     private readonly hiding;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
+    private hasReportedAllDiagnostics;
     private get modifierFlags();
     constructor(analyzer: Analyzer, node: tree.MethodDeclaration);
     getName(): Name;
@@ -70,10 +72,12 @@ export declare class MethodDeclarationEntity implements MethodEntity {
     isModifyingOwningPlainObject(): boolean;
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
     getOriginalEntity(): MethodEntity;
+    ensureAllDiagnosticsReported(): void;
 }
 export declare class NestedFunctionDeclarationEntity implements NestedFunctionEntity {
     private readonly analyzer;