@artel/artc 0.6.25283 → 0.6.25284

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

@@ -4,7 +4,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
-import { EntityHidingLevel, EntityKind, GetterEntity, IndexerEntity, IndexerEntityDefinition, PackageEntity, ParameterEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityHidingLevel, EntityKind, GetterEntity, IndexerEntity, IndexerEntityDefinition, PackageEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export declare class IndexerDeclarationEntity implements IndexerEntity {
     readonly kind = EntityKind.Indexer;
     private readonly analyzer;
@@ -12,6 +12,7 @@ export declare class IndexerDeclarationEntity implements IndexerEntity {
     private readonly setterDeclaration;
     private readonly getterOrSetterDeclaration;
     private readonly parameters;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
     private hasReportedAllDiagnostics;
@@ -31,6 +32,7 @@ export declare class IndexerDeclarationEntity implements IndexerEntity {
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Indexer[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Indexer> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

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

@@ -4,7 +4,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
-import { EntityHidingLevel, EntityKind, OperatorEntity, OperatorEntityDefinition, OperatorKind, PackageEntity, ParameterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityHidingLevel, EntityKind, OperatorEntity, OperatorEntityDefinition, OperatorKind, PackageEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 export declare class OperatorDeclarationEntity implements OperatorEntity {
     private readonly analyzer;
     private readonly node;
@@ -13,8 +13,10 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     private readonly parameters;
     private readonly returnType;
     private readonly hiding;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
+    private hasReportedAllDiagnostic;
     private get modifierFlags();
     constructor(analyzer: Analyzer, node: tree.OperatorDeclaration);
     getOperatorKind(): OperatorKind;
@@ -30,9 +32,11 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Operator[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Operator> | undefined;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
     getOriginalEntity(): OperatorEntity;
+    ensureAllDiagnosticsReported(): void;
     private convertSyntaxOperatorKind;
 }

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

@@ -0,0 +1,44 @@
+import { Tag } from '../../analysis/Tag.js';
+import { Translation } from '../../analysis/Translation.js';
+import { Analyzer } from '../../analysis/index.js';
+import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
+import * as tree from '../../tree/index.js';
+import { BaseAspectTypes } from '../BaseAspectTypes.js';
+import { BaseObjectType } from '../BaseObjectType.js';
+import { TypeEntityMembers } from '../TypeEntityMembers.js';
+import { EntityHidingLevel, EntityKind, PackageEntity, ReducedTypeEntity, ReducedTypeEntityDefinition, ReductionSource, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+export declare class PackageReducedTypeDeclarationEntity implements ReducedTypeEntity {
+    private readonly analyzer;
+    private readonly node;
+    readonly kind = EntityKind.Type;
+    readonly typeEntityKind = TypeEntityKind.Reduced;
+    private readonly name;
+    private readonly reductionSource;
+    private readonly baseTypes;
+    private readonly typeParameters;
+    private readonly members;
+    private readonly hiding;
+    private hasReportedAllDiagnostic;
+    private modifierFlags_;
+    private get modifierFlags();
+    constructor(analyzer: Analyzer, node: tree.PackageReducedTypeDeclaration);
+    getName(): Name;
+    getContainingPackage(): PackageEntity;
+    getReductionSource(): ReductionSource;
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getMembers(): TypeEntityMembers;
+    getBaseObjectType(): BaseObjectType;
+    getBaseAspectTypes(): BaseAspectTypes;
+    getDefinition(): ReducedTypeEntityDefinition;
+    getArity(): number;
+    isHidden(): EntityHidingLevel | undefined;
+    getTags(): readonly Tag[];
+    getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+    getTranslation(): Translation | undefined;
+    getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
+    getOriginalEntity(): ReducedTypeEntity;
+    ensureAllDiagnosticsReported?(): void;
+    private getPreservedBaseTypes;
+    private validatePreservedTypeListAndCreatePreservedTypes;
+}

package/build/types/entities/source/SourceVariableEntity.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 { IndexerEntity } from '../index.js';
-import { EntityContainingParameter, EntityHidingLevel, EntityKind, FieldEntity, GetterEntity, LocalVariableEntity, LocalVariableKind, PackageEntity, PackageVariableEntity, ParameterEntity, SetterEntity, SpecialVariableEntityInfo, TypeWithMembersOrExtensionEntity, VariableEntityDefinition } from '../index.js';
+import { EntityContainingParameter, EntityHidingLevel, EntityKind, FieldEntity, GetterEntity, LocalVariableEntity, LocalVariableKind, PackageEntity, PackageVariableEntity, ParameterEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, SpecialVariableEntityInfo, TypeWithMembersOrExtensionEntity, VariableEntityDefinition } from '../index.js';
 export declare class PackageVariableDeclarationEntity implements PackageVariableEntity {
     private readonly analyzer;
     private readonly node;
@@ -70,6 +70,7 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     private readonly name;
     private readonly typeInferrer;
     private readonly hiding;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
     private hasReportedAllDiagnostics;
@@ -91,6 +92,7 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     isOverride(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
@@ -106,6 +108,7 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     private readonly setterDeclaration;
     private readonly getterOrSetterDeclaration;
     private readonly name;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     private modifierFlags_;
     private hasReportedAllDiagnostics;
@@ -127,6 +130,7 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
@@ -142,6 +146,7 @@ export declare class VariantValueDeclarationEntity implements FieldEntity {
     private readonly variantTypeDeclaration;
     private readonly name;
     private readonly type;
+    private readonly isPreservedReducedTypeMember_;
     private containingEntity;
     constructor(analyzer: Analyzer, node: tree.VariantValueDeclaration);
     getName(): Name;
@@ -160,6 +165,7 @@ export declare class VariantValueDeclarationEntity implements FieldEntity {
     isOverride(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;

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

@@ -9,6 +9,7 @@ export * from './SourceIndexerEntity.js';
 export * from './SourceOperatorEntity.js';
 export * from './SourcePackageAliasEntity.js';
 export * from './SourcePackageEntity.js';
+export * from './SourceReducedTypeEntity.js';
 export * from './SourceSetterEntity.js';
 export * from './SourceStructuredTypeEntity.js';
 export * from './SourceTextTranslationEntity.js';

package/build/types/entities/translated/TranslatedConstructorEntity.d.ts

@@ -1,19 +1,23 @@
 import { AnalyzedTranslationPackage } from '../../analysis/AnalyzedTranslationPackage.js';
+import { Analyzer } from '../../analysis/Analyzer.js';
 import { Tag } from '../../analysis/Tag.js';
 import { Translation } from '../../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, PackageEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import type { ConstructorEntity, ConstructorEntityDefinition, DefaultConstructorEntityInfo } from '../interfaces/ConstructorEntity.js';
 import { ParameterEntity } from '../interfaces/VariableEntity.js';
 export declare abstract class TranslatedConstructorEntity implements ConstructorEntity {
     readonly kind = EntityKind.Constructor;
+    protected readonly analyzer: Analyzer;
     protected readonly originalEntity: ConstructorEntity;
     protected readonly translation: Translation;
     protected readonly translationPackage: AnalyzedTranslationPackage;
     protected readonly containingEntity: TypeWithMembersOrExtensionEntity;
-    constructor(originalEntity: ConstructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
+    private readonly isPreservedReducedTypeMember_;
+    constructor(analyzer: Analyzer, originalEntity: ConstructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     abstract getParameters(): readonly ParameterEntity[];
     getContainingEntity(): TypeWithMembersOrExtensionEntity;
     getContainingPackage(): PackageEntity;
@@ -26,16 +30,17 @@ export declare abstract class TranslatedConstructorEntity implements Constructor
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Constructor> | undefined;
 }
 export declare class SourceTranslatedConstructorEntity extends TranslatedConstructorEntity {
     private readonly node;
     private readonly parameters;
-    constructor(originalEntity: ConstructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity, node: tree.ConstructorTranslation | undefined);
+    constructor(analyzer: Analyzer, originalEntity: ConstructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity, node: tree.ConstructorTranslation | undefined);
     getParameters(): readonly ParameterEntity[];
 }
 export declare class UnfinishedIntrinsicTranslatedConstructorEntity {
     private readonly unfinishedValue_;
     get unfinishedValue(): ConstructorEntity;
-    constructor(originalEntity: ConstructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
+    constructor(analyzer: Analyzer, originalEntity: ConstructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     finish(parameters: readonly ParameterEntity[]): ConstructorEntity;
 }

package/build/types/entities/translated/TranslatedDereferenceOperatorEntity.d.ts

@@ -4,7 +4,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, GetterEntity, PackageEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, GetterEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 import type { DereferenceOperatorEntity, DereferenceOperatorEntityDefinition } from '../interfaces/DereferenceOperatorEntity.js';
 export declare class TranslatedDereferenceOperatorEntity implements DereferenceOperatorEntity {
     readonly kind = EntityKind.DereferenceOperator;
@@ -16,6 +16,7 @@ export declare class TranslatedDereferenceOperatorEntity implements DereferenceO
     private readonly getter;
     private readonly setter;
     private readonly overriddenMembers;
+    private readonly isPreservedReducedTypeMember_;
     constructor(originalEntity: DereferenceOperatorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     getContainingEntity(): TypeWithMembersOrExtensionEntity;
     getContainingPackage(): PackageEntity;
@@ -33,6 +34,7 @@ export declare class TranslatedDereferenceOperatorEntity implements DereferenceO
     isOverride(): boolean;
     markedBasic(): boolean;
     getOverriddenMembers(): readonly types.DereferenceOperator[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.DereferenceOperator> | undefined;
     ensureAllDiagnosticsReported?(): void;
     getTags(): readonly Tag[];
 }

package/build/types/entities/translated/TranslatedDestructorEntity.d.ts

@@ -2,8 +2,9 @@ import { AnalyzedTranslationPackage } from '../../analysis/AnalyzedTranslationPa
 import { Tag } from '../../analysis/Tag.js';
 import { Translation } from '../../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
+import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, PackageEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import type { DestructorEntity, DestructorEntityDefinition } from '../interfaces/DestructorEntity.js';
 import { ParameterEntity } from '../interfaces/VariableEntity.js';
 export declare class TranslatedDestructorEntity implements DestructorEntity {
@@ -13,6 +14,7 @@ export declare class TranslatedDestructorEntity implements DestructorEntity {
     private readonly translationPackage;
     private readonly containingEntity;
     private readonly parameters;
+    private readonly isPreservedReducedTypeMember_;
     constructor(originalEntity: DestructorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     getContainingEntity(): TypeWithMembersOrExtensionEntity;
     getContainingPackage(): PackageEntity;
@@ -25,4 +27,5 @@ export declare class TranslatedDestructorEntity implements DestructorEntity {
     isHidden(): EntityHidingLevel | undefined;
     markedAbstract(): boolean;
     getTags(): readonly Tag[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Destructor> | undefined;
 }

package/build/types/entities/translated/TranslatedFunctionEntity.d.ts

@@ -6,7 +6,7 @@ import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, EntityNaming, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, EntityNaming, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import type { MethodEntity, PackageFunctionEntity } from '../interfaces/FunctionEntity.js';
 import { FunctionEntityDefinition } from '../interfaces/FunctionEntity.js';
 import { PackageEntity } from '../interfaces/PackageEntity.js';
@@ -53,6 +53,7 @@ export declare abstract class TranslatedMethodEntity implements MethodEntity {
     protected readonly containingEntity: TypeWithMembersOrExtensionEntity;
     private readonly returnType;
     private readonly overriddenMembers;
+    private readonly isPreservedReducedTypeMember_;
     constructor(analyzer: Analyzer, originalEntity: MethodEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     abstract getTypeParameters(): readonly TypeParameterEntity[];
     abstract getParameters(): readonly ParameterEntity[];
@@ -73,6 +74,7 @@ export declare abstract class TranslatedMethodEntity implements MethodEntity {
     isModifyingOwningPlainObject(): boolean;
     isFunctionTypeInvokeMethod(): boolean;
     getOverriddenMembers(): readonly types.Method[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Method> | undefined;
     isAsync(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];

package/build/types/entities/translated/TranslatedIndexerEntity.d.ts

@@ -5,7 +5,7 @@ import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, GetterEntity, PackageEntity, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, GetterEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 import type { IndexerEntity, IndexerEntityDefinition } from '../interfaces/IndexerEntity.js';
 import { ParameterEntity } from '../interfaces/VariableEntity.js';
 export declare abstract class TranslatedIndexerEntity implements IndexerEntity {
@@ -18,6 +18,7 @@ export declare abstract class TranslatedIndexerEntity implements IndexerEntity {
     private readonly getter;
     private readonly setter;
     private readonly overriddenMembers;
+    private readonly isPreservedReducedTypeMember_;
     constructor(originalEntity: IndexerEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     abstract getParameters(): readonly ParameterEntity[];
     getContainingEntity(): TypeWithMembersOrExtensionEntity;
@@ -36,6 +37,7 @@ export declare abstract class TranslatedIndexerEntity implements IndexerEntity {
     isOverride(): boolean;
     markedBasic(): boolean;
     getOverriddenMembers(): readonly types.Indexer[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Indexer> | undefined;
     ensureAllDiagnosticsReported?(): void;
     getTags(): readonly Tag[];
 }

package/build/types/entities/translated/TranslatedOperatorEntity.d.ts

@@ -6,7 +6,7 @@ import { PackageDialect, PackageLocale } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, OperatorKind, PackageEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, OperatorKind, PackageEntity, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import type { OperatorEntity, OperatorEntityDefinition } from '../interfaces/OperatorEntity.js';
 import { ParameterEntity } from '../interfaces/VariableEntity.js';
 export declare abstract class TranslatedOperatorEntity implements OperatorEntity {
@@ -18,6 +18,7 @@ export declare abstract class TranslatedOperatorEntity implements OperatorEntity
     protected readonly containingEntity: TypeWithMembersOrExtensionEntity;
     private readonly returnType;
     private readonly overriddenMembers;
+    private readonly isPreservedReducedTypeMember_;
     constructor(analyzer: Analyzer, originalEntity: OperatorEntity, translation: Translation, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     abstract getParameters(): readonly ParameterEntity[];
     getContainingEntity(): TypeWithMembersOrExtensionEntity;
@@ -34,6 +35,7 @@ export declare abstract class TranslatedOperatorEntity implements OperatorEntity
     markedBasic(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Operator[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Operator> | undefined;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
 }

package/build/types/entities/translated/TranslatedReducedTypeEntity.d.ts

@@ -0,0 +1,59 @@
+import { AnalyzedTranslationPackage } from '../../analysis/AnalyzedTranslationPackage.js';
+import { Tag } from '../../analysis/Tag.js';
+import { Translation } from '../../analysis/Translation.js';
+import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
+import * as tree from '../../tree/index.js';
+import * as types from '../../types/index.js';
+import { BaseAspectTypes } from '../BaseAspectTypes.js';
+import { BaseObjectType } from '../BaseObjectType.js';
+import { EntityHidingLevel } from '../EntityHiding.js';
+import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
+import type { ReducedTypeEntity, ReducedTypeEntityDefinition } from '../index.js';
+import { CycleFreeReductionSourceResolutionResult, EntityKind, ReductionSource } from '../index.js';
+import { PackageEntity, TypeParameterEntity } from '../interfaces/index.js';
+import { SubstitutionApplicationMode } from '../SubstitutionApplicationMode.js';
+import { TypeEntityKind } from '../TypeEntity.js';
+import { TypeEntityMembers } from '../TypeEntityMembers.js';
+export declare class TranslatedReducedTypeEntity implements ReducedTypeEntity {
+    readonly kind = EntityKind.Type;
+    readonly typeEntityKind = TypeEntityKind.Reduced;
+    readonly subkind = "package";
+    private readonly originalEntity;
+    private readonly translation;
+    private readonly name;
+    private readonly translationPackage;
+    private readonly node;
+    private readonly typeParameters;
+    private readonly members;
+    private readonly reductionSource;
+    private readonly baseObjectType;
+    private readonly baseAspectTypes;
+    constructor(originalEntity: ReducedTypeEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, node: tree.TypeTranslationDeclaration | undefined);
+    getName(): Name;
+    getContainingPackage(): PackageEntity;
+    getTranslation(): Translation | undefined;
+    getLocale(): PackageLocale;
+    getDialect(): PackageDialect;
+    getOriginalEntity(): ReducedTypeEntity;
+    getReductionSource(): ReductionSource;
+    getTypeParameters(): readonly TypeParameterEntity[];
+    getMembers(): TypeEntityMembers;
+    getDefinition(): ReducedTypeEntityDefinition;
+    getArity(): number;
+    getBaseObjectType(): BaseObjectType;
+    getBaseAspectTypes(): BaseAspectTypes;
+    isHidden(): EntityHidingLevel | undefined;
+    getTags(): readonly Tag[];
+    getSubstitutionApplicationMode(): SubstitutionApplicationMode;
+}
+export declare class LocalizedReductionSource extends ReductionSource {
+    private readonly original;
+    private readonly localizationContext;
+    private readonly declared_;
+    private readonly cycleFree_;
+    get declared(): types.Type;
+    get cycleFree(): types.Type;
+    get causesCycle(): boolean;
+    constructor(original: ReductionSource, localizationContext: EntityLocalizationContext);
+    resolveReductionSource(circularityTrackingStack: boolean[]): CycleFreeReductionSourceResolutionResult;
+}

package/build/types/entities/translated/TranslatedVariableEntity.d.ts

@@ -4,7 +4,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
-import { EntityKind, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { EntityKind, PreservedReducedTypeEntityMemberInfo, TypeWithMembersOrExtensionEntity } from '../index.js';
 import { GetterEntity } from '../interfaces/GetterEntity.js';
 import { PackageEntity } from '../interfaces/PackageEntity.js';
 import { SetterEntity } from '../interfaces/SetterEntity.js';
@@ -49,6 +49,7 @@ export declare class TranslatedFieldEntity implements FieldEntity {
     private readonly getter;
     private readonly setter;
     private readonly overriddenMembers;
+    private readonly isPreservedReducedTypeMember_;
     constructor(originalEntity: FieldEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, translatedContainingEntity: TypeWithMembersOrExtensionEntity);
     getContainingEntity(): TypeWithMembersOrExtensionEntity;
     getContainingPackage(): PackageEntity;
@@ -64,6 +65,7 @@ export declare class TranslatedFieldEntity implements FieldEntity {
     markedBasic(): boolean;
     markedAbstract(): boolean;
     getOverriddenMembers(): readonly types.Field[];
+    isPreservedReducedTypeMember(): PreservedReducedTypeEntityMemberInfo<types.Field> | undefined;
     isVariant(): boolean;
     getGetter(): GetterEntity | undefined;
     getSetter(): SetterEntity | undefined;

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

@@ -8,6 +8,7 @@ export * from './TranslatedGetterEntity.js';
 export * from './TranslatedIndexerEntity.js';
 export * from './TranslatedOperatorEntity.js';
 export * from './TranslatedPackageEntity.js';
+export * from './TranslatedReducedTypeEntity.js';
 export * from './TranslatedSetterEntity.js';
 export * from './TranslatedStructuredTypeEntity.js';
 export * from './TranslatedTypeExtensionEntity.js';

package/build/types/project/SourceFile.d.ts

@@ -1,4 +1,4 @@
-import { Uri } from '../common/index.js';
+import { PackageDialect, PackageLocale, Uri } from '../common/index.js';
 import * as tree from '../tree/index.js';
 import { SourcePackage } from './SourcePackage.js';
 import { TextFile } from './TextFile.js';
@@ -7,6 +7,8 @@ export declare class SourceFile extends TextFile {
     private package_;
     private readonly node;
     get package(): SourcePackage;
+    get locale(): PackageLocale;
+    get dialect(): PackageDialect;
     private constructor();
     static create(text: string, uri: Uri, version: number): SourceFile;
     /**

package/build/types/services/CompletionService.d.ts

@@ -87,10 +87,11 @@ export declare const enum CompletionItemKind {
     TypeParameter = 17,
     FunctionType = 18,
     AliasType = 19,
-    InvalidType = 20,
-    Keyword = 21,
-    TargetSignatureParameter = 22,
-    OperatorName = 23
+    ReducedType = 20,
+    InvalidType = 21,
+    Keyword = 22,
+    TargetSignatureParameter = 23,
+    OperatorName = 24
 }
 export type ResolutionResult = ResolutionResult_item | ResolutionResult_notInCache;
 export declare class ResolutionResult_item {

package/build/types/services/DisplayService.d.ts

@@ -59,6 +59,7 @@ export declare class DisplayService {
     private displayFunctionTypeUsage;
     private displayParameterTypeUsage;
     private displayAliasTypeUsage;
+    private displayReducedTypeUsage;
     private displayUnionOrIntersectionTypeUsage;
     private displayUnresolvedTypeUsage;
     private displaySubstitutionStubTypeUsage;
@@ -321,7 +322,7 @@ export declare class TypeParameterValue_typeArgument {
     readonly kind = "type-argument";
     constructor(value: types.Type);
 }
-export type TypeDeclaration = TypeDeclaration_structured | TypeDeclaration_function | TypeDeclaration_variant | TypeDeclaration_alias | TypeDeclaration_parameter | TypeDeclaration_unresolved;
+export type TypeDeclaration = TypeDeclaration_structured | TypeDeclaration_function | TypeDeclaration_variant | TypeDeclaration_alias | TypeDeclaration_reduced | TypeDeclaration_parameter | TypeDeclaration_unresolved;
 export declare class TypeDeclaration_structured implements ITypeDeclaration {
     readonly value: TypeDeclarationStructured;
     readonly kind = "structured";
@@ -457,6 +458,39 @@ interface ITypeDeclarationAlias {
     getAliasedType(): types.Type;
     getContainer(): DeclarationContainer | undefined;
 }
+export declare class TypeDeclaration_reduced implements ITypeDeclaration {
+    readonly value: TypeDeclarationReduced;
+    readonly kind = "reduced";
+    constructor(value: TypeDeclarationReduced);
+    ifNamedThenEntity(): e.NamedTypeEntity | undefined;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getContainer(): DeclarationContainer | undefined;
+}
+export type TypeDeclarationReduced = TypeDeclarationReduced_entity | TypeDeclarationReduced_type;
+export declare class TypeDeclarationReduced_entity implements ITypeDeclarationReduced {
+    readonly entity: e.ReducedTypeEntity;
+    readonly kind = "entity";
+    constructor(entity: e.ReducedTypeEntity);
+    ifNamedThenEntity(): e.NamedTypeEntity | undefined;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getReductionSource(): types.Type;
+    getContainer(): DeclarationContainer | undefined;
+}
+export declare class TypeDeclarationReduced_type implements ITypeDeclarationReduced {
+    readonly type: types.ReducedType;
+    readonly kind = "type";
+    constructor(type: types.ReducedType);
+    ifNamedThenEntity(): e.NamedTypeEntity | undefined;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getReductionSource(): types.Type;
+    getContainer(): DeclarationContainer | undefined;
+}
+interface ITypeDeclarationReduced {
+    ifNamedThenEntity(): e.NamedTypeEntity | undefined;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getReductionSource(): types.Type;
+    getContainer(): DeclarationContainer | undefined;
+}
 export declare class TypeDeclaration_parameter implements ITypeDeclaration {
     readonly entity: e.TypeParameterEntity;
     readonly kind = "parameter";
@@ -476,7 +510,7 @@ interface ITypeDeclaration {
     getTypeParameterValues(): readonly TypeParameterValue[];
     getContainer(): DeclarationContainer | undefined;
 }
-type NamedType = NamedType_function | NamedType_structured | NamedType_typeParameter | NamedType_variant | NamedType_alias;
+type NamedType = NamedType_function | NamedType_structured | NamedType_typeParameter | NamedType_variant | NamedType_alias | NamedType_reduced;
 export declare class NamedType_function implements INamedType {
     readonly value: e.PackageFunctionTypeEntity;
     readonly kind = "function";
@@ -512,6 +546,13 @@ export declare class NamedType_alias implements INamedType {
     getEntity(): e.NamedTypeEntity;
     getTypeParameters(): readonly e.TypeParameterEntity[];
 }
+export declare class NamedType_reduced implements INamedType {
+    readonly value: e.ReducedTypeEntity;
+    readonly kind = "alias";
+    constructor(value: e.ReducedTypeEntity);
+    getEntity(): e.NamedTypeEntity;
+    getTypeParameters(): readonly e.TypeParameterEntity[];
+}
 interface INamedType {
     getEntity(): e.NamedTypeEntity;
     getTypeParameters(): readonly e.TypeParameterEntity[];
@@ -541,7 +582,7 @@ interface IOperatorDeclaration {
     getReturnType(): types.Type;
     getContainer(analyzer: Analyzer | undefined): DeclarationContainer | undefined;
 }
-export type TypeUsage = StructuredTypeUsage | VariantTypeUsage | FunctionTypeUsage | AliasTypeUsage | ParameterTypeUsage | UnionOrIntersectionTypeUsage | UnresolvedTypeUsage | SubstitutionStubTypeUsage;
+export type TypeUsage = StructuredTypeUsage | VariantTypeUsage | FunctionTypeUsage | AliasTypeUsage | ReducedTypeUsage | ParameterTypeUsage | UnionOrIntersectionTypeUsage | UnresolvedTypeUsage | SubstitutionStubTypeUsage;
 export type StructuredTypeUsage = StructuredTypeUsage_type | StructuredTypeUsage_entity;
 export declare class StructuredTypeUsage_type implements IStructuredTypeUsage {
     readonly type: types.StructuredType;
@@ -646,6 +687,32 @@ interface IAliasTypeUsage {
     getAliasedType(): types.Type;
     getContainer(): DeclarationContainer | undefined;
 }
+export type ReducedTypeUsage = ReducedTypeUsage_type | ReducedTypeUsage_entity;
+export declare class ReducedTypeUsage_type implements IReducedTypeUsage {
+    readonly type: types.ReducedType;
+    readonly kind = "reduced";
+    constructor(type: types.ReducedType);
+    getEntity(): e.NamedTypeEntity;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getReductionSource(): types.Type;
+    getContainer(): DeclarationContainer | undefined;
+}
+export declare class ReducedTypeUsage_entity implements IReducedTypeUsage {
+    readonly entity: e.ReducedTypeEntity;
+    readonly kind = "reduced";
+    constructor(entity: e.ReducedTypeEntity);
+    getEntity(): e.NamedTypeEntity;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getReductionSource(): types.Type;
+    getContainer(): DeclarationContainer | undefined;
+}
+interface IReducedTypeUsage {
+    readonly kind: 'reduced';
+    getEntity(): e.NamedTypeEntity;
+    getTypeParameterValues(): readonly TypeParameterValue[];
+    getReductionSource(): types.Type;
+    getContainer(): DeclarationContainer | undefined;
+}
 export type ParameterTypeUsage = ParameterTypeUsage_type | ParameterTypeUsage_entity;
 export declare class ParameterTypeUsage_type implements IParameterTypeUsage {
     readonly type: types.ParameterType;

package/build/types/services/TranslationService.d.ts

@@ -9,7 +9,7 @@ export declare class TranslationService {
     clearTranslationCache(): void;
     private translateIdentifier;
     private translateKeywords;
-    private translateReservedIdentifier;
+    private translateReservedName;
     private createRangeMaps;
     private getTranslationId;
 }

package/build/types/services/source-generation/EntityToSyntax.d.ts

@@ -17,6 +17,8 @@ export declare class EntityToSyntax {
     private convertPackageStructuredTypeModifiers;
     private convertPackageAliasType;
     private convertPackageAliasTypeModifiers;
+    private convertPackageReducedType;
+    private convertPackageReducedTypeModifiers;
     private convertPackageVariantType;
     private convertPackageVariantTypeModifiers;
     private convertPackageFunctionType;
@@ -35,6 +37,7 @@ export declare class EntityToSyntax {
     private convertVariant;
     private createStructuredTypeDeclarationBody;
     private createAliasTypeDeclarationBody;
+    private createReducedTypeDeclarationBody;
     private createVariantTypeDeclarationBody;
     private createFunctionTypeDeclarationBody;
     private convertTypeParameters;
@@ -49,6 +52,7 @@ export declare class EntityToSyntax {
     private convertVariantType;
     private convertFunctionType;
     private convertAliasType;
+    private convertReducedType;
     private convertParameterType;
     private convertUnionType;
     private convertIntersectionType;