@artel/artc 0.6.25283 → 0.6.25284

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

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

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

@@ -29,8 +29,8 @@ export declare abstract class SemanticContextValidatingNameConflictsBase extends
     protected abstract createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
     validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
     private getMemberEntityDictionary;
     private validateNestedFunctionsConflicts;

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

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

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

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

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

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

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

@@ -20,8 +20,8 @@ export declare abstract class OutermostSemanticContextOfSubprogram extends Seman
     getTryStatementContext(): TryStatementContextKind | undefined;
     getOwnTypesOrContainersWithTypes(_initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(_name: Name, _initialContext: SemanticContext): readonly TypeOrContainerWithTypes[];
-    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
-    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers?: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarations(_initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
+    getOwnNamedDeclarationsByName(_name: Name, _initialContext: SemanticContext, _noInstanceMembers: boolean): readonly NamedDeclaration[];
 }
 export declare class FunctionSemanticContext extends OutermostSemanticContextOfSubprogram {
     readonly outer: SemanticContext;

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

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

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

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

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

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

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

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

package/build/types/diagnostic/DiagnosticCode.d.ts

@@ -100,147 +100,160 @@ export declare enum DiagnosticCode {
     MembersOfAspectTypeMustNotHaveBody = 2061,
     AspectTypeFieldsMustBeAbstract = 2062,
     DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 2063,
-    AbstractFieldsMustNotHaveInitializers = 2064,
-    PackageIsAlreadyImported = 2065,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 2066,
-    FunctionsUsingYieldStatementCannotReturnValue = 2067,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 2068,
-    YieldStatementCannotBeUsedHere = 2069,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 2070,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 2071,
-    YieldStatementCannotBeUsedInFinallyClause = 2072,
-    SubprogramMustReturnValue = 2073,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 2074,
-    TypeAliasReferencesItself = 2075,
-    TypeParameterHasCircularConstraint = 2076,
-    BaseTypeCausesInheritanceCycle = 2077,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 2078,
-    Expected0TypeArguments = 2079,
-    ExpectedFrom0To1TypeArguments = 2080,
-    Type0IsNotAssignableToConstraint1 = 2081,
-    VariableIsDeclaredButItsValueIsNeverRead = 2082,
-    FunctionIsDeclaredButNotUsed = 2083,
-    TypeParameterIsDeclaredButNotUsed = 2084,
-    DefaultConstructorArgumentsMustBeNamed = 2085,
-    IncorrectBodyOfBasicAliasTypeMethod = 2086,
-    TheFollowingDeclarationsAreNotTranslated0 = 2087,
-    TheFollowingDeclarationsAreNotTranslated0And1More = 2088,
-    TheFollowingTextsAreNotTranslated0 = 2089,
-    TheFollowingTextsAreNotTranslated0And1More = 2090,
-    OperatorFunction0MustNotHaveParameters = 2091,
-    OperatorFunction0MustHaveOneParameter = 2092,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 2093,
-    CorrespondingBasicTypeMemberNotFound = 2094,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2095,
-    TagNotFound = 2096,
-    TypeOrFunctionNameExpected = 2097,
-    PackageNameOrAliasExpected = 2098,
-    ExpressionCanBeNull = 2099,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2100,
-    UnreachableCode = 2101,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2102,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 2103,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 2104,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2105,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2106,
-    PackageAlreadyContainsDeclarationWithTheSameName = 2107,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2108,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2109,
-    PackageAliasWithTheSameNameAlreadyExits = 2110,
-    TypeAlreadyContainsDeclarationWithTheSameName = 2111,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2112,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2113,
-    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 2114,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2115,
-    TypeCanHaveOnlyOneDestructor = 2116,
-    TypeCanHaveOnlyOneDereferenceOperator = 2117,
-    VariableIsUsedBeforeItsDeclaration = 2118,
-    VariableMayNotHasBeenAssignedBeforeUsage = 2119,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2120,
-    WriteFunctionHasNoCorrespondingReadFunction = 2121,
-    TypeCannotHaveMultipleBaseObjectTypes = 2122,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2123,
-    PlainObjectTypeCannotBeUsedAsBaseType = 2124,
-    ThisTypeIsAlreadyListedInBaseTypeList = 2125,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2126,
-    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 2127,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2128,
-    ModifierListAlreadyContains0Modifier = 2129,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2130,
-    _0ModifierIsNotAllowedHere = 2131,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 2132,
-    PackageConstructorDeclarationCannotHaveModifiers = 2133,
-    PackageEntryPointDeclarationCannotHaveModifiers = 2134,
-    TranslationsCannotHaveModifiers = 2135,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2136,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2137,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2138,
-    _0ModifierCannotBeUsedWith1Modifier = 2139,
-    VariantValueCannotBeHidden = 2140,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 2141,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2142,
-    NotBasicObjectTypesCannotHaveBasicMembers = 2143,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 2144,
-    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 2145,
-    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 2146,
-    DeclarationConflictsWithBaseTypeMember0 = 2147,
-    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2148,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2149,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2150,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2151,
-    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2152,
-    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2153,
-    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2154,
-    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 2155,
-    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2156,
-    TypeDoesNotImplementMember0 = 2157,
-    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2158,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2159,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2160,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 2161,
-    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2162,
-    CannotAccessAbstractMemberOfBaseType = 2163,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2164,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2165,
-    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2166,
-    ThisCallCausesOwnConstructorCallCycle = 2167,
-    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2168,
-    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2169,
-    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2170,
-    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2171,
-    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2172,
-    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2173,
-    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2174,
-    CannotInferTypeArguments = 2175,
-    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2176,
-    ConstantVariablesBustBeInitialized = 2177,
-    VariableTypeIsNotSpecified = 2178,
-    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2179,
-    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2180,
-    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2181,
-    RequiredParametersCannotFollowOptionalParameters = 2182,
-    ExpressionCannotBeReferenced = 2183,
-    TextIsMissingAmongPrimaryTextTranslationDefinitions = 2184,
-    DeclarationHasAlreadyBeenTranslated = 2185,
-    TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2186,
-    TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2187,
-    TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName = 2188,
-    TranslationOfFunctionTypeMustIncludeParameterList = 2189,
-    OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2190,
-    Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2191,
-    TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2192,
-    TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2193,
-    TextTranslationAlreadyExistsInTheTextTranslationPackage = 2194,
-    PackageDoesNotContainImplementationOf0 = 2195,
-    TypeDoesNotContainImplementationOf0 = 2196,
-    ImplementationVariableMustNotBeConstOrHaveWriteFunctionToMatchInterfacePackageVariable0 = 2197,
-    ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2198,
-    ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2199,
-    ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2200,
-    ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2201,
-    ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2202,
-    ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2203,
-    ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2204,
+    ReducedTypeMembersMustNotHaveBody = 2064,
+    AbstractFieldsMustNotHaveInitializers = 2065,
+    ReducedTypeFieldsMustNotHaveInitializers = 2066,
+    PackageIsAlreadyImported = 2067,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 2068,
+    FunctionsUsingYieldStatementCannotReturnValue = 2069,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 2070,
+    YieldStatementCannotBeUsedHere = 2071,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 2072,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 2073,
+    YieldStatementCannotBeUsedInFinallyBlock = 2074,
+    SubprogramMustReturnValue = 2075,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 2076,
+    TypeAliasReferencesItself = 2077,
+    ReducedTypeReferencesItself = 2078,
+    TypeParameterHasCircularConstraint = 2079,
+    BaseTypeCausesInheritanceCycle = 2080,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 2081,
+    Expected0TypeArguments = 2082,
+    ExpectedFrom0To1TypeArguments = 2083,
+    Type0IsNotAssignableToConstraint1 = 2084,
+    VariableIsDeclaredButItsValueIsNeverRead = 2085,
+    FunctionIsDeclaredButNotUsed = 2086,
+    TypeParameterIsDeclaredButNotUsed = 2087,
+    DefaultConstructorArgumentsMustBeNamed = 2088,
+    IncorrectBodyOfBasicAliasTypeMethod = 2089,
+    TheFollowingDeclarationsAreNotTranslated0 = 2090,
+    TheFollowingDeclarationsAreNotTranslated0And1More = 2091,
+    TheFollowingTextsAreNotTranslated0 = 2092,
+    TheFollowingTextsAreNotTranslated0And1More = 2093,
+    OperatorFunction0MustNotHaveParameters = 2094,
+    OperatorFunction0MustHaveOneParameter = 2095,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 2096,
+    CorrespondingBasicTypeMemberNotFound = 2097,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 2098,
+    TagNotFound = 2099,
+    TypeOrFunctionNameExpected = 2100,
+    PackageNameOrAliasExpected = 2101,
+    ExpressionCanBeNull = 2102,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 2103,
+    UnreachableCode = 2104,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 2105,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 2106,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 2107,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2108,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 2109,
+    PackageAlreadyContainsDeclarationWithTheSameName = 2110,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 2111,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 2112,
+    PackageAliasWithTheSameNameAlreadyExits = 2113,
+    TypeAlreadyContainsDeclarationWithTheSameName = 2114,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 2115,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 2116,
+    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 2117,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 2118,
+    TypeCanHaveOnlyOneDestructor = 2119,
+    TypeCanHaveOnlyOneDereferenceOperator = 2120,
+    VariableIsUsedBeforeItsDeclaration = 2121,
+    VariableMayNotHasBeenAssignedBeforeUsage = 2122,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 2123,
+    WriteFunctionHasNoCorrespondingReadFunction = 2124,
+    TypeCannotHaveMultipleBaseObjectTypes = 2125,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 2126,
+    PlainObjectTypeCannotBeUsedAsBaseType = 2127,
+    ThisTypeIsAlreadyListedInBaseTypeList = 2128,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 2129,
+    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 2130,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 2131,
+    ModifierListAlreadyContains0Modifier = 2132,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 2133,
+    _0ModifierIsNotAllowedHere = 2134,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 2135,
+    PackageConstructorDeclarationCannotHaveModifiers = 2136,
+    PackageEntryPointDeclarationCannotHaveModifiers = 2137,
+    TranslationsCannotHaveModifiers = 2138,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 2139,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 2140,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 2141,
+    _0ModifierCannotBeUsedWith1Modifier = 2142,
+    VariantValueCannotBeHidden = 2143,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 2144,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 2145,
+    NotBasicObjectTypesCannotHaveBasicMembers = 2146,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 2147,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 2148,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 2149,
+    DeclarationConflictsWithBaseTypeMember0 = 2150,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 2151,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 2152,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 2153,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 2154,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 2155,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 2156,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 2157,
+    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 2158,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 2159,
+    TypeDoesNotImplementMember0 = 2160,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 2161,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 2162,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 2163,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 2164,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 2165,
+    CannotAccessAbstractMemberOfBaseType = 2166,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 2167,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 2168,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 2169,
+    ThisCallCausesOwnConstructorCallCycle = 2170,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2171,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 2172,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 2173,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2174,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 2175,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 2176,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 2177,
+    CannotInferTypeArguments = 2178,
+    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 2179,
+    ConstantVariablesBustBeInitialized = 2180,
+    VariableTypeIsNotSpecified = 2181,
+    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 2182,
+    TypeParameterDefaultCanReferenceOnlyPreviouslyDeclaredTypeParameters = 2183,
+    RequiredTypeParametersCannotFollowTypeParametersWithDefaults = 2184,
+    RequiredParametersCannotFollowOptionalParameters = 2185,
+    ExpressionCannotBeReferenced = 2186,
+    TextIsMissingAmongPrimaryTextTranslationDefinitions = 2187,
+    DeclarationHasAlreadyBeenTranslated = 2188,
+    TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters = 2189,
+    TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters = 2190,
+    TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName = 2191,
+    TranslationOfFunctionTypeMustIncludeParameterList = 2192,
+    OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary = 2193,
+    Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 = 2194,
+    TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 = 2195,
+    TranslatedOverridingMember0MustTheSameNameAsBaseMember1 = 2196,
+    TextTranslationAlreadyExistsInTheTextTranslationPackage = 2197,
+    PackageDoesNotContainImplementationOf0 = 2198,
+    TypeDoesNotContainImplementationOf0 = 2199,
+    ImplementationVariableMustNotBeConstOrHaveWriteFunctionToMatchInterfacePackageVariable0 = 2200,
+    ImplementationFunctionMustBeAsyncToMatchInterfacePackageFunction0 = 2201,
+    ImplementationFunctionMustNotBeAsyncToMatchInterfacePackageFunction0 = 2202,
+    ImplementationTypeMustBeBasicToMatchInterfacePackageType0 = 2203,
+    ImplementationTypeMustNotBeAbstractToMatchInterfacePackageType0 = 2204,
+    ImplementationTypeMemberMustBeBasicToMatchInterfacePackageTypeMember0 = 2205,
+    ImplementationTypeMemberMustNotBeAbstractToMatchInterfacePackageTypeMember0 = 2206,
+    ImplementationTypeMemberMustHaveWriteFunctionToMatchInterfacePackageTypeMember0 = 2207,
+    BreakLoopAndContinueLoopStatementsCanOnlyBeUsedInsideALoop = 2208,
+    BreakLoopAndContinueLoopStatementsCannotBeUsedInFinallyBlock = 2209,
+    TheCodeWasExpectedToBeUnreachable = 2210,
+    CorrespondingReductionSourceTypeMemberNotFound = 2211,
+    OnlyTypesPresentInBaseTypeListOrReductionSourceCanBeSpecified = 2212,
+    ReducedTypeMemberMustHaveTheSameHidingLevelAsReductionSourceMember = 2213,
+    ReducedTypeFieldMustBeConstOrHaveNoWriteFunctionToMatchReductionSourceField = 2214,
+    ReducedTypeMethodMustBeAsyncToMatchReductionSourceMethod = 2215,
+    ReducedTypeMethodMustNotBeAsyncToMatchReductionSourceMethod = 2216,
+    ReducedTypeMemberMustHaveNoWriteFunctionToMatchReductionSourceMember = 2217,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

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

@@ -118,10 +118,11 @@ export declare class TypeOrExtensionEntityDetails {
 export declare enum TypeOrExtensionEntityKind {
     StructuredType = 0,
     AliasType = 1,
-    VariantType = 2,
-    FunctionType = 3,
-    ParameterType = 4,
-    TypeExtension = 5
+    ReducedType = 2,
+    VariantType = 3,
+    FunctionType = 4,
+    ParameterType = 5,
+    TypeExtension = 6
 }
 export declare enum StructuredTypeKind {
     RefObject = 0,