@artel/artc 0.6.25254 → 0.6.25256

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

@@ -1,5 +1,5 @@
 import { Name } from '../../common/index.js';
-import { EntityHidingLevel, FunctionEntity, NamedTypeEntity, PackageAliasEntity, VariableEntity } from '../../entities/index.js';
+import { EntityHidingLevel, FunctionEntity, NamedTypeEntity, PackageAliasEntity, PackageOrNestedFunctionEntity, VariableEntity } from '../../entities/index.js';
 import * as types from '../../types/index.js';
 import { PackageNameTreeNode } from '../ImportedPackageNameTree.js';
 export type TypeOrContainerWithTypes = NamedDeclaration_type | NamedDeclaration_packageAlias | NamedDeclaration_packageNameSegment;
@@ -15,10 +15,10 @@ export type NamedDeclarationFunction = NamedDeclarationFunction_entity | NamedDe
 export declare class NamedDeclarationFunction_entity implements INamedDeclarationFunction {
     readonly kind = "entity";
     private readonly _valueParameters;
-    readonly value: FunctionEntity;
-    constructor(value: FunctionEntity);
+    readonly value: PackageOrNestedFunctionEntity;
+    constructor(value: PackageOrNestedFunctionEntity);
     getName(): Name;
-    getEntity(): FunctionEntity;
+    getEntity(): PackageOrNestedFunctionEntity;
     getTypeParameterArity(): number;
     isHidden(): EntityHidingLevel | undefined;
     getValueParameters(): readonly ValueParameter[];

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

@@ -10,6 +10,10 @@ import { FunctionDeclaration, GetterDeclaration, RegularOrBlockFunctionLiteral,
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 export declare abstract class SemanticContextBase {
+    protected static readonly _emptyTypesOrContainersWithTypes: readonly TypeOrContainerWithTypes[];
+    protected static readonly _emptyNamedDeclarations: readonly NamedDeclaration[];
+    protected static readonly _emptyOperators: readonly types.Operator[];
+    protected static readonly _emptyTypeExtensions: readonly TypeExtensionEntity[];
     abstract readonly outer: SemanticContext | undefined;
     protected abstract readonly asContext: SemanticContext;
     abstract getContainingSubprogram(): SubprogramInfo | undefined;

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

@@ -81,6 +81,7 @@ export declare class SemanticContextBuilder {
     private ofIndexedElementGetterDeclarationChild;
     private ofIndexedElementSetterDeclarationChild;
     private ofChildOfTypeExtensionDeclaration;
+    private isOffsetInsideNode;
     private isOffsetBetweenNodes;
     private isOffsetInsideStatementBlock;
     private isOffsetInsideFunctionBlock;

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

@@ -22,7 +22,6 @@ export * from '../analysis/SourcePackageDependencyGraph.js';
 export * from '../analysis/SubstitutedFunction.js';
 export type { Meaning as TagMeaning } from '../analysis/TagMeaning.js';
 export * from '../analysis/Tags.js';
-export * from '../analysis/TargetTypeHint.js';
 export * from '../analysis/TypeMemberLookup.js';
 export * from '../analysis/Utils.js';
 export * from '../analysis/Visitor.js';
@@ -43,7 +42,6 @@ export * from '../parser/Scanner.js';
 export { TokenKind as ScannerTokenKind } from '../parser/TokenKind.js';
 export * from '../parser/UnescapeText.js';
 export * from '../project/index.js';
-export * as green from '../tree/green/index.js';
 export * as tree from '../tree/index.js';
 export * from '../ts-interop/TsLibrariesProvider.js';
 export * from '../ts-interop/Utils.js';

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

@@ -5,8 +5,11 @@ export declare class ArrayUtils {
      * Работает быстрее, чем `array.splice(index, 1)`, и не выделяет память для массива удалённых элементов.
      */
     static removeElement<T>(array: T[], index: number): void;
-    static pushElementIfUniqueComparingWithEquals<T extends WithEqualsMethod<T>>(array: T[], element: T): boolean;
-    static pushElementsIfUniqueComparingWithEquals<T extends WithEqualsMethod<T>>(array: T[], elements: readonly T[]): void;
+    static pushElementIfUniqueComparingWithEquals<T extends WithEqualsMethod<T>>(array: T[] | undefined, element: T): boolean;
+    static pushElementsIfUniqueComparingWithEquals<T extends WithEqualsMethod<T>>(array: T[] | undefined, elements: readonly T[]): void;
+    static count<T>(array: readonly T[], cb: (v: T) => boolean): number;
+    static compareWithEqualsIgnoringOrder<T extends WithEqualsMethod<T>>(array1: readonly T[], array2: readonly T[]): boolean;
+    static compareWithComparatorIgnoringOrder<T1, T2>(array1: readonly T1[], array2: readonly T2[], comparator: (e1: T1, e2: T2) => boolean): boolean;
 }
 export type WithEqualsMethod<T> = {
     equals(t: T): boolean;

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

@@ -2,7 +2,11 @@ export declare class Cached<T> {
     private _hasValue;
     private _value?;
     private _isEvaluating;
+    get hasValue(): boolean;
+    insert(value: T): void;
     getOrInsertWith(fn: () => T): T;
     clear(): void;
     getCachedValue(): T | undefined;
 }
+export declare class RecursiveCachedValueEvaluationError extends Error {
+}

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

@@ -7,6 +7,8 @@ export declare class Lazy<T> {
     get value(): T;
     getCachedValue(): T | undefined;
 }
+export declare class RecursiveLazyValueEvaluationError extends Error {
+}
 export type MaybeLazy<T> = Lazy<T> | T;
 export declare namespace MaybeLazy {
     function getValue<T>(maybeLazy: MaybeLazy<T>): T;

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

@@ -5,7 +5,7 @@ export declare abstract class Query<T> implements Iterable<T> {
     static empty<T>(): Query<T>;
     static ofSuccessors<T>(first: T, next: (t: T) => T | undefined): Query<T>;
     abstract [Symbol.iterator](): Iterator<T, void, undefined>;
-    map<K>(fn: (t: T) => K): Query<K>;
+    map<K>(fn: (t: T, i: number) => K): Query<K>;
     forEach(fn: (t: T) => void): void;
     exhaust(): void;
     last(): T | undefined;

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

@@ -1,53 +1,19 @@
 import { Analyzer } from '../analysis/index.js';
-import { StructuredTypeDeclaration, TypeWithMembersDeclaration, VariantTypeDeclaration } from '../analysis/NodeTypeUtils.js';
-import { Entity, PackageEntity, TypeEntity, TypeEntityWithMembers } from '../entities/index.js';
-import { SourceFile } from '../project/index.js';
+import { TypeWithMembersDeclaration } from '../analysis/NodeTypeUtils.js';
+import { PackageEntity, TypeEntity } from '../entities/index.js';
+import { SourceFile, SourcePackage } from '../project/index.js';
 import * as tree from '../tree/index.js';
 import { PackageLocale } from './PackageLocale.js';
-export declare abstract class TreeQuery {
-    protected abstract get node(): tree.Node;
-    static fromNode(node: tree.Node): NodeQuery;
-    static fromTypeMemberDeclaration(node: tree.TypeMemberDeclaration): TypeMemberDeclarationQuery;
-    sourceFile(): tree.SourceFile;
-    projectSourceFile(analyzer: Analyzer): SourceFile;
-    packageEntity(analyzer: Analyzer): PackageEntity;
-    locale(analyzer: Analyzer): PackageLocale;
-    containingEntity(analyzer: Analyzer): Entity;
+export declare class TreeQuery {
+    static getSourceFileNode(node: tree.Node): tree.SourceFile;
+    static getSourceFile(node: tree.Node, analyzer: Analyzer): SourceFile;
+    static getSourcePackage(node: tree.Node, analyzer: Analyzer): SourcePackage;
+    static getPackageEntity(node: tree.Node, analyzer: Analyzer): PackageEntity;
+    static getLocale(node: tree.Node, analyzer: Analyzer): PackageLocale;
 }
-declare class NodeQuery extends TreeQuery {
-    private readonly _node;
-    constructor(_node: tree.Node);
-    protected get node(): tree.Node;
+export declare class TypeMemberQuery {
+    static getContainingDeclaration(node: tree.TypeMemberDeclaration): TypeWithMemberOrTypeExtensionDeclaration;
+    static getOutermostMemberBlock(node: tree.TypeMemberDeclaration): tree.TypeMemberDeclarationBlock;
+    static getContextualTypeEntity(node: tree.TypeMemberDeclaration, analyzer: Analyzer): TypeEntity | undefined;
 }
-declare class TypeMemberDeclarationQuery extends TreeQuery {
-    private readonly _node;
-    constructor(_node: tree.TypeMemberDeclaration);
-    protected get node(): tree.Node;
-    container(): TypeMemberDeclarationContainer;
-}
-export type TypeMemberDeclarationContainer = TypeMemberDeclarationContainer_type | TypeMemberDeclarationContainer_typeExtension;
-declare class TypeMemberDeclarationContainer_type implements ITypeMemberDeclarationContainer {
-    readonly declaration: TypeWithMembersDeclaration;
-    readonly memberBlock: tree.TypeMemberDeclarationBlock;
-    readonly kind = "type";
-    constructor(declaration: TypeWithMembersDeclaration, memberBlock: tree.TypeMemberDeclarationBlock);
-    getNode(): TypeWithMembersDeclaration;
-    getMemberBlock(): tree.TypeMemberDeclarationBlock;
-    getTypeEntity(analyzer: Analyzer): TypeEntityWithMembers;
-    getContextualTypeEntity(analyzer: Analyzer): TypeEntity | undefined;
-}
-declare class TypeMemberDeclarationContainer_typeExtension implements ITypeMemberDeclarationContainer {
-    readonly declaration: tree.TypeExtensionDeclaration;
-    readonly memberBlock: tree.TypeMemberDeclarationBlock;
-    readonly kind = "type-extension";
-    constructor(declaration: tree.TypeExtensionDeclaration, memberBlock: tree.TypeMemberDeclarationBlock);
-    getNode(): tree.TypeExtensionDeclaration;
-    getMemberBlock(): tree.TypeMemberDeclarationBlock;
-    getContextualTypeEntity(analyzer: Analyzer): TypeEntity | undefined;
-}
-interface ITypeMemberDeclarationContainer {
-    getNode(): StructuredTypeDeclaration | VariantTypeDeclaration | tree.PackageAliasTypeDeclaration | tree.TypeExtensionDeclaration;
-    getMemberBlock(): tree.TypeMemberDeclarationBlock;
-    getContextualTypeEntity(analyzer: Analyzer): TypeEntity | undefined;
-}
-export {};
+export type TypeWithMemberOrTypeExtensionDeclaration = TypeWithMembersDeclaration | tree.TypeExtensionDeclaration;

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

@@ -1,6 +1,6 @@
 import * as tree from '../tree/index.js';
 import { CancellationToken } from './index.js';
-export declare function traverseTreeWithCancellationToken(root: tree.Node, cancellationToken: CancellationToken | undefined, throttleTimeMs: number, visitNodeCb: (node: tree.Node, controller: TraversalController) => void): Promise<void>;
+export declare function traverseTreeWithCancellationToken(root: tree.Node, cancellationToken: CancellationToken | undefined, throttleTimeMs: number, visitTokens: boolean, visitNodeCb: (node: tree.Node, controller: TraversalController) => void): Promise<void>;
 export declare function traverseTree(root: tree.Node, visitNodeCb: (node: tree.Node, controller: TraversalController) => void): void;
 export declare class TraversalController {
     isTraverseStopped: boolean;

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

@@ -7,7 +7,6 @@ export * from './Constants.js';
 export * from './Debug.js';
 export * from './Delayed.js';
 export * from './Displayable.js';
-export * from './Errors.js';
 export * from './FormatString.js';
 export * from './Interner.js';
 export * from './JavaScriptIdentifier.js';

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

@@ -1,3 +1,4 @@
+import { DiagnosticArgumentFactory } from '../analysis/DiagnosticArgumentFactory.js';
 import { Range } from '../common/index.js';
 import { TextFile } from '../project/TextFile.js';
 import { DiagnosticData } from './DiagnosticData.js';
@@ -14,6 +15,12 @@ export declare class DiagnosticLocation {
 export interface DiagnosticAcceptor {
     addDiagnostic(diagnostic: Diagnostic): void;
 }
+export declare class DiagnosticAcceptorWithArgumentFactory implements DiagnosticAcceptor {
+    readonly diagnosticAcceptor: DiagnosticAcceptor;
+    readonly argumentFactory: DiagnosticArgumentFactory;
+    constructor(diagnosticAcceptor: DiagnosticAcceptor, argumentFactory: DiagnosticArgumentFactory);
+    addDiagnostic(diagnostic: Diagnostic): void;
+}
 export declare class AccumulatingDiagnosticAcceptor implements DiagnosticAcceptor {
     readonly items: Diagnostic[];
     constructor(items?: Diagnostic[]);

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

@@ -13,30 +13,28 @@ export declare enum DiagnosticCode {
     StatementExpected = 107,
     ExpressionExpected = 108,
     ExpressionCannotBeUsedAsStatement = 109,
-    BaseTypeNameExpected = 110,
-    TypeSpecifierExpected = 111,
-    TypeBodyExpected = 112,
-    FunctionCallArgumentExpected = 113,
-    IndexedAccessArgumentExpected = 114,
-    TagArgumentExpected = 115,
+    Expected0But1Found = 110,
+    Delimiter0Expected = 111,
+    BaseTypeNameExpected = 112,
+    TypeSpecifierExpected = 113,
+    TypeBodyExpected = 114,
+    ParameterExpected = 115,
     TypeParameterExpected = 116,
-    ParameterExpected = 117,
-    CatchClauseOrFinallyClauseExpected = 118,
-    PackageImportExpected = 119,
-    DeclarationOrPackageImportExpected = 120,
-    Expected0But1Found = 121,
-    InvalidTextTemplate = 122,
-    ModifierListExpected = 123,
-    RunKeywordCreationKeywordOrModifierListExpected = 124,
-    HidingLevelExpected = 125,
-    ParameterNameCanContainOnlyOneBackQuote = 126,
-    FieldNameCanContainOnlyTwoBackQuote = 127,
-    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 128,
-    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 129,
-    TagNameExpected = 130,
-    TypeMemberTranslationExpected = 131,
-    TranslationExpected = 132,
-    TranslatedTextTemplateOrTranslationFunctionBlockExpected = 133,
+    CatchClauseOrFinallyClauseExpected = 117,
+    PackageImportExpected = 118,
+    DeclarationOrPackageImportExpected = 119,
+    InvalidTextTemplate = 120,
+    ModifierListExpected = 121,
+    RunKeywordCreationKeywordOrModifierListExpected = 122,
+    HidingLevelExpected = 123,
+    ParameterNameCanContainOnlyOneBackQuote = 124,
+    FieldNameCanContainOnlyTwoBackQuote = 125,
+    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 126,
+    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 127,
+    TagNameExpected = 128,
+    TypeMemberTranslationExpected = 129,
+    TranslationExpected = 130,
+    TranslatedTextTemplateOrTranslationFunctionBlockExpected = 131,
     TypeCannotBeUsedAsValue = 201,
     PackageNameCannotBeUsedAsValue = 202,
     PackageAliasCannotBeUsedAsValue = 203,
@@ -49,156 +47,165 @@ export declare enum DiagnosticCode {
     IndexerNotFound = 210,
     CannotAccessStaticMembersOnTypeParameter = 211,
     CannotCreateInstanceOfAspect = 212,
-    CannotCreateInstanceOfTypeParameter = 213,
-    CannotCreateInstanceOfUnresolvedType = 214,
-    ExpressionIsNotCallable = 215,
-    ParameterForPositionalArgumentNotFound = 216,
-    ParameterWithGivenNameNotFound = 217,
-    NamedArgumentExpectedButPositionalArgumentFound = 218,
-    ArgumentForParameterAlreadyAssigned = 219,
-    NotAllRequiredParametersAreProvidedWithArguments = 220,
-    UnknownVariable = 221,
-    UnknownType = 222,
-    TypeWithArity0NotFound = 223,
-    VariableUsedBeforeBeingDeclared = 224,
-    Type0IsNotAssignableToType1 = 225,
-    VariableNotFound = 226,
-    FunctionNotFound = 227,
-    UnknownPackage = 228,
-    CannotAssignValueToExpression = 229,
-    CannotDetermineTargetTypeToCallTheConstructor = 230,
-    AmbiguousAccess = 231,
-    AmbiguousAccess0 = 232,
-    CannotAssignValueToContextVariable = 233,
-    ExpectedPackageNameOrAliasButFoundType = 234,
-    TypeExpected = 235,
-    NameOfTypeOrPackageNotFound = 236,
-    TypeIsNotATag = 237,
-    Operator0IsNotDefinedForTypes1And2 = 238,
-    Operator0IsNotDefinedForType1 = 239,
-    VariantMustHaveAssociatedValue = 240,
-    TranslationsCanOnlyBeDeclaredInTranslationPackage = 241,
-    UnknownTranslatedPackage0 = 242,
-    BaseCannotBeUsedInThisContext = 243,
-    OverriddenMethodNotFound = 244,
-    ObjectCannotBeUsedInThisContext = 245,
-    BaseCannotBeUsedAsAnExpressionInItself = 246,
-    InterfacePackageMustNotContainImplementation = 247,
-    InterfacePackageVariablesMustNotHaveInitializers = 248,
-    BodyIsMissing = 249,
-    AbstractTypeMembersMustNotHaveBody = 250,
-    MembersOfAspectTypeMustNotHaveBody = 251,
-    AspectTypeFieldsMustBeAbstract = 252,
-    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 253,
-    AbstractFieldsMustNotHaveInitializers = 254,
-    PackageIsAlreadyImported = 255,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 256,
-    FunctionsUsingYieldStatementCannotReturnValue = 257,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 258,
-    YieldStatementCannotBeUsedHere = 259,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 260,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 261,
-    YieldStatementCannotBeUsedInFinallyClause = 262,
-    SubprogramMustReturnValue = 263,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 264,
-    TypeAliasReferencesItself = 265,
-    TypeParameterHasCircularConstraint = 266,
-    BaseTypeCausesInheritanceCycle = 267,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 268,
-    Expected0TypeArguments = 269,
-    ExpectedFrom0To1TypeArguments = 270,
-    Type0IsNotAssignableToConstraint1 = 271,
-    VariableIsDeclaredButItsValueIsNeverRead = 272,
-    FunctionIsDeclaredButNotUsed = 273,
-    TypeParameterIsDeclaredButNotUsed = 274,
-    DefaultConstructorArgumentsMustBeNamed = 275,
-    IncorrectBodyOfBasicAliasTypeMethod = 276,
-    TheFollowingDeclarationsAreNotTranslated0 = 277,
-    TheFollowingDeclarationAreNotTranslated0And1More = 278,
-    OperatorFunction0MustNotHaveParameters = 279,
-    OperatorFunction0MustHaveOneParameter = 280,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 281,
-    CorrespondingBasicTypeMemberNotFound = 282,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 283,
-    TagNotFound = 284,
-    TypeOrFunctionNameExpected = 285,
-    PackageNameOrAliasExpected = 286,
-    ExpressionCanBeNull = 287,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 288,
-    UnreachableCode = 289,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 290,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 291,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 292,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 293,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 294,
-    PackageAlreadyContainsDeclarationWithTheSameName = 295,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 296,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 297,
-    PackageAliasWithTheSameNameAlreadyExits = 298,
-    TypeAlreadyContainsDeclarationWithTheSameName = 299,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 300,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 301,
-    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 302,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 303,
-    TypeCanHaveOnlyOneDestructor = 304,
-    TypeCanHaveOnlyOneDereferenceOperator = 305,
-    VariableIsUsedBeforeItsDeclaration = 306,
-    VariableMayNotHasBeenAssignedBeforeUsage = 307,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 308,
-    WriteFunctionHasNoCorrespondingReadFunction = 309,
-    TypeCannotHaveMultipleBaseObjectTypes = 310,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 311,
-    PlainObjectTypeCannotBeUsedAsBaseType = 312,
-    ThisTypeIsAlreadyListedInBaseTypeList = 313,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 314,
-    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 315,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 316,
-    ModifierListAlreadyContains0Modifier = 317,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 318,
-    _0ModifierIsNotAllowedHere = 319,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 320,
-    PackageConstructorDeclarationCannotHaveModifiers = 321,
-    PackageEntryPointDeclarationCannotHaveModifiers = 322,
-    TranslationsCannotHaveModifiers = 323,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 324,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 325,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 326,
-    _0ModifierCannotBeUsedWith1Modifier = 327,
-    VariantDeclarationCannotHaveHiddenModifier = 328,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 329,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 330,
-    NotBasicObjectTypesCannotHaveBasicMembers = 331,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 332,
-    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 333,
-    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 334,
-    DeclarationConflictsWithBaseTypeMember0 = 335,
-    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 336,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 337,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 338,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 339,
-    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 340,
-    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 341,
-    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 342,
-    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 343,
-    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 344,
-    TypeDoesNotImplementMember0 = 345,
-    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 346,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 347,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 348,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 349,
-    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 350,
-    CannotAccessAbstractMemberOfBaseType = 351,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 352,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 353,
-    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 354,
-    ThisCallCausesOwnConstructorCallCycle = 355,
-    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 356,
-    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 357,
-    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 358,
-    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 359,
-    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 360,
-    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 361,
-    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 362,
+    CannotCreateInstanceOfAbstractType = 213,
+    CannotCreateInstanceOfTypeParameter = 214,
+    CannotCreateInstanceOfUnresolvedType = 215,
+    ExpressionIsNotCallable = 216,
+    ParameterForPositionalArgumentNotFound = 217,
+    ParameterWithGivenNameNotFound = 218,
+    PositionalArgumentsCannotFollowNamedArguments = 219,
+    ArgumentForParameterAlreadyAssigned = 220,
+    RequiredParameter0IsNotProvidedWithAnArgument = 221,
+    ExtraArgumentExpected0Arguments = 222,
+    ExtraArgumentExpectedFrom0ATo1Arguments = 223,
+    UnknownVariable = 224,
+    UnknownType = 225,
+    TypeWithArity0NotFound = 226,
+    VariableUsedBeforeBeingDeclared = 227,
+    Type0IsNotAssignableToType1 = 228,
+    Type0OfTheImplicitlyReturnedExpressionIsNotAssignableToType1 = 229,
+    VariableNotFound = 230,
+    FunctionNotFound = 231,
+    UnknownPackage = 232,
+    CannotAssignValueToExpression = 233,
+    CannotDetermineTargetTypeToCallTheConstructor = 234,
+    AmbiguousAccess = 235,
+    AmbiguousAccess0 = 236,
+    CannotAssignValueToContextVariable = 237,
+    ExpectedPackageNameOrAliasButFoundType = 238,
+    TypeExpected = 239,
+    NameOfTypeOrPackageNotFound = 240,
+    TypeIsNotATag = 241,
+    Operator0IsNotDefinedForTypes1And2 = 242,
+    Operator0IsNotDefinedForType1 = 243,
+    VariantMustHaveAssociatedValue = 244,
+    TranslationsCanOnlyBeDeclaredInTranslationPackage = 245,
+    UnknownTranslatedPackage0 = 246,
+    BaseCannotBeUsedInThisContext = 247,
+    OverriddenMethodNotFound = 248,
+    ObjectCannotBeUsedInThisContext = 249,
+    BaseCannotBeUsedAsAnExpressionInItself = 250,
+    InterfacePackageMustNotContainImplementation = 251,
+    InterfacePackageVariablesMustNotHaveInitializers = 252,
+    BodyIsMissing = 253,
+    AbstractTypeMembersMustNotHaveBody = 254,
+    MembersOfAspectTypeMustNotHaveBody = 255,
+    AspectTypeFieldsMustBeAbstract = 256,
+    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 257,
+    AbstractFieldsMustNotHaveInitializers = 258,
+    PackageIsAlreadyImported = 259,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 260,
+    FunctionsUsingYieldStatementCannotReturnValue = 261,
+    YieldStatementCannotBeUsedInAnonymousFunctions = 262,
+    YieldStatementCannotBeUsedHere = 263,
+    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 264,
+    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 265,
+    YieldStatementCannotBeUsedInFinallyClause = 266,
+    SubprogramMustReturnValue = 267,
+    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 268,
+    TypeAliasReferencesItself = 269,
+    TypeParameterHasCircularConstraint = 270,
+    BaseTypeCausesInheritanceCycle = 271,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 272,
+    Expected0TypeArguments = 273,
+    ExpectedFrom0To1TypeArguments = 274,
+    Type0IsNotAssignableToConstraint1 = 275,
+    VariableIsDeclaredButItsValueIsNeverRead = 276,
+    FunctionIsDeclaredButNotUsed = 277,
+    TypeParameterIsDeclaredButNotUsed = 278,
+    DefaultConstructorArgumentsMustBeNamed = 279,
+    IncorrectBodyOfBasicAliasTypeMethod = 280,
+    TheFollowingDeclarationsAreNotTranslated0 = 281,
+    TheFollowingDeclarationAreNotTranslated0And1More = 282,
+    OperatorFunction0MustNotHaveParameters = 283,
+    OperatorFunction0MustHaveOneParameter = 284,
+    OperatorFunction0MustHaveNoMoreThanOneParameter = 285,
+    CorrespondingBasicTypeMemberNotFound = 286,
+    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 287,
+    TagNotFound = 288,
+    TypeOrFunctionNameExpected = 289,
+    PackageNameOrAliasExpected = 290,
+    ExpressionCanBeNull = 291,
+    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 292,
+    UnreachableCode = 293,
+    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 294,
+    RecursionOccurredWhileInferringTheTypeOfTheVariable = 295,
+    ScopeAlreadyContainsDeclarationWithTheSameName = 296,
+    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 297,
+    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 298,
+    PackageAlreadyContainsDeclarationWithTheSameName = 299,
+    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 300,
+    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 301,
+    PackageAliasWithTheSameNameAlreadyExits = 302,
+    TypeAlreadyContainsDeclarationWithTheSameName = 303,
+    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 304,
+    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 305,
+    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 306,
+    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 307,
+    TypeCanHaveOnlyOneDestructor = 308,
+    TypeCanHaveOnlyOneDereferenceOperator = 309,
+    VariableIsUsedBeforeItsDeclaration = 310,
+    VariableMayNotHasBeenAssignedBeforeUsage = 311,
+    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 312,
+    WriteFunctionHasNoCorrespondingReadFunction = 313,
+    TypeCannotHaveMultipleBaseObjectTypes = 314,
+    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 315,
+    PlainObjectTypeCannotBeUsedAsBaseType = 316,
+    ThisTypeIsAlreadyListedInBaseTypeList = 317,
+    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 318,
+    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 319,
+    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 320,
+    ModifierListAlreadyContains0Modifier = 321,
+    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 322,
+    _0ModifierIsNotAllowedHere = 323,
+    DeclarationCannotBePlacedInGroupHaving0Modifier = 324,
+    PackageConstructorDeclarationCannotHaveModifiers = 325,
+    PackageEntryPointDeclarationCannotHaveModifiers = 326,
+    TranslationsCannotHaveModifiers = 327,
+    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 328,
+    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 329,
+    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 330,
+    _0ModifierCannotBeUsedWith1Modifier = 331,
+    VariantDeclarationCannotHaveHiddenModifier = 332,
+    BasicModifierCanOnlyBeAppliedToObjectTypes = 333,
+    AbstractModifierCanOnlyBeAppliedToObjectTypes = 334,
+    NotBasicObjectTypesCannotHaveBasicMembers = 335,
+    BasicModifierCannotBeAppliedToAspectTypeFields = 336,
+    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 337,
+    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 338,
+    DeclarationConflictsWithBaseTypeMember0 = 339,
+    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 340,
+    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 341,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 342,
+    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 343,
+    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 344,
+    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 345,
+    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 346,
+    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 347,
+    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 348,
+    TypeDoesNotImplementMember0 = 349,
+    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 350,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 351,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 352,
+    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 353,
+    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 354,
+    CannotAccessAbstractMemberOfBaseType = 355,
+    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 356,
+    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 357,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 358,
+    ThisCallCausesOwnConstructorCallCycle = 359,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 360,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 361,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 362,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 363,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 364,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 365,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 366,
+    CannotInferTypeArguments = 367,
+    CanNotInferReturnTypeAddExplicitReturnTypeSpecifier = 368,
+    ConstantVariablesBustBeInitialized = 369,
+    VariableTypeIsNotSpecified = 370,
+    CannotInferTypeOfFunctionLiteralAddTypeSpecifierForParameter = 371,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

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

@@ -35,6 +35,7 @@ export declare class PackageAliasTypeDeclarationEntity implements AliasTypeEntit
     private readonly _node;
     readonly kind = EntityKind.Type;
     readonly typeEntityKind = TypeEntityKind.Alias;
+    private readonly _name;
     private readonly _aliasedType;
     private readonly _typeParameters;
     private readonly _members;

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

@@ -21,11 +21,11 @@ export declare abstract class AliasedType {
      * Правая часть тождественного типа, указанная пользователем, либо тип `unresolved`,
      * если указанный тип приводит к циклу.
      */
-    abstract cycleFree: types.Type;
+    abstract readonly cycleFree: types.Type;
     /**
      * Приводит ли указанная пользователем правая часть тождественного типа к циклу?
      */
-    abstract causesCycle: boolean;
+    abstract readonly causesCycle: boolean;
     /**
      * @param circularityTrackingStack Если элементом массива является `false`, тип не создаёт цикл, если `true` - создаёт.
      */