@artel/artc 0.6.25282 → 0.6.25284

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

@@ -100,137 +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,
+    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,

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

@@ -15,7 +15,7 @@ export declare class EntityMap {
     private readonly functions;
     private readonly typeOrExtensions;
     private readonly packages;
-    private readonly linkedPackages;
+    private readonly implementationPackages;
     constructor(analyzer: Analyzer, targetPlatform: PlatformKind);
     getVariableEntity(entity: analyzerEntities.VariableEntity): emitterEntities.VariableEntity;
     getNamedFunctionEntity(entity: analyzerEntities.NamedFunctionEntity): emitterEntities.FunctionEntity;
@@ -29,6 +29,7 @@ export declare class EntityMap {
     getTypeParameterEntity(entity: analyzerEntities.TypeParameterEntity): emitterEntities.TypeOrExtensionEntity;
     getFunctionTypeEntity(entity: analyzerEntities.FunctionTypeEntity): emitterEntities.TypeOrExtensionEntity;
     getAliasTypeEntity(entity: analyzerEntities.AliasTypeEntity): emitterEntities.TypeOrExtensionEntity;
+    getReducedTypeEntity(entity: analyzerEntities.ReducedTypeEntity): emitterEntities.TypeOrExtensionEntity;
     getTypeExtensionEntity(entity: analyzerEntities.TypeExtensionEntity): emitterEntities.TypeOrExtensionEntity;
     getTypeOrExtensionEntity(entity: analyzerEntities.TypeOrExtensionEntity): emitterEntities.TypeOrExtensionEntity;
     getPackageEntity(entity: analyzerEntities.PackageEntity): emitterEntities.PackageEntity;
@@ -37,6 +38,9 @@ export declare class EntityMap {
     private getPackageEntityInternal;
     private createTypeMembers;
     private getContainingPackageAndAccumulateIfMember;
+    private tryGetReductionSourceMemberGetter;
+    private tryGetReductionSourceMemberSetter;
+    private getReductionSourceMember;
     private getEntityNameText;
     private getNameText;
     private isDefaultExport;

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

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

package/build/types/emitter/ir/Nodes.d.ts

@@ -1081,7 +1081,13 @@ export declare const enum AssignmentOperatorKind {
     SubtractEquals = 2,
     MultiplyEquals = 3,
     DivideEquals = 4,
-    IntegerDivideEquals = 5
+    IntegerDivideEquals = 5,
+    BitwiseAndEquals = 6,
+    BitwiseOrEquals = 7,
+    BitwiseXorEquals = 8,
+    LeftShiftEquals = 9,
+    SignedRightShiftEquals = 10,
+    UnsignedRightShiftEquals = 11
 }
 export declare const enum PrefixUnaryExpressionOperatorKind {
     Plus = 0,
@@ -1108,5 +1114,8 @@ export declare const enum BinaryExpressionOperatorKind {
     Modulo = 15,
     BitwiseAnd = 16,
     BitwiseOr = 17,
-    BitwiseXor = 18
+    BitwiseXor = 18,
+    LeftShift = 19,
+    SignedRightShift = 20,
+    UnsignedRightShift = 21
 }

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

@@ -1,8 +1,5 @@
 import { Analyzer } from '../analysis/Analyzer.js';
-import { SemanticContext } from '../analysis/semantic-context/SemanticContext.js';
-import { PackageDialect, PackageLocale } from '../common/index.js';
 import * as types from '../types/index.js';
-import { IEntityHidingMatcher } from './EntityHiding.js';
 import { AliasTypeEntity } from './interfaces/AliasTypeEntity.js';
 import { ConstructorEntity } from './interfaces/ConstructorEntity.js';
 import { DereferenceOperatorEntity } from './interfaces/DereferenceOperatorEntity.js';
@@ -14,6 +11,7 @@ import { IndexerEntity } from './interfaces/IndexerEntity.js';
 import { OperatorEntity } from './interfaces/OperatorEntity.js';
 import { PackageAliasEntity } from './interfaces/PackageAliasEntity.js';
 import { PackageEntity } from './interfaces/PackageEntity.js';
+import { ReducedTypeEntity } from './interfaces/ReducedTypeEntity.js';
 import { SetterEntity } from './interfaces/SetterEntity.js';
 import { AnonymousStructuredTypeEntity, PackageStructuredTypeEntity, StructuredTypeEntity } from './interfaces/StructuredTypeEntity.js';
 import { TextTranslationEntity } from './interfaces/TextTranslationEntity.js';
@@ -43,13 +41,13 @@ export declare const enum EntityKind {
     Package = 12,
     TextTranslation = 13
 }
-export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | TypeExtensionEntity | TextTranslationEntity;
-export type PackageTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity;
+export type Entity = PackageEntity | VariableEntity | VariantTypeEntity | GetterEntity | SetterEntity | FunctionEntity | TypeParameterEntity | OperatorEntity | IndexerEntity | DereferenceOperatorEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity | TypeExtensionEntity | TextTranslationEntity;
+export type PackageTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isPackageTypeEntity(entity: Entity): entity is PackageTypeEntity;
-export type NamedTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
+export type NamedTypeEntity = PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageVariantTypeEntity | AliasTypeEntity | ReducedTypeEntity | TypeParameterEntity;
 export type AnonymousTypeEntity = AnonymousStructuredTypeEntity | AnonymousFunctionTypeEntity | AnonymousVariantTypeEntity;
 export declare function isAnonymousTypeEntity(entity: Entity): entity is AnonymousTypeEntity;
-export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity;
+export type TypeEntityWithMembers = FunctionTypeEntity | StructuredTypeEntity | VariantTypeEntity | AliasTypeEntity | ReducedTypeEntity;
 export declare function isTypeEntityWithMembers(entity: Entity): entity is TypeEntityWithMembers;
 export type TypeOrExtensionEntity = TypeEntity | TypeExtensionEntity;
 export type TypeWithMembersOrExtensionEntity = TypeEntityWithMembers | TypeExtensionEntity;
@@ -58,7 +56,7 @@ export declare namespace TypeWithMembersOrExtensionEntity {
 }
 export declare function isTypeWithMembersOrExtensionEntity(entity: Entity): entity is TypeWithMembersOrExtensionEntity;
 export declare function isTypeEntity(entity: Entity): entity is TypeEntity;
-export declare function isNamedTypeEntity(entity: TypeEntity): entity is NamedTypeEntity;
+export declare function isNamedTypeEntity(entity: Entity): entity is NamedTypeEntity;
 export type PackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity | TypeExtensionEntity | TextTranslationEntity;
 export declare function isPackageMemberEntity(entity: Entity): entity is PackageMemberEntity;
 export type NamedPackageMemberEntity = PackageVariableEntity | PackageFunctionEntity | PackageTypeEntity;
@@ -68,6 +66,7 @@ export declare function isTypeMemberEntity(entity: Entity): entity is TypeMember
 export declare namespace TypeMemberEntity {
     function isAspectTypeMember(entity: TypeMemberEntity): boolean;
     function isRefObjectTypeMember(entity: TypeMemberEntity): boolean;
+    function isReducedTypeMember(entity: TypeMemberEntity): boolean;
     /**
      * Возвращает `true`, если объявление является всеобщим (помечено модификатором "всеобщее").
      */
@@ -90,24 +89,16 @@ export declare namespace TypeMemberEntity {
 }
 export type NamedTypeMemberEntity = FieldEntity | MethodEntity;
 export declare function isNamedTypeMemberEntity(entity: Entity): entity is NamedTypeMemberEntity;
-export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity;
+export type NamedEntity = VariableEntity | PackageVariantTypeEntity | NamedFunctionEntity | TypeParameterEntity | PackageFunctionTypeEntity | PackageStructuredTypeEntity | PackageAliasEntity | AliasTypeEntity | ReducedTypeEntity;
 export type PackageOrNestedFunctionEntity = PackageFunctionEntity | NestedFunctionEntity;
 export type AccessorEntity = GetterEntity | SetterEntity;
+export declare function isAccessorEntity(entity: Entity): entity is AccessorEntity;
 export type EntityWithTypeParameters = EntityContainingTypeParameter;
 export declare function isEntityWithTypeParameters(entity: Entity): entity is EntityWithTypeParameters;
 export type EntityWithParameters = Exclude<EntityContainingParameter, PackageEntity>;
 export declare function isEntityWithParameters(entity: Entity): entity is EntityWithParameters;
 export type NamedFunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity;
 export declare function isNamedFunctionEntity(entity: Entity): entity is NamedFunctionEntity;
-export declare class EntityContext {
-    readonly containingPackage: PackageEntity;
-    readonly hidingMatcher: IEntityHidingMatcher;
-    readonly typeExtensionLookup: SemanticContext | undefined;
-    get locale(): PackageLocale;
-    get packageDialect(): PackageDialect;
-    constructor(containingPackage: PackageEntity, hidingMatcher: IEntityHidingMatcher, typeExtensionLookup: SemanticContext | undefined);
-    static fromSemanticContext(semanticContext: SemanticContext): EntityContext;
-}
 export declare function entityToStringDecorator<T extends {
     new (...args: any[]): Entity;
 }>(constructor: T): void;

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

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

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

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

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

@@ -1,7 +1,7 @@
 import { Tag } from '../analysis/Tag.js';
 import { Translation } from '../analysis/Translation.js';
 import { PackageDialect, PackageLocale } from '../common/index.js';
-import { EntityKind, PackageEntity } from './index.js';
+import { Entity, EntityKind, PackageEntity } from './index.js';
 export interface IEntity {
     readonly kind: EntityKind;
     getContainingPackage(): PackageEntity;
@@ -9,4 +9,5 @@ export interface IEntity {
     getLocale(): PackageLocale;
     getDialect(): PackageDialect;
     getTags(): readonly Tag[];
+    getOriginalEntity(): Entity;
 }

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

@@ -18,12 +18,15 @@ export declare enum OperatorKind {
     Xor = 15,
     BitwiseAnd = 16,
     BitwiseOr = 17,
-    BitwiseXor = 18
+    BitwiseXor = 18,
+    LeftShift = 19,
+    SignedRightShift = 20,
+    UnsignedRightShift = 21
 }
 /**
  * Виды операторов, задаваемых токенами (`+`, `-`, `*=` и др.).
  */
-export type KindOfOperatorDefinedByToken = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
+export type KindOfOperatorDefinedByToken = OperatorKind.UnaryPlus | OperatorKind.UnaryMinus | OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor | OperatorKind.LeftShift | OperatorKind.SignedRightShift | OperatorKind.UnsignedRightShift;
 export declare function isOperatorDefinedByToken(kind: OperatorKind): kind is KindOfOperatorDefinedByToken;
 /**
  * Виды операторов, задаваемых ключевыми словами (`и`, `или`, `не` и др.)
@@ -38,7 +41,7 @@ export declare function isUnaryOperator(kind: OperatorKind): kind is UnaryOperat
 /**
 * Виды двухместных операторов. Объявление двухместного оператора должно содержать один параметр.
 */
-export type BinaryOperatorKind = OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.Or | OperatorKind.And | OperatorKind.Xor | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor;
+export type BinaryOperatorKind = OperatorKind.Add | OperatorKind.Subtract | OperatorKind.Multiply | OperatorKind.Divide | OperatorKind.IntegerDivide | OperatorKind.Modulo | OperatorKind.LessThan | OperatorKind.GreaterThan | OperatorKind.LessThanOrEqual | OperatorKind.GreaterThanOrEqual | OperatorKind.Or | OperatorKind.And | OperatorKind.Xor | OperatorKind.BitwiseAnd | OperatorKind.BitwiseOr | OperatorKind.BitwiseXor | OperatorKind.LeftShift | OperatorKind.SignedRightShift | OperatorKind.UnsignedRightShift;
 export declare function isBinaryOperator(kind: OperatorKind): kind is BinaryOperatorKind;
 export type KindOfUnaryOperatorDefinedByToken = UnaryOperatorKind & KindOfOperatorDefinedByToken;
 export type KindOfUnaryOperatorDefinedByKeyword = UnaryOperatorKind & KindOfOperatorDefinedByKeyword;

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

@@ -1,20 +1,21 @@
-import { Tag } from '../analysis/Tag.js';
 import { IEntity } from './IEntity.js';
-import { AliasTypeEntity, EntityContext, EntityKind, FunctionTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
-export type TypeEntity = StructuredTypeEntity | FunctionTypeEntity | VariantTypeEntity | AliasTypeEntity | TypeParameterEntity;
+import { AliasTypeEntity, EntityKind, FunctionTypeEntity, ReducedTypeEntity, StructuredTypeEntity, TypeParameterEntity, VariantTypeEntity } from './index.js';
+export type TypeEntity = StructuredTypeEntity | FunctionTypeEntity | VariantTypeEntity | AliasTypeEntity | TypeParameterEntity | ReducedTypeEntity;
 export declare namespace TypeEntity {
     function isAbstract(entity: TypeEntity): boolean;
+    function isAbstractOrAliasedAbstract(entity: TypeEntity): boolean;
+    function isBasic(entity: TypeEntity): boolean;
+    function isBasicOrAliasedBasic(entity: TypeEntity): boolean;
 }
 export interface ITypeEntity extends IEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind;
-    getContext(): EntityContext;
-    getTags(): readonly Tag[];
 }
 export declare enum TypeEntityKind {
     Function = 0,
     Structured = 1,
     Parameter = 2,
     Variant = 3,
-    Alias = 4
+    Alias = 4,
+    Reduced = 5
 }

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

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

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

@@ -1,16 +1,13 @@
-import { Tag } from '../../analysis/Tag.js';
-import { Translation } from '../../analysis/Translation.js';
 import { Analyzer } from '../../analysis/index.js';
 import { Name } from '../../common/index.js';
 import * as tree from '../../tree/index.js';
 import * as types from '../../types/index.js';
 import { TypeEntityMembers } from '../TypeEntityMembers.js';
-import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, PackageEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
+import { DefinitionKind, EntityHidingLevel, EntityKind, ITypeEntity, SubstitutionApplicationMode, TypeEntityKind, TypeParameterEntity } from '../index.js';
 export interface AliasTypeEntity extends ITypeEntity {
     readonly kind: EntityKind.Type;
     readonly typeEntityKind: TypeEntityKind.Alias;
     getName(): Name;
-    getContainingPackage(): PackageEntity;
     /**
      * При каждом вызове метод должен возвращать один и тот же экземпляр класса AliasedType.
      */
@@ -20,9 +17,7 @@ export interface AliasTypeEntity extends ITypeEntity {
     getMembers(): TypeEntityMembers;
     getArity(): number;
     isHidden(): EntityHidingLevel | undefined;
-    getTags(): readonly Tag[];
     getSubstitutionApplicationMode(): SubstitutionApplicationMode;
-    getTranslation(): Translation | undefined;
     getOriginalEntity(): AliasTypeEntity;
     ensureAllDiagnosticsReported?(): void;
 }