@artel/artc 0.6.25245 → 0.6.25247

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

@@ -2,6 +2,7 @@ import { FieldWithInitializerSemanticContext } from './FieldWithInitializerSeman
 import { SourceFileSemanticContext } from './SourceFileSemanticContext.js';
 import { CatchClauseSemanticContext, ForStatementSemanticContext, FunctionBlockSemanticContext, SpecialLocalDeclarationSemanticContext, StatementBlockSemanticContext, SubprogramParameterSemanticContext, SubprogramTypeParameterSemanticContext } from './SubprogramBodyAndParametersSemanticContext.js';
 import { OutermostSemanticContextOfSubprogram } from './SubprogramSemanticContext.js';
+import { TranslationTextTemplateSemanticContext } from './TranslationTextTemplateSemanticContext.js';
 import { OutermostSemanticContextOfType, ParametersOfFunctionTypeSemanticContext, TypeBodySemanticContext, TypeExtensionBodySemanticContext, TypeParametersOfTypeSemanticContext } from './TypeSemanticContext.js';
 /**
  * Позволяет получить информацию, общую для определённой области
@@ -10,4 +11,4 @@ import { OutermostSemanticContextOfType, ParametersOfFunctionTypeSemanticContext
  * Чтобы получить семантический контекст, в котором находится определённый узел,
  * используйте `analyzer.semanticContext.containing(node)`.
  */
-export type SemanticContext = SourceFileSemanticContext | OutermostSemanticContextOfType | TypeParametersOfTypeSemanticContext | TypeBodySemanticContext | TypeExtensionBodySemanticContext | ParametersOfFunctionTypeSemanticContext | OutermostSemanticContextOfSubprogram | SubprogramTypeParameterSemanticContext | SubprogramParameterSemanticContext | SpecialLocalDeclarationSemanticContext | StatementBlockSemanticContext | FunctionBlockSemanticContext | FieldWithInitializerSemanticContext | ForStatementSemanticContext | CatchClauseSemanticContext;
+export type SemanticContext = SourceFileSemanticContext | OutermostSemanticContextOfType | TypeParametersOfTypeSemanticContext | TypeBodySemanticContext | TypeExtensionBodySemanticContext | ParametersOfFunctionTypeSemanticContext | OutermostSemanticContextOfSubprogram | SubprogramTypeParameterSemanticContext | SubprogramParameterSemanticContext | SpecialLocalDeclarationSemanticContext | StatementBlockSemanticContext | FunctionBlockSemanticContext | FieldWithInitializerSemanticContext | ForStatementSemanticContext | CatchClauseSemanticContext | TranslationTextTemplateSemanticContext;

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

@@ -5,6 +5,7 @@ import { SourceFile } from '../../project/SourceFile.js';
 import * as tree from '../../tree/index.js';
 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 { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
@@ -22,6 +23,7 @@ export declare abstract class SemanticContextBase {
     getContainingSourceFile(): SourceFile;
     getContainingPackage(): PackageEntity;
     getHidingMatcher(): IEntityHidingMatcher;
+    getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
     getTypesOrContainersWithTypes(): readonly TypeOrContainerWithTypes[];
     getTypesOrContainersWithTypesByName(name: Name): readonly TypeOrContainerWithTypes[];
     getNamedDeclarations(noInstanceMembers?: boolean): readonly NamedDeclaration[];

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

@@ -2,6 +2,7 @@ import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { FunctionDeclaration, IndexedElementAccessorDeclaration, PackageTypeDeclaration, RegularOrBlockFunctionLiteral, SubprogramDeclarationOrLiteral } from '../NodeTypeUtils.js';
 import { BlockSemanticContext, CatchClauseSemanticContext, ConstructorSemanticContext, DestructorSemanticContext, ForStatementSemanticContext, FunctionBlockSemanticContext, FunctionLiteralSemanticContext, FunctionSemanticContext, IndexedElementAccessorSemanticContext, OperatorSemanticContext, OutermostSemanticContextOfSubprogram, OutermostSemanticContextOfType, PackageConstructorSemanticContext, PackageEntryPointSemanticContext, ParametersOfFunctionTypeSemanticContext, SemanticContext, SemanticContextContainingTypeMember, SourceFileSemanticContext, SpecialLocalDeclarationSemanticContext, StatementBlockSemanticContext, SubprogramParameterSemanticContext, SubprogramTypeParameterSemanticContext, TypeBodySemanticContext, TypeDeclarationCreatingSemanticContext, TypeDeclarationWithMembersBody, TypeExtensionBodySemanticContext, TypeParametersOfTypeSemanticContext, VariableAccessorDeclaration, VariableAccessorSemanticContext } from '../semantic-context/index.js';
+import { TranslationTextTemplateSemanticContext } from './TranslationTextTemplateSemanticContext.js';
 export declare class SemanticContextBuilder {
     private readonly _analyzer;
     private readonly _sourceFileContexts;
@@ -27,6 +28,7 @@ export declare class SemanticContextBuilder {
     private readonly _outermostContextsOfFunctionDeclaration;
     private readonly _outermostContextsOfTypeDeclaration;
     private readonly _typeExtensionDeclarationBodyContexts;
+    private readonly _translationTextTemplateContexts;
     constructor(analyzer: Analyzer);
     /**
      * Возвращает контекст, содержащий узел. Если в качестве узла передан исходный файл,
@@ -66,6 +68,7 @@ export declare class SemanticContextBuilder {
     ofSubprogram(node: SubprogramDeclarationOrLiteral): OutermostSemanticContextOfSubprogram;
     containingTypeMember(node: tree.TypeMemberDeclaration): SemanticContextContainingTypeMember;
     containingPackageMember(node: tree.PackageMemberDeclaration): SourceFileSemanticContext;
+    ofTranslationTextTemplate(node: tree.TranslationTextTemplate): TranslationTextTemplateSemanticContext;
     private containingInternal;
     private ofChildOfFunctionDeclaration;
     private ofChildOfTypeDeclarationWithMemberBlock;

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

@@ -1,13 +1,16 @@
 import { Name } from '../../common/index.js';
 import { DiagnosticAcceptor } from '../../diagnostic/Diagnostic.js';
 import { IEntityHidingMatcher } from '../../entities/EntityHiding.js';
-import { LocalVariableEntity, NestedFunctionEntity, ParameterVariableEntity, TypeParameterEntity } from '../../entities/index.js';
+import { LocalVariableEntity, NestedFunctionEntity, ParameterVariableEntity, TextTemplateParameterVariableEntity, TypeParameterEntity } from '../../entities/index.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 import { SemanticContextWithParent } from './SemanticContextWithParent.js';
-export declare abstract class SemanticContextValidatingNameConflictsBase extends SemanticContextWithParent implements ISemanticContextValidatingNameConflicts {
+export interface NameConflictsValidator {
+    validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
+}
+export declare abstract class SemanticContextValidatingNameConflictsBase extends SemanticContextWithParent implements NameConflictsValidator {
     abstract readonly outer: SemanticContext;
     abstract readonly node: tree.Node;
     protected readonly _analyzer: Analyzer;
@@ -35,9 +38,5 @@ export declare abstract class SemanticContextValidatingNameConflictsBase extends
     private createNamedDeclarations;
     private createTypesOrContainerWithTypes;
 }
-interface ISemanticContextValidatingNameConflicts {
-    validateNameConflicts(diagnostics: DiagnosticAcceptor): void;
-}
-export type MemberOfSemanticContextValidatingNameConflicts = LocalVariableEntity | ParameterVariableEntity | NestedFunctionEntity | TypeParameterEntity;
+export type MemberOfSemanticContextValidatingNameConflicts = LocalVariableEntity | ParameterVariableEntity | TextTemplateParameterVariableEntity | NestedFunctionEntity | TypeParameterEntity;
 export type MemberOfSemanticContextValidatingNameConflictsForTypeLookup = TypeParameterEntity;
-export {};

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

@@ -4,6 +4,7 @@ import { PackageEntity, TypeEntity, TypeExtensionEntity } from '../../entities/i
 import { SourceFile } from '../../project/SourceFile.js';
 import * as tree from '../../tree/index.js';
 import { Analyzer } from '../Analyzer.js';
+import { DiagnosticArgumentFactory } from '../DiagnosticArgumentFactory.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
 import { SemanticContextBase, SubprogramInfo, TryStatementContextKind, TypeOrTypeExtension } from './SemanticContextBase.js';
@@ -18,7 +19,7 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
     private readonly _importedPackageMemberLookups;
     private readonly _packageNameSegments;
     private readonly _packageNameSegmentsByKey;
-    private readonly _locale;
+    private readonly _diagnosticArgumentFactory;
     private get packageNameSegmentsByKey();
     constructor(analyzer: Analyzer, node: tree.SourceFile);
     getContainingSubprogram(): SubprogramInfo | undefined;
@@ -27,6 +28,7 @@ export declare class SourceFileSemanticContext extends SemanticContextBase {
     getPackage(): PackageEntity;
     getTryStatementContext(): TryStatementContextKind | undefined;
     isStatic(): boolean;
+    getDiagnosticArgumentFactory(): DiagnosticArgumentFactory;
     getOwnTypesOrContainersWithTypes(hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
     getOwnTypesOrContainersWithTypesByName(name: Name, hidingMatcher?: IEntityHidingMatcher): readonly TypeOrContainerWithTypes[];
     getOwnNamedDeclarations(_noInstanceMembers?: boolean, hidingMatcher?: IEntityHidingMatcher): NamedDeclaration[];

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

@@ -13,7 +13,7 @@ export type LastSemanticContextOfSubprogramParent = SemanticContext;
 /**
  * Завершающий семантический контекст подпрограммы.
  * Данный контекст располагается после контекста с параметрами (или параметрами типа) и переопределяет метод
- * {@link ISemanticContext.getContainingSubprogram}.
+ * {@link SemanticContext.getContainingSubprogram}.
  */
 export declare abstract class OutermostSemanticContextOfSubprogram extends SemanticContextWithParent {
     readonly kind = "outermost-of-subprogram";

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

@@ -0,0 +1,13 @@
+import * as tree from '../../tree/index.js';
+import { Analyzer } from '../Analyzer.js';
+import { SemanticContext } from './SemanticContext.js';
+import { MemberOfSemanticContextValidatingNameConflicts, MemberOfSemanticContextValidatingNameConflictsForTypeLookup, SemanticContextValidatingNameConflictsBase } from './SemanticContextValidatingNameConflicts.js';
+export declare class TranslationTextTemplateSemanticContext extends SemanticContextValidatingNameConflictsBase {
+    readonly kind = "translation-text-template";
+    readonly node: tree.TranslationTextTemplate;
+    readonly outer: SemanticContext;
+    protected readonly asContext: SemanticContext;
+    constructor(analyzer: Analyzer, node: tree.TranslationTextTemplate, outer: SemanticContext);
+    protected createMemberEntities(): readonly MemberOfSemanticContextValidatingNameConflicts[];
+    protected createMemberEntitiesForTypeLookup(): readonly MemberOfSemanticContextValidatingNameConflictsForTypeLookup[];
+}

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

@@ -0,0 +1,13 @@
+export interface Displayable {
+    getDisplayText(): string;
+}
+export declare class DisplayableArray implements Displayable {
+    private readonly _array;
+    private readonly _separator;
+    constructor(_array: readonly DisplayableOrPrimitive[], _separator: string);
+    getDisplayText(): string;
+}
+export type DisplayableOrPrimitive = Displayable | string | number | boolean;
+export declare namespace DisplayableOrPrimitive {
+    function getDisplayText(value: DisplayableOrPrimitive): string;
+}

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

@@ -1,5 +1,6 @@
+import { DisplayableOrPrimitive } from './Displayable.js';
 /**
  * @example
  * "Сообщение: {0} Экранирование: \{0}", ["Привет!"] -> "Сообщение: Привет! Экранирование: {0}"
  */
-export declare function formatString(text: string, ...formatArguments: readonly string[]): string;
+export declare function formatString(text: string, ...formatArguments: readonly DisplayableOrPrimitive[]): string;

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

@@ -7,6 +7,7 @@ export declare const enum HelperPhraseKind {
     PackageAlias = 4,
     PackageNameSegment = 5,
     Variable = 6,
-    Overloads = 7
+    Overloads = 7,
+    EnumeratorMethodName = 8
 }
 export declare function getHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;

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

@@ -1,5 +1,5 @@
 import { Analyzer } from '../analysis/index.js';
-import { StructuredTypeDeclaration, VariantTypeDeclaration } from '../analysis/NodeTypeUtils.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 * as tree from '../tree/index.js';
@@ -27,11 +27,11 @@ declare class TypeMemberDeclarationQuery extends TreeQuery {
 }
 export type TypeMemberDeclarationContainer = TypeMemberDeclarationContainer_type | TypeMemberDeclarationContainer_typeExtension;
 declare class TypeMemberDeclarationContainer_type implements ITypeMemberDeclarationContainer {
-    readonly declaration: StructuredTypeDeclaration | VariantTypeDeclaration | tree.PackageAliasTypeDeclaration;
+    readonly declaration: TypeWithMembersDeclaration;
     readonly memberBlock: tree.TypeMemberDeclarationBlock;
     readonly kind = "type";
-    constructor(declaration: StructuredTypeDeclaration | VariantTypeDeclaration | tree.PackageAliasTypeDeclaration, memberBlock: tree.TypeMemberDeclarationBlock);
-    getNode(): StructuredTypeDeclaration | VariantTypeDeclaration | tree.PackageAliasTypeDeclaration;
+    constructor(declaration: TypeWithMembersDeclaration, memberBlock: tree.TypeMemberDeclarationBlock);
+    getNode(): TypeWithMembersDeclaration;
     getMemberBlock(): tree.TypeMemberDeclarationBlock;
     getTypeEntity(analyzer: Analyzer): TypeEntityWithMembers;
     getContextualTypeEntity(analyzer: Analyzer): TypeEntity | undefined;

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

@@ -1,5 +1,4 @@
 import { Diagnostic } from '../diagnostic/Diagnostic.js';
-import { MaybeLazy } from './Lazy.js';
 export type WithDiagnostics<T> = WithDiagnostics_ok<T> | WithDiagnostics_error<T>;
 export declare class WithDiagnostics_ok<T> implements IWithDiagnostics<T> {
     readonly value: T;
@@ -9,9 +8,9 @@ export declare class WithDiagnostics_ok<T> implements IWithDiagnostics<T> {
 }
 export declare class WithDiagnostics_error<T> implements IWithDiagnostics<T> {
     readonly kind = "error";
-    readonly value: readonly MaybeLazy<Diagnostic>[];
-    constructor(diagnostic: MaybeLazy<Diagnostic>);
-    constructor(diagnostics: readonly MaybeLazy<Diagnostic>[]);
+    readonly value: readonly Diagnostic[];
+    constructor(diagnostic: Diagnostic);
+    constructor(diagnostics: readonly Diagnostic[]);
     toNullable(): T | undefined;
 }
 interface IWithDiagnostics<T> {

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

@@ -6,6 +6,7 @@ export * from './CancellationToken.js';
 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';

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

@@ -74,131 +74,135 @@ export declare enum DiagnosticCode {
     TypeExpected = 235,
     NameOfTypeOrPackageNotFound = 236,
     TypeIsNotATag = 237,
-    ExpressionOfType0CannotBeUsedForEnumeration = 238,
-    Operator0IsNotDefinedForTypes1And2 = 239,
-    Operator0IsNotDefinedForType1 = 240,
-    VariantMustHaveAssociatedValue = 241,
-    TranslationsCanOnlyBeDeclaredInTranslationPackage = 242,
-    UnknownTranslatedPackage0 = 243,
-    BaseCannotBeUsedInThisContext = 244,
-    OverriddenMethodNotFound = 245,
-    ObjectCannotBeUsedInThisContext = 246,
-    BaseCannotBeUsedAsAnExpressionInItself = 247,
-    InterfacePackageMustNotContainImplementation = 248,
-    InterfacePackageVariablesMustNotHaveInitializers = 249,
-    BodyIsMissing = 250,
-    AbstractTypeMembersMustNotHaveBody = 251,
-    MembersOfAspectTypeMustNotHaveBody = 252,
-    AspectTypeFieldsMustBeAbstract = 253,
-    DeclarationsMarkedWithBuiltIntoPlatformTagMustNotHaveBody = 254,
-    AbstractFieldsMustNotHaveInitializers = 255,
-    PackageIsAlreadyImported = 256,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 257,
-    FunctionsUsingYieldStatementCannotReturnValue = 258,
-    YieldStatementCannotBeUsedInAnonymousFunctions = 259,
-    YieldStatementCannotBeUsedHere = 260,
-    FunctionsUsingYieldStatementMustHaveEnumerableAsReturnType = 261,
-    YieldStatementCannotBeUsedInTryStatementThatHasCatchClause = 262,
-    YieldStatementCannotBeUsedInFinallyClause = 263,
-    SubprogramMustReturnValue = 264,
-    ResultVariableCannotBeUsedInFunctionsUsingYieldStatement = 265,
-    TypeAliasReferencesItself = 266,
-    TypeParameterHasCircularConstraint = 267,
-    BaseTypeCausesInheritanceCycle = 268,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 269,
-    Expected0TypeArguments = 270,
-    ExpectedFrom0To1TypeArguments = 271,
-    Type0IsNotAssignableToConstraint1 = 272,
-    VariableIsDeclaredButItsValueIsNeverRead = 273,
-    FunctionIsDeclaredButNotUsed = 274,
-    TypeParameterIsDeclaredButNotUsed = 275,
-    DefaultConstructorArgumentsMustBeNamed = 276,
-    IncorrectBodyOfBasicAliasTypeMethod = 277,
-    TheFollowingDeclarationsAreNotTranslated0 = 278,
-    TheFollowingDeclarationAreNotTranslated0And1More = 279,
-    OperatorFunction0MustNotHaveParameters = 280,
-    OperatorFunction0MustHaveOneParameter = 281,
-    OperatorFunction0MustHaveNoMoreThanOneParameter = 282,
-    CorrespondingBasicTypeMemberNotFound = 283,
-    AsyncFunctionCanOnlyBeCalledFromFunctionMarkedWithAsyncModifier = 284,
-    TagNotFound = 285,
-    TypeOrFunctionNameExpected = 286,
-    PackageNameOrAliasExpected = 287,
-    ExpressionCanBeNone = 288,
-    TargetVariableExpressionInTheAssignmentStatementCannotContainQuestionOperator = 289,
-    UnreachableCode = 290,
-    RecursionOccurredWhileCalculatingTheTypeOfTheExpression = 291,
-    RecursionOccurredWhileInferringTheTypeOfTheVariable = 292,
-    ScopeAlreadyContainsDeclarationWithTheSameName = 293,
-    ScopeAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 294,
-    ParameterName0ConflictsWithAutomaticallyGeneratedVariableName = 295,
-    PackageAlreadyContainsDeclarationWithTheSameName = 296,
-    PackageAlreadyContainsFunctionWithTheSameNameAndParameterTypes = 297,
-    PackageAlreadyContainsTypeWithTheSameNameAndSameOrIntersectingTypeParameterCount = 298,
-    PackageAliasWithTheSameNameAlreadyExits = 299,
-    PackageCanHaveOnlyEntryPoint = 300,
-    PackageCanHaveOnlyOneConstructor = 301,
-    TypeAlreadyContainsDeclarationWithTheSameName = 302,
-    TypeAlreadyContainsMethodWithTheSameNameAndParameterTypes = 303,
-    TypeAlreadyContainsConstructorWithTheSameParameterTypes = 304,
-    TypeAlreadyContainsOperatorFunctionWithTheSameParameterTypes = 305,
-    TypeAlreadyContainsIndexerWithTheSameParameterTypes = 306,
-    TypeCanHaveOnlyOneDestructor = 307,
-    TypeCanHaveOnlyOneDereferenceOperator = 308,
-    VariableIsUsedBeforeItsDeclaration = 309,
-    VariableMayNotHasBeenAssignedBeforeUsage = 310,
-    NotAllCodePathsReturnAValueAndResultLocalVariableMayNotHasBeenAssigned = 311,
-    WriteFunctionHasNoCorrespondingReadFunction = 312,
-    TypeCannotHaveMultipleBaseObjectTypes = 313,
-    TypeThatIsNotMarkedAsBasicCannotBeUsedAsBaseType = 314,
-    PlainObjectTypeCannotBeUsedAsBaseType = 315,
-    ThisTypeIsAlreadyListedInBaseTypeList = 316,
-    OnlyObjectAndAspectTypesCanBeUsedAsBaseTypes = 317,
-    PlainObjectTypeCanHaveOnlyAspectsAsBaseTypes = 318,
-    AspectTypeCanHaveOnlyAspectsAsBaseTypes = 319,
-    ModifierListAlreadyContains0Modifier = 320,
-    ModifierListOfOuterDeclarationGroupAlreadyContains0Modifier = 321,
-    _0ModifierIsNotAllowedHere = 322,
-    DeclarationCannotBePlacedInGroupHaving0Modifier = 323,
-    PackageConstructorDeclarationCannotHaveModifiers = 324,
-    PackageEntryPointDeclarationCannotHaveModifiers = 325,
-    TranslationsCannotHaveModifiers = 326,
-    AbstractModifierCanOnlyBeUsedInAbstractObjectTypes = 327,
-    BasicModifierCanOnlyBeUsedInObjectTypesAspectTypesAndTypeAliases = 328,
-    OverrideModifierCanOnlyBeUsedInObjectAndAspectTypes = 329,
-    _0ModifierCannotBeUsedWith1Modifier = 330,
-    VariantDeclarationCannotHaveHiddenModifier = 331,
-    BasicModifierCanOnlyBeAppliedToObjectTypes = 332,
-    AbstractModifierCanOnlyBeAppliedToObjectTypes = 333,
-    NotBasicObjectTypesCannotHaveBasicMembers = 334,
-    BasicModifierCannotBeAppliedToAspectTypeFields = 335,
-    WriteFunctionMustHaveTheSameModifiersAsReadFunction = 336,
-    WriteFunctionMustHaveTheSameOrMoreRestrictiveHidingLevelThenReadFunction = 337,
-    DeclarationConflictsWithBaseTypeMember0 = 338,
-    DeclarationConflictsWithBaseTypeMember0AddOverrideModifier = 339,
-    DeclarationConflictsWithBaseTypeMember0ThisMemberCannotBeOverridden = 340,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideTypeMustBeAssignableTo1 = 341,
-    DeclarationConflictsWithBaseTypeMember0ToOverrideReturnTypeMustBeAssignableTo1 = 342,
-    OverridingMemberMustHaveTheSameHidingLevelAsBaseMember0 = 343,
-    OverridingMethodMustBeAsyncBecauseBaseMethod0IsAsync = 344,
-    OverridingMethodMustNotBeAsyncBecauseBaseMethod0IsNotAsync = 345,
-    OverridingFieldMustNotBeConstOrHaveWriteFunctionToMatchBaseField0 = 346,
-    OverridingMemberMustHaveWriteFunctionToMatchBaseMember0 = 347,
-    TypeDoesNotImplementMember0 = 348,
-    TypeDoesNotImplementMember0ImplicitImplementationTypeMismatch1 = 349,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsAsync = 350,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotAsync = 351,
-    TypeDoesNotImplementMember0ImplicitImplementation1IsNotWriteable = 352,
-    TypeDoesNotImplementMember0ImplicitImplementation1WriteFunctionIsHidden = 353,
-    CannotAccessAbstractMemberOfBaseType = 354,
-    TheFollowingBaseTypeMembersConflictAndMustBeOverridden0 = 355,
-    TheFollowingBaseTypeMembersConflictBecauseTheyHaveTheSameOriginalName0AndMustBeOverridden1 = 356,
-    EitherIdentifiersOrIntegerIndexesAreAllowedAsParametersOfTextTemplateLiteral = 357,
-    OnlyIndex0IsAllowedHereAsParameterOfTextTemplateLiteral = 358,
-    OnlyIntegerLiteralInRangeFromZeroToNIsAllowedHereAsParameterOfTextTemplateLiteral = 359,
-    OnlyIdentifierIsAllowedHereAsParameterOfTextTemplateLiteral = 360,
-    TranslationFunctionIsNotAllowedWhenIndexesAreUsedAsParametersInSourceTextTemplate = 361,
-    UnknownParameterOfTextTemplateTranslation = 362,
+    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,
+    ExpressionCanBeNone = 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,
+    EitherIdentifiersOrIntegerIndexesAreAllowedAsParametersOfTextTemplateLiteral = 354,
+    OnlyIndex0IsAllowedHereAsParameterOfTextTemplateLiteral = 355,
+    OnlyIdentifierIsAllowedHereAsParameterOfTextTemplateLiteral = 356,
+    UnknownParameterOfTextTemplateTranslation = 357,
+    TheFirstStatementOfConstructorBlockMustBeEitherBaseOrOwnConstructorCall = 358,
+    ThisCallCausesOwnConstructorCallCycle = 359,
+    OwnConstructorCallMustBeTheFirstStatementOfConstructorBlock = 360,
+    BaseConstructorCallMustBeTheFirstStatementOfConstructorBlock = 361,
+    Field0HasNoInitializerAndMayNotBeAssignedInConstructor = 362,
+    Field0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 363,
+    Variable0HasNoInitializerAndMayNotBeAssignedInPackageConstructor = 364,
+    ExpressionOfType0CanNotBeUsedInForLoopBecauseNotEnumerableAndNoMethod1 = 365,
+    ForExpressionToBeUsedInForLoopMethod0MustReturnEnumeratorType = 366,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 401,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 402,
     ProgramWithoutMainPackageCannotBeCompiled = 403,

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

@@ -1,11 +1,15 @@
+import { DisplayableOrPrimitive } from '../common/index.js';
 import { DiagnosticCode } from './DiagnosticCode.js';
 export declare class DiagnosticData {
     readonly code: DiagnosticCode;
-    readonly message: string;
     readonly kind: DiagnosticKind;
     readonly flags: DiagnosticFlags;
-    constructor(code: DiagnosticCode, message: string, kind: DiagnosticKind, flags: DiagnosticFlags);
-    static withCode(code: DiagnosticCode, formatArguments?: readonly string[], kind?: DiagnosticKind, flags?: DiagnosticFlags): DiagnosticData;
+    private _messageFormat;
+    private _formatArguments;
+    private _message;
+    get message(): string;
+    constructor(code: DiagnosticCode, formatMessage: string | undefined, formatArguments: readonly DisplayableOrPrimitive[] | undefined, kind: DiagnosticKind, flags: DiagnosticFlags);
+    static withCode(code: DiagnosticCode, formatArguments?: readonly DisplayableOrPrimitive[], kind?: DiagnosticKind, flags?: DiagnosticFlags): DiagnosticData;
 }
 export declare const enum DiagnosticKind {
     Error = 0,

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

@@ -111,7 +111,8 @@ export declare class Transformer {
     transformJsInstanceOfExpressionChildren(expression: ir.JsInstanceOfExpression): void;
     transformJsIdentifierExpressionChildren(_expression: ir.JsIdentifierExpression): void;
     transformDereferenceExpressionChildren(expression: ir.DereferenceExpression): void;
-    transformNamedJsObjectLiteralProperty(property: ir.NamedJsObjectLiteralProperty): ir.NamedJsObjectLiteralProperty;
+    transformValueJsObjectLiteralProperty(property: ir.ValueJsObjectLiteralProperty): ir.ValueJsObjectLiteralProperty;
+    transformFunctionJsObjectLiteralProperty(property: ir.FunctionJsObjectLiteralProperty): ir.FunctionJsObjectLiteralProperty;
     transformSpreadJsObjectLiteralProperty(property: ir.SpreadJsObjectLiteralProperty): ir.SpreadJsObjectLiteralProperty;
     transformDecorator(node: ir.Decorator): ir.Decorator;
     private transformStatementsAndAddHoistedLocalVariables;
@@ -209,7 +210,8 @@ export interface TransformationConfig {
     transformArguments?(declaration: ir.Arguments): NodeTransformationResult<ir.Arguments>;
     transformCatchClause?(clause: ir.CatchClause): NodeTransformationResult<ir.CatchClause>;
     transformFinallyClause?(clause: ir.FinallyClause): NodeTransformationResult<ir.FinallyClause>;
-    transformNamedJsObjectLiteralProperty?(clause: ir.NamedJsObjectLiteralProperty): NodeTransformationResult<ir.NamedJsObjectLiteralProperty>;
+    transformValueJsObjectLiteralProperty?(clause: ir.ValueJsObjectLiteralProperty): NodeTransformationResult<ir.ValueJsObjectLiteralProperty>;
+    transformFunctionJsObjectLiteralProperty?(clause: ir.FunctionJsObjectLiteralProperty): NodeTransformationResult<ir.FunctionJsObjectLiteralProperty>;
     transformSpreadJsObjectLiteralProperty?(clause: ir.SpreadJsObjectLiteralProperty): NodeTransformationResult<ir.SpreadJsObjectLiteralProperty>;
     transformDecorator?(node: ir.Decorator): NodeTransformationResult<ir.Decorator>;
 }

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

@@ -174,4 +174,18 @@ declare const enum ErrorStatementEmitOptionsFlags {
     None = 0,
     WrapExpressionInError = 1
 }
+export declare class ForStatementEmitOptions {
+    private _flags;
+    constructor(flags?: ForStatementEmitOptionsFlags);
+    constructor(addExplicitCallOfEnumeratorMethodIfRequired: boolean);
+    static default(): ForStatementEmitOptions;
+    get addExplicitCallOfEnumeratorMethodIfRequired(): boolean;
+    set addExplicitCallOfEnumeratorMethodIfRequired(value: boolean);
+    setAddExplicitCallOfEnumeratorMethodIfRequired(value: boolean): this;
+    clone(): ForStatementEmitOptions;
+}
+declare const enum ForStatementEmitOptionsFlags {
+    None = 0,
+    AddExplicitCallOfEnumeratorMethodIfRequired = 1
+}
 export {};