@artel/artc 0.6.25282 → 0.6.25284

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

@@ -2,16 +2,16 @@ import { Analyzer } from '../../analysis/index.js';
 import { Name } from '../../common/index.js';
 import * as types from '../../types/index.js';
 import type { AnonymousStructuredTypeEntity, PackageEntity, PackageStructuredTypeEntity, StructuredTypeKind } from '../index.js';
-import { ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, EntityContext, EntityHidingLevel, IndexerEntity, NamedTypeMemberEntity, OperatorEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
+import { ConstructorEntity, DereferenceOperatorEntity, DestructorEntity, EntityHidingLevel, IndexerEntity, NamedTypeMemberEntity, OperatorEntity, SubstitutionApplicationMode, TypeParameterEntity } from '../index.js';
 export declare class UnfinishedIntrinsicPackageStructuredTypeEntity {
     private readonly unfinishedValue_;
     get unfinishedValue(): PackageStructuredTypeEntity;
-    constructor(analyzer: Analyzer, name: Name, containingPackage: PackageEntity, typeParameters: readonly TypeParameterEntity[], isBasic: boolean, isAbstract: boolean, structuredTypeKind: StructuredTypeKind, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode, context: EntityContext | undefined);
+    constructor(analyzer: Analyzer, name: Name, containingPackage: PackageEntity, typeParameters: readonly TypeParameterEntity[], isBasic: boolean, isAbstract: boolean, structuredTypeKind: StructuredTypeKind, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode);
     finish(ownNamedMembers: readonly NamedTypeMemberEntity[], ownOperators: readonly OperatorEntity[], ownConstructors: readonly ConstructorEntity[], ownDestructors: readonly DestructorEntity[], ownIndexers: readonly IndexerEntity[], ownDereferenceOperators: readonly DereferenceOperatorEntity[]): PackageStructuredTypeEntity;
 }
 export declare class UnfinishedIntrinsicAnonymousStructuredTypeEntity {
     private readonly unfinishedValue_;
     get unfinishedValue(): AnonymousStructuredTypeEntity;
-    constructor(analyzer: Analyzer, typeParameters: readonly TypeParameterEntity[], structuredTypeKind: StructuredTypeKind, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity, context: EntityContext | undefined);
+    constructor(analyzer: Analyzer, typeParameters: readonly TypeParameterEntity[], structuredTypeKind: StructuredTypeKind, baseObjectType: types.StructuredType | undefined, baseAspectTypes: readonly types.StructuredType[], isHidden: EntityHidingLevel | undefined, substitutionApplicationMode: SubstitutionApplicationMode, containingPackage: PackageEntity);
     finish(ownNamedMembers: readonly NamedTypeMemberEntity[], ownOperators: readonly OperatorEntity[], ownConstructors: readonly ConstructorEntity[], ownDestructors: readonly DestructorEntity[], ownIndexers: readonly IndexerEntity[], ownDereferenceOperators: readonly DereferenceOperatorEntity[]): AnonymousStructuredTypeEntity;
 }

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

@@ -3,7 +3,7 @@ import { Translation } from '../../analysis/Translation.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
 import type { EntityContainingTypeParameter } from '../index.js';
-import { EntityContext, EntityHidingLevel, EntityKind, PackageEntity, TypeEntityKind, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition } from '../index.js';
+import { EntityHidingLevel, EntityKind, PackageEntity, TypeEntityKind, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition } from '../index.js';
 export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity {
     private readonly name;
     private readonly constraint;
@@ -12,8 +12,7 @@ export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity
     readonly kind = EntityKind.Type;
     readonly typeEntityKind = TypeEntityKind.Parameter;
     private readonly typeParameterConstraint;
-    private readonly context;
-    constructor(name: Name, constraint: types.Type | undefined, defaultValue: types.Type | undefined, containingEntity: EntityContainingTypeParameter, context: EntityContext | undefined);
+    constructor(name: Name, constraint: types.Type | undefined, defaultValue: types.Type | undefined, containingEntity: EntityContainingTypeParameter);
     getName(): Name;
     getConstraint(): TypeParameterConstraint;
     getDefaultType(): types.Type | undefined;
@@ -24,7 +23,6 @@ export declare class IntrinsicTypeParameterEntity implements TypeParameterEntity
     getContainingPackage(): PackageEntity;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
-    getContext(): EntityContext;
     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/SourceAliasTypeEntity.d.ts

@@ -4,7 +4,7 @@ import { Analyzer } from '../../analysis/index.js';
 import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import { PackageAliasTypeDeclaration } from '../../tree/index.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { AliasedType, AliasTypeEntity, AliasTypeEntityDefinition, EntityContext, EntityHidingLevel, EntityKind, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { AliasedType, AliasTypeEntity, AliasTypeEntityDefinition, EntityHidingLevel, EntityKind, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntity {
     private readonly analyzer;
     private readonly node;
@@ -28,7 +28,6 @@ export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntit
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
-    getContext(): EntityContext;
     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;

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

@@ -8,7 +8,7 @@ import { BaseObjectType } from '../BaseObjectType.js';
 import { EntityNaming } from '../EntityNaming.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
 import type { AnonymousFunctionTypeEntity, FunctionTypeEntityDefinition, PackageEntity, PackageFunctionTypeEntity } from '../index.js';
-import { EntityContext, EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { EntityHidingLevel, EntityKind, ParameterEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export declare class PackageFunctionTypeDeclarationEntity implements PackageFunctionTypeEntity {
     private readonly analyzer;
     private readonly node;
@@ -39,7 +39,6 @@ export declare class PackageFunctionTypeDeclarationEntity implements PackageFunc
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -69,7 +68,6 @@ export declare class AnonymousFunctionTypeDeclarationEntity implements Anonymous
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
     getBaseObjectType(): BaseObjectType;
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

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/SourceStructuredTypeEntity.d.ts

@@ -7,7 +7,7 @@ import { BaseAspectTypes } from '../BaseAspectTypes.js';
 import { BaseObjectType } from '../BaseObjectType.js';
 import { EntityNaming } from '../EntityNaming.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { AnonymousStructuredTypeEntity, EntityContext, EntityHidingLevel, EntityKind, PackageEntity, PackageStructuredTypeEntity, StructuredTypeEntity, StructuredTypeEntityDefinition, StructuredTypeKind, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { AnonymousStructuredTypeEntity, EntityHidingLevel, EntityKind, PackageEntity, PackageStructuredTypeEntity, StructuredTypeEntity, StructuredTypeEntityDefinition, StructuredTypeKind, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export declare class PackageStructuredTypeDeclarationEntity implements PackageStructuredTypeEntity {
     readonly kind = EntityKind.Type;
     readonly typeEntityKind = TypeEntityKind.Structured;
@@ -31,7 +31,6 @@ export declare class PackageStructuredTypeDeclarationEntity implements PackageSt
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -59,7 +58,6 @@ export declare class AnonymousStructuredTypeDeclarationEntity implements Anonymo
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

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

@@ -28,4 +28,5 @@ export declare class TextTranslationDeclarationEntity implements TextTranslation
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
     isHidden(): EntityHidingLevel | undefined;
+    getOriginalEntity(): TextTranslationDeclarationEntity;
 }

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

@@ -4,7 +4,7 @@ import { Analyzer } from '../../analysis/index.js';
 import { PackageDialect, PackageLocale } from '../../common/index.js';
 import { TypeExtensionDeclaration } from '../../tree/index.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { EntityContext, EntityHidingLevel, EntityKind, NamedTypeEntity, PackageEntity, TypeExtensionEntity, TypeExtensionEntityDefinition } from '../index.js';
+import { EntityHidingLevel, EntityKind, NamedTypeEntity, PackageEntity, TypeExtensionEntity, TypeExtensionEntityDefinition } from '../index.js';
 export declare class SourceTypeExtensionEntity implements TypeExtensionEntity {
     readonly kind = EntityKind.TypeExtension;
     private readonly analyzer;
@@ -22,7 +22,6 @@ export declare class SourceTypeExtensionEntity implements TypeExtensionEntity {
     getDefinition(): TypeExtensionEntityDefinition;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

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

@@ -5,7 +5,7 @@ import { Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import { TypeParameterDeclaration } from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import type { EntityContainingTypeParameter } from '../index.js';
-import { EntityContext, EntityHidingLevel, EntityKind, PackageEntity, TypeEntityKind, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition } from '../index.js';
+import { EntityHidingLevel, EntityKind, PackageEntity, TypeEntityKind, TypeParameterConstraint, TypeParameterEntity, TypeParameterEntityDefinition } from '../index.js';
 export declare class SourceTypeParameterEntity implements TypeParameterEntity {
     private readonly analyzer;
     private readonly node;
@@ -26,7 +26,6 @@ export declare class SourceTypeParameterEntity implements TypeParameterEntity {
     getContainingPackage(): PackageEntity;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

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/SourceVariantTypeEntity.d.ts

@@ -6,7 +6,7 @@ import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { EntityNaming } from '../EntityNaming.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { AnonymousVariantTypeEntity, BaseObjectType, EntityContext, EntityHidingLevel, EntityKind, PackageEntity, PackageVariantTypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity, VariantTypeEntityDefinition } from '../index.js';
+import { AnonymousVariantTypeEntity, BaseObjectType, EntityHidingLevel, EntityKind, PackageEntity, PackageVariantTypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity, VariantTypeEntityDefinition } from '../index.js';
 export declare class PackageVariantTypeDeclarationEntity implements PackageVariantTypeEntity {
     private readonly analyzer;
     private readonly node;
@@ -34,7 +34,6 @@ export declare class PackageVariantTypeDeclarationEntity implements PackageVaria
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getBaseObjectType(): BaseObjectType;
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
@@ -61,7 +60,6 @@ export declare class AnonymousVariantTypeDeclarationEntity implements AnonymousV
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
     getContainingPackage(): PackageEntity;
     getBaseObjectType(): BaseObjectType;
-    getContext(): EntityContext;
     getTranslation(): Translation | undefined;
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;

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/TranslatedAliasTypeEntity.d.ts

@@ -6,7 +6,7 @@ import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
 import { EntityLocalizationContext } from '../EntityLocalizationContext.js';
-import { EntityContext, EntityKind } from '../index.js';
+import { EntityKind } from '../index.js';
 import type { AliasTypeEntity, CycleFreeAliasedTypeResolutionResult } from '../interfaces/AliasTypeEntity.js';
 import { AliasedType, AliasTypeEntityDefinition } from '../interfaces/AliasTypeEntity.js';
 import { PackageEntity } from '../interfaces/PackageEntity.js';
@@ -26,7 +26,6 @@ export declare class TranslatedAliasTypeEntity implements AliasTypeEntity {
     private readonly typeParameters;
     private readonly aliasedType;
     private readonly members;
-    private readonly context;
     constructor(originalEntity: AliasTypeEntity, translation: Translation, name: Name, translationPackage: AnalyzedTranslationPackage, node: tree.TypeTranslationDeclaration | undefined);
     getName(): Name;
     getContainingPackage(): PackageEntity;
@@ -42,7 +41,6 @@ export declare class TranslatedAliasTypeEntity implements AliasTypeEntity {
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
-    getContext(): EntityContext;
 }
 export declare class LocalizedAliasedType extends AliasedType {
     private readonly original;

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;
 }