@artel/artc 0.6.25221 → 0.6.25222

package/build/{chunk-5F65ZJE3.js → chunk-UZK7JCND.js}

@@ -10,7 +10,7 @@ import {
   WellKnownDeclarationsLoadError,
   __async,
   createTsInteropInputsForCompilation
-} from "./chunk-X7TMUZ4C.js";
+} from "./chunk-ODWG5ZXF.js";
 
 // source/executor/Compiler.ts
 var Compiler = class {

package/build/types/analysis/Analyzer.d.ts

@@ -92,7 +92,7 @@ export declare class Analyzer {
     private readonly _extendedTypes;
     private readonly _analyzedTranslationPackages;
     private readonly _linkedMultiPlatformPackagesByPlatform;
-    private readonly _bodyUsesYieldStatementCheckResults;
+    private readonly _functionBlockWithYieldStatementCheckResults;
     private readonly _namedDeclarationsUsageCountResults;
     private readonly _controlFlowGraphs;
     get tsInterop(): TsInteropContext;
@@ -108,7 +108,7 @@ export declare class Analyzer {
     } | undefined;
     isTypeAssignableTo(source: types.Type, target: types.Type): boolean;
     getTypeAssignabilityFlags(source: types.Type, target: types.Type): TypeAssignabilityFlags;
-    checkStatementBlockInvokesAsyncMethods(node: tree.StatementBlock): boolean;
+    checkBlockInvokesAsyncMethods(node: tree.StatementBlock | tree.FunctionBlock): boolean;
     getSyntacticAccessKind(node: tree.Expression): SyntacticAccessKind;
     getTypeMemberEntityContainer(node: tree.TypeMemberDeclaration): e.TypeMemberEntityContainer;
     getTargetTypeOfExpression(node: tree.Expression, hint?: TargetTypeHint): types.Type | undefined;
@@ -184,7 +184,7 @@ export declare class Analyzer {
     checkExpressionDenotesPackageNameSegment(expression: tree.Expression): {
         packageTreeNode: PackageNameTreeNode;
     } | undefined;
-    checkMethodBodyUsesYieldStatement(node: tree.StatementBlock): boolean;
+    checkFunctionBlockWithYieldStatement(node: tree.FunctionBlock): boolean;
     enumerateAspects(type: types.Type): Iterable<types.StructuredType>;
     checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: e.StructuredTypeEntity): boolean;
     resolvePrefixUnaryExpressionUserDefinableOperator(node: tree.PrefixUnaryExpression): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
@@ -250,6 +250,7 @@ export declare class Analyzer {
     createPackageMemberHiding(node: tree.PackageMemberDeclaration, modifierFlags: ModifierFlags): e.EntityHidingLevel | undefined;
     createTypeMemberHiding(node: tree.TypeMemberDeclaration, modifierFlags: ModifierFlags): e.EntityHidingLevel | undefined;
     getDeclarationsUsageCount(sourceFile: tree.SourceFile, cancellationToken: CancellationToken | undefined): Promise<DeclarationsUsageCountResult>;
+    isFunctionResultNone(node: tree.FunctionBlock): boolean;
     isExpressionImplicitlyReturnedFromSubprogram(node: tree.ExpressionStatement): boolean;
     createBackingPackageVariables(declaredMembers: readonly (e.NamedPackageMemberEntity | e.PackageAliasEntity)[], pkg: e.PackageEntity): e.PackageVariableEntity[];
     createBackingTypeVariables(declaredMembers: readonly NamedTypeMemberEntity[], type: e.TypeEntity): e.TypeVariableEntity[];
@@ -461,6 +462,7 @@ declare class Scope {
     private readonly _nestedMethodDeclarationTypeParametersScopes;
     private readonly _nestedMethodDeclarationValueParametersScopes;
     private readonly _methodLiteralScopes;
+    private readonly _functionBlockScopes;
     private readonly _statementBlockScopes;
     private readonly _forEachStatementScopes;
     private readonly _catchClauseScopes;
@@ -487,6 +489,7 @@ declare class Scope {
     ofNestedMethodDeclarationTypeParameters(node: tree.NestedMethodDeclaration): scope.IScope;
     ofNestedMethodDeclarationValueParameters(node: tree.NestedMethodDeclaration): scope.IScope;
     ofMethodLiteral(node: tree.MethodLiteral): scope.IScope;
+    ofFunctionBlock(node: tree.FunctionBlock): scope.IScope;
     ofStatementBlock(node: tree.StatementBlock): scope.IScope;
     ofForStatement(node: tree.ForStatement): scope.IScope;
     ofCatchClause(node: tree.CatchClause): scope.IScope;
@@ -604,7 +607,7 @@ declare class OwningPlainObjectModificationCheck {
     private _analyzer;
     private readonly _owningPlainObjectModificationCheckResult;
     constructor(_analyzer: Analyzer);
-    ofDeclarationBody(node: tree.StatementBlock): boolean;
+    ofDeclarationBody(node: tree.FunctionBlock): boolean;
     private checkMethodBodyModifiesPlainObject;
     private checkReceiverModifiesPlainObjectRecursively;
     private nodeBelongsToPlainObjectDeclaration;

package/build/types/analysis/NodeTypeUtils.d.ts

@@ -29,9 +29,4 @@ export type PackageVariableAccessorDeclaration = tree.PackageVariableGetterDecla
 export type TypeVariableAccessorDeclaration = tree.TypeVariableGetterDeclaration | tree.TypeVariableSetterDeclaration;
 export type TypeIndexedAccessorDeclaration = tree.TypeIndexedGetterDeclaration | tree.TypeIndexedSetterDeclaration;
 export type TypeDereferencedVariableAccessorDeclaration = tree.TypeDereferencedVariableGetterDeclaration | tree.TypeDereferencedVariableSetterDeclaration;
-type Declaration = tree.PackageMemberDeclaration | tree.TypeMemberDeclaration | tree.LocalVariableDeclaration | tree.EnumerationVariableDeclaration | tree.ErrorVariableDeclaration | tree.NestedMethodDeclaration | TypeDeclaration;
-type SubprogramDeclarationInternal<T extends Declaration = Declaration> = T extends {
-    block: tree.StatementBlock | undefined;
-} ? T : never;
-export type SubprogramDeclaration = SubprogramDeclarationInternal | tree.MethodLiteral | tree.MethodBlockLiteral;
-export {};
+export type SubprogramDeclaration = tree.FunctionBlockParent | tree.MethodLiteral | tree.MethodBlockLiteral;

package/build/types/analysis/SemanticContext.d.ts

@@ -320,6 +320,13 @@ export declare class StatementBlockSemanticContext extends SemanticContextWithPa
     isInTryStatement(): TryStatementClausesInfo | undefined;
     isInFinallyClause(): boolean;
 }
+export declare class FunctionBlockSemanticContext extends SemanticContextWithParent {
+    private readonly _analyzer;
+    private readonly _node;
+    private readonly _scopeChain;
+    constructor(analyzer: Analyzer, node: tree.FunctionBlock, parentContext: SemanticContext);
+    getScopeChain(): ScopeChain;
+}
 export type RegularOrBlockMethodLiteral = tree.MethodLiteral | tree.MethodBlockLiteral;
 export declare class MethodLiteralSemanticContext extends SemanticContextWithParent {
     private readonly _analyzer;

package/build/types/analysis/SemanticContextBuilder.d.ts

@@ -34,6 +34,7 @@ export declare class SemanticContextBuilder {
     ofRegularOrBlockMethodLiteral(node: RegularOrBlockMethodLiteral): SemanticContext;
     ofForStatement(node: tree.ForStatement): SemanticContext;
     ofStatementBlock(node: tree.StatementBlock): SemanticContext;
+    ofFunctionBlock(node: tree.FunctionBlock): SemanticContext;
     ofTypeConstructorDeclaration(node: tree.TypeConstructorDeclaration): SemanticContext;
     ofTypeDestructorDeclaration(node: tree.TypeDestructorDeclaration): SemanticContext;
     ofTypeIndexedGetterDeclaration(node: tree.TypeIndexedGetterDeclaration, hint: 'body' | 'parameters'): SemanticContext;
@@ -53,4 +54,5 @@ export declare class SemanticContextBuilder {
     private ofChildOfTypeExtensionDeclaration;
     private isOffsetBetweenNodes;
     private isOffsetInsideStatementBlock;
+    private isOffsetInsideFunctionBlock;
 }

package/build/types/analysis/StatementBlockScopeBuilder.d.ts

@@ -2,22 +2,24 @@ import * as tree from '../tree/index.js';
 import { Analyzer } from './Analyzer.js';
 import { IScope } from './Scope.js';
 export declare class StatementBlockScopeBuilder {
-    static build(analyzer: Analyzer, node: tree.StatementBlock): IScope;
-    static buildGenericScope(analyzer: Analyzer, node: tree.StatementBlock): IScope;
-    static buildScopeForMethodBlockLiteral(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.MethodBlockLiteral): IScope;
-    static buildScopeForPackageMethodDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.PackageMethodDeclaration): IScope;
-    static buildScopeForTypeVariableGetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeVariableGetterDeclaration): IScope;
-    static buildScopeForTypeVariableSetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeVariableSetterDeclaration): IScope;
-    static buildScopeForPackageVariableGetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.PackageVariableGetterDeclaration): IScope;
-    static buildScopeForPackageVariableSetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.PackageVariableSetterDeclaration): IScope;
-    static buildScopeForTypeIndexedGetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeIndexedGetterDeclaration): IScope;
-    static buildScopeForTypeIndexedSetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeIndexedSetterDeclaration): IScope;
-    static buildScopeForTypeDereferencedVariableGetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeDereferencedVariableGetterDeclaration): IScope;
-    static buildScopeForTypeDereferencedVariableSetterDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeDereferencedVariableSetterDeclaration): IScope;
-    static buildScopeForNestedMethodDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.NestedMethodDeclaration): IScope;
-    static buildScopeForMethodLiteral(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.MethodLiteral): IScope;
-    static buildScopeForTypeConstructorDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeConstructorDeclaration): IScope;
-    static buildScopeForTypeMethodDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.TypeMethodDeclaration): IScope;
-    static buildScopeForOperatorDeclaration(analyzer: Analyzer, node: tree.StatementBlock, parent: tree.OperatorDeclaration): IScope;
+    static buildFunctionBlockScope(analyzer: Analyzer, node: tree.FunctionBlock): IScope;
+    static buildStatementBlockScope(analyzer: Analyzer, node: tree.StatementBlock): IScope;
+    static buildGenericScopeForFunctionBlock(analyzer: Analyzer, node: tree.FunctionBlock): IScope;
+    static buildGenericScopeForStatementBlock(analyzer: Analyzer, node: tree.StatementBlock): IScope;
+    static buildScopeForMethodBlockLiteral(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.MethodBlockLiteral): IScope;
+    static buildScopeForPackageMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageMethodDeclaration): IScope;
+    static buildScopeForTypeVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeVariableGetterDeclaration): IScope;
+    static buildScopeForTypeVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeVariableSetterDeclaration): IScope;
+    static buildScopeForPackageVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageVariableGetterDeclaration): IScope;
+    static buildScopeForPackageVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.PackageVariableSetterDeclaration): IScope;
+    static buildScopeForTypeIndexedGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeIndexedGetterDeclaration): IScope;
+    static buildScopeForTypeIndexedSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeIndexedSetterDeclaration): IScope;
+    static buildScopeForTypeDereferencedVariableGetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeDereferencedVariableGetterDeclaration): IScope;
+    static buildScopeForTypeDereferencedVariableSetterDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeDereferencedVariableSetterDeclaration): IScope;
+    static buildScopeForNestedMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.NestedMethodDeclaration): IScope;
+    static buildScopeForMethodLiteral(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.MethodLiteral): IScope;
+    static buildScopeForTypeConstructorDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeConstructorDeclaration): IScope;
+    static buildScopeForTypeMethodDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.TypeMethodDeclaration): IScope;
+    static buildScopeForOperatorDeclaration(analyzer: Analyzer, node: tree.FunctionBlock, parent: tree.OperatorDeclaration): IScope;
     private static getLocalNamedDeclarations;
 }

package/build/types/analysis/TypeNarrower.d.ts

@@ -1,4 +1,4 @@
-import { LocalVariableEntity, PackageVariableEntity, ParameterVariableEntity } from '../entities/VariableEntity.js';
+import { LocalVariableEntity, ParameterVariableEntity } from '../entities/VariableEntity.js';
 import * as types from '../types/index.js';
 import { Analyzer } from './Analyzer.js';
 import { ControlFlowNode, NarrowableReferenceExpression } from './ControlFlowGraphBuilder.js';
@@ -25,13 +25,14 @@ export declare class TypeNarrower {
     private getReferenceAtNode;
     private getReferenceAtLocalVariableDeclaration;
 }
-export type NarrowableReference = NarrowableReference.LocalOrPackageVariable | NarrowableReference.InstanceTypeVariable | NarrowableReference.StaticTypeVariable | NarrowableReference.Object;
+export type NarrowableReference = NarrowableReference.LocalVariable | NarrowableReference.InstanceTypeVariable | NarrowableReference.StaticTypeVariable | NarrowableReference.Object;
 export declare namespace NarrowableReference {
-    export class LocalOrPackageVariable implements INarrowableReference {
-        readonly entity: LocalVariableEntity | ParameterVariableEntity | PackageVariableEntity;
-        readonly kind = "local-or-package-variable";
-        constructor(entity: LocalVariableEntity | ParameterVariableEntity | PackageVariableEntity);
+    export class LocalVariable implements INarrowableReference {
+        readonly entity: LocalVariableEntity | ParameterVariableEntity;
+        readonly kind = "local-variable";
+        constructor(entity: LocalVariableEntity | ParameterVariableEntity);
         equals(other: NarrowableReference): boolean;
+        contains(_other: NarrowableReference): boolean;
     }
     export class InstanceTypeVariable implements INarrowableReference {
         readonly variable: types.Variable;
@@ -39,19 +40,23 @@ export declare namespace NarrowableReference {
         readonly kind = "instance-type-variable";
         constructor(variable: types.Variable, receiver: NarrowableReference);
         equals(other: NarrowableReference): boolean;
+        contains(other: NarrowableReference): boolean;
     }
     export class StaticTypeVariable implements INarrowableReference {
         readonly variable: types.Variable;
         readonly kind = "static-type-variable";
         constructor(variable: types.Variable);
         equals(other: NarrowableReference): boolean;
+        contains(_other: NarrowableReference): boolean;
     }
     export class Object implements INarrowableReference {
         readonly kind = "object";
         equals(other: NarrowableReference): boolean;
+        contains(_other: NarrowableReference): boolean;
     }
     interface INarrowableReference {
         equals(other: NarrowableReference): boolean;
+        contains(other: NarrowableReference): boolean;
     }
     export {};
 }

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

@@ -18,7 +18,8 @@ export declare class IrBuilder {
     build(): ir.PackageMemberDeclaration[];
     private buildPackageMemberDeclarationList;
     private buildPackageConstructorDeclaration;
-    private buildBodyOfSubprogramWithResult;
+    private buildFunctionBlockOfFunction;
+    private buildFunctionBlockOfFunctionWithoutResult;
     private buildStatementBlock;
     private buildStatement;
     private buildAssignmentStatement;
@@ -55,6 +56,7 @@ export declare class IrBuilder {
     private buildTryStatement;
     private buildEmptyStatement;
     private buildErrorStatement;
+    private buildImportantStatement;
     private buildExpressionStatement;
     private buildForStatement;
     private buildIfStatement;

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

@@ -95,6 +95,7 @@ export declare class IrToJs {
     private convertContinueLoopStatement;
     private convertEmptyStatement;
     private convertErrorStatement;
+    private convertImportantStatement;
     private convertExpressionStatement;
     private convertForStatement;
     private convertIfStatement;

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

@@ -23,6 +23,7 @@ export declare class Transformer {
     transformTryStatementChildren(statement: ir.TryStatement): void;
     transformEmptyStatementChildren(_statement: ir.EmptyStatement): void;
     transformErrorStatementChildren(statement: ir.ErrorStatement): void;
+    transformImportantStatementChildren(statement: ir.ImportantStatement): void;
     transformExpressionStatementChildren(statement: ir.ExpressionStatement): void;
     transformForStatementChildren(statement: ir.ForStatement): void;
     transformIfStatementChildren(statement: ir.IfStatement): void;
@@ -168,6 +169,7 @@ export interface TransformationConfig {
     transformTryStatement?(statement: ir.TryStatement): StatementTransformationResult;
     transformEmptyStatement?(statement: ir.EmptyStatement): StatementTransformationResult;
     transformErrorStatement?(statement: ir.ErrorStatement): StatementTransformationResult;
+    transformImportantStatement?(statement: ir.ImportantStatement): StatementTransformationResult;
     transformExpressionStatement?(statement: ir.ExpressionStatement): StatementTransformationResult;
     transformForStatement?(statement: ir.ForStatement): StatementTransformationResult;
     transformIfStatement?(statement: ir.IfStatement): StatementTransformationResult;

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

@@ -211,6 +211,13 @@ export declare class ErrorStatement {
     constructor(expression: Expression | undefined, sourceLocation: SourceLocation | undefined);
     clone(): ErrorStatement;
 }
+export declare class ImportantStatement {
+    expression: Expression;
+    sourceLocation: SourceLocation | undefined;
+    readonly kind = NodeKind.ImportantStatement;
+    constructor(expression: Expression, sourceLocation: SourceLocation | undefined);
+    clone(): ImportantStatement;
+}
 export declare class ExpressionStatement {
     expression: Expression;
     sourceLocation: SourceLocation | undefined;
@@ -913,84 +920,85 @@ export declare const enum NodeKind {
     NoneLiteral = 16,
     EmptyStatement = 17,
     ErrorStatement = 18,
-    ExpressionStatement = 19,
-    FinallyClause = 20,
-    ForStatement = 21,
-    PackageMethodDeclaration = 22,
-    PackageTypeDeclaration = 23,
-    PackageVariableDeclaration = 24,
-    PackageVariableGetterDeclaration = 25,
-    PackageVariableSetterDeclaration = 26,
-    PackageVariantTypeDeclaration = 27,
-    IfStatement = 28,
-    IndexedAccessExpression = 29,
-    IntegerLiteral = 30,
-    IsExpression = 31,
-    NestedMethodDeclaration = 32,
-    NestedMethodDeclarationStatement = 33,
-    LocalVariableDeclaration = 34,
-    LocalVariableDeclarationStatement = 35,
-    NumericLiteral = 36,
-    CatchClause = 37,
-    MethodLiteral = 38,
-    PrefixUnaryExpression = 39,
-    MeasureLiteral = 40,
-    ReferenceExpression = 41,
-    LoopStatement = 42,
-    ReturnStatement = 43,
-    Package = 44,
-    TextLiteral = 45,
-    TextTemplateLiteral = 46,
-    TypeConstructorDeclaration = 47,
-    TypeDestructorDeclaration = 48,
-    TypeIndexedGetterDeclaration = 49,
-    TypeIndexedSetterDeclaration = 50,
-    TypeMethodDeclaration = 51,
-    TypeVariableDeclaration = 52,
-    TypeVariableGetterDeclaration = 53,
-    TypeVariableSetterDeclaration = 54,
-    SwitchStatement = 55,
-    TernaryExpression = 56,
-    ThisExpression = 57,
-    ValueParameterDeclaration = 58,
-    VariantDeclaration = 59,
-    WhileStatement = 60,
-    YieldStatement = 61,
-    ArrayLiteral = 62,
-    TypeAccessExpression = 63,
-    VariableAccessExpression = 64,
-    MethodAccessExpression = 65,
-    ImplicitVariantAccessExpression = 66,
-    VariantAccessExpression = 67,
-    TypeVariableAccessExpression = 68,
-    TypeMethodAccessExpression = 69,
-    ConstructorCallExpression = 70,
-    InlineJsExpression = 71,
-    AssignmentExpression = 72,
-    CommaExpression = 73,
-    BaseConstructorCallExpression = 74,
-    JsImportSpecifier = 75,
-    JsIndexedAccessExpression = 76,
-    EsModuleImportDirectiveStatement = 77,
-    CjsModuleImportDirectiveStatement = 78,
-    JsObjectLiteral = 79,
-    NamedJsObjectLiteralProperty = 80,
-    SpreadJsObjectLiteralProperty = 81,
-    JsPropertyAccessExpression = 82,
-    JsFunctionLiteral = 83,
-    JsTypeOfExpression = 84,
-    JsInstanceOfExpression = 85,
-    JsIdentifierExpression = 86,
-    DereferenceExpression = 87,
-    BaseExpression = 88,
-    OwnConstructorCallExpression = 89,
-    TypeDereferencedVariableGetterDeclaration = 90,
-    TypeDereferencedVariableSetterDeclaration = 91,
-    JsNamespaceDestructuringStatement = 92,
-    ComputedTypeVariableDeclaration = 93,
-    TextWithEntityName = 94,
-    Arguments = 95,
-    Decorator = 96
+    ImportantStatement = 19,
+    ExpressionStatement = 20,
+    FinallyClause = 21,
+    ForStatement = 22,
+    PackageMethodDeclaration = 23,
+    PackageTypeDeclaration = 24,
+    PackageVariableDeclaration = 25,
+    PackageVariableGetterDeclaration = 26,
+    PackageVariableSetterDeclaration = 27,
+    PackageVariantTypeDeclaration = 28,
+    IfStatement = 29,
+    IndexedAccessExpression = 30,
+    IntegerLiteral = 31,
+    IsExpression = 32,
+    NestedMethodDeclaration = 33,
+    NestedMethodDeclarationStatement = 34,
+    LocalVariableDeclaration = 35,
+    LocalVariableDeclarationStatement = 36,
+    NumericLiteral = 37,
+    CatchClause = 38,
+    MethodLiteral = 39,
+    PrefixUnaryExpression = 40,
+    MeasureLiteral = 41,
+    ReferenceExpression = 42,
+    LoopStatement = 43,
+    ReturnStatement = 44,
+    Package = 45,
+    TextLiteral = 46,
+    TextTemplateLiteral = 47,
+    TypeConstructorDeclaration = 48,
+    TypeDestructorDeclaration = 49,
+    TypeIndexedGetterDeclaration = 50,
+    TypeIndexedSetterDeclaration = 51,
+    TypeMethodDeclaration = 52,
+    TypeVariableDeclaration = 53,
+    TypeVariableGetterDeclaration = 54,
+    TypeVariableSetterDeclaration = 55,
+    SwitchStatement = 56,
+    TernaryExpression = 57,
+    ThisExpression = 58,
+    ValueParameterDeclaration = 59,
+    VariantDeclaration = 60,
+    WhileStatement = 61,
+    YieldStatement = 62,
+    ArrayLiteral = 63,
+    TypeAccessExpression = 64,
+    VariableAccessExpression = 65,
+    MethodAccessExpression = 66,
+    ImplicitVariantAccessExpression = 67,
+    VariantAccessExpression = 68,
+    TypeVariableAccessExpression = 69,
+    TypeMethodAccessExpression = 70,
+    ConstructorCallExpression = 71,
+    InlineJsExpression = 72,
+    AssignmentExpression = 73,
+    CommaExpression = 74,
+    BaseConstructorCallExpression = 75,
+    JsImportSpecifier = 76,
+    JsIndexedAccessExpression = 77,
+    EsModuleImportDirectiveStatement = 78,
+    CjsModuleImportDirectiveStatement = 79,
+    JsObjectLiteral = 80,
+    NamedJsObjectLiteralProperty = 81,
+    SpreadJsObjectLiteralProperty = 82,
+    JsPropertyAccessExpression = 83,
+    JsFunctionLiteral = 84,
+    JsTypeOfExpression = 85,
+    JsInstanceOfExpression = 86,
+    JsIdentifierExpression = 87,
+    DereferenceExpression = 88,
+    BaseExpression = 89,
+    OwnConstructorCallExpression = 90,
+    TypeDereferencedVariableGetterDeclaration = 91,
+    TypeDereferencedVariableSetterDeclaration = 92,
+    JsNamespaceDestructuringStatement = 93,
+    ComputedTypeVariableDeclaration = 94,
+    TextWithEntityName = 95,
+    Arguments = 96,
+    Decorator = 97
 }
 export declare const enum AssignmentOperatorKind {
     Equals = 0,

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

@@ -1,7 +1,7 @@
 import * as ir from './Nodes.js';
-export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.NoneLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedMethodDeclaration | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.CatchClause | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.TextTemplateLiteral | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.ComputedTypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.NamedJsObjectLiteralProperty | ir.SpreadJsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration | ir.TextWithEntityName | ir.Argument | ir.Arguments | ir.Decorator;
+export type Node = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.AssignmentStatement | ir.BaseConstructorCallExpression | ir.BinaryExpression | ir.BlockStatement | ir.BooleanLiteral | ir.BreakLoopStatement | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.NoneLiteral | ir.EmptyStatement | ir.ErrorStatement | ir.ImportantStatement | ir.ExpressionStatement | ir.FinallyClause | ir.ForStatement | ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.IfStatement | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.JsIndexedAccessExpression | ir.NestedMethodDeclaration | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclaration | ir.LocalVariableDeclarationStatement | ir.NumericLiteral | ir.CatchClause | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.LoopStatement | ir.Package | ir.ReturnStatement | ir.TextLiteral | ir.TextTemplateLiteral | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.ComputedTypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.SwitchStatement | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.ValueParameterDeclaration | ir.VariableAccessExpression | ir.VariantDeclaration | ir.WhileStatement | ir.YieldStatement | ir.JsObjectLiteral | ir.NamedJsObjectLiteralProperty | ir.SpreadJsObjectLiteralProperty | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.DereferenceExpression | ir.BaseExpression | ir.OwnConstructorCallExpression | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration | ir.TextWithEntityName | ir.Argument | ir.Arguments | ir.Decorator;
 export type Declaration = ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration | ir.NestedMethodDeclaration | ir.LocalVariableDeclaration | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeMethodDeclaration | ir.TypeVariableDeclaration | ir.TypeVariableGetterDeclaration | ir.TypeVariableSetterDeclaration | ir.ValueParameterDeclaration | ir.VariantDeclaration | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
-export type Statement = ir.AssignmentStatement | ir.BlockStatement | ir.BreakLoopStatement | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.EmptyStatement | ir.ErrorStatement | ir.ExpressionStatement | ir.ForStatement | ir.IfStatement | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclarationStatement | ir.LoopStatement | ir.ReturnStatement | ir.SwitchStatement | ir.WhileStatement | ir.YieldStatement | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement;
+export type Statement = ir.AssignmentStatement | ir.BlockStatement | ir.BreakLoopStatement | ir.ContinueLoopStatement | ir.DisposeStatement | ir.RunStatement | ir.TryStatement | ir.EmptyStatement | ir.ErrorStatement | ir.ImportantStatement | ir.ExpressionStatement | ir.ForStatement | ir.IfStatement | ir.NestedMethodDeclarationStatement | ir.LocalVariableDeclarationStatement | ir.LoopStatement | ir.ReturnStatement | ir.SwitchStatement | ir.WhileStatement | ir.YieldStatement | ir.EsModuleImportDirectiveStatement | ir.CjsModuleImportDirectiveStatement | ir.JsNamespaceDestructuringStatement;
 export type Expression = ir.ArrayLiteral | ir.AsExpression | ir.AssertionExpression | ir.AssumptionExpression | ir.AssignmentExpression | ir.BinaryExpression | ir.BooleanLiteral | ir.CallExpression | ir.CharLiteral | ir.CommaExpression | ir.ConstructorCallExpression | ir.NoneLiteral | ir.IndexedAccessExpression | ir.InlineJsExpression | ir.TypeMethodAccessExpression | ir.TypeVariableAccessExpression | ir.IntegerLiteral | ir.IsExpression | ir.NumericLiteral | ir.MethodAccessExpression | ir.MethodLiteral | ir.PrefixUnaryExpression | ir.MeasureLiteral | ir.ReferenceExpression | ir.DereferenceExpression | ir.TextLiteral | ir.TextWithEntityName | ir.TextTemplateLiteral | ir.TernaryExpression | ir.ThisExpression | ir.TypeAccessExpression | ir.VariableAccessExpression | ir.BaseConstructorCallExpression | ir.JsIndexedAccessExpression | ir.JsObjectLiteral | ir.JsPropertyAccessExpression | ir.JsFunctionLiteral | ir.JsTypeOfExpression | ir.JsInstanceOfExpression | ir.JsIdentifierExpression | ir.BaseExpression | ir.OwnConstructorCallExpression;
 export type TypeMemberDeclaration = ir.TypeVariableDeclaration | ir.ComputedTypeVariableDeclaration | ir.TypeMethodDeclaration | ir.TypeConstructorDeclaration | ir.TypeDestructorDeclaration | ir.TypeIndexedGetterDeclaration | ir.TypeIndexedSetterDeclaration | ir.TypeDereferencedVariableGetterDeclaration | ir.TypeDereferencedVariableSetterDeclaration;
 export type PackageMemberDeclaration = ir.PackageMethodDeclaration | ir.PackageTypeDeclaration | ir.PackageVariableDeclaration | ir.PackageVariableGetterDeclaration | ir.PackageVariableSetterDeclaration | ir.PackageVariantTypeDeclaration;

package/build/types/tree/KeywordKind.d.ts

@@ -18,44 +18,45 @@ export declare enum KeywordKind {
     Type = 16,
     Basic = 17,
     Import = 18,
-    Error = 19,
-    Finally = 20,
-    And = 21,
-    Or = 22,
-    Xor = 23,
-    While = 24,
-    Loop = 25,
-    RepeatWhile = 26,
-    Yield = 27,
-    When = 28,
-    Creation = 29,
-    Catch = 30,
-    BreakLoop = 31,
-    ContinueLoop = 32,
-    For = 33,
-    Const = 34,
-    Hidden = 35,
-    Abstract = 36,
-    Redefinable = 37,
-    Redefined = 38,
-    Async = 39,
-    Static = 40,
-    As = 41,
-    Not = 42,
-    Switch = 43,
-    Case = 44,
-    Dispose = 45,
-    Destruction = 46,
-    InHierarchy = 47,
-    InFile = 48,
-    InPackage = 49,
-    InType = 50,
-    Yes = 51,
-    No = 52,
-    Reference = 53,
-    Translations = 54,
-    Base = 55,
-    None = 56,
-    Get = 57,
-    Set = 58
+    Important = 19,
+    Error = 20,
+    Finally = 21,
+    And = 22,
+    Or = 23,
+    Xor = 24,
+    While = 25,
+    Loop = 26,
+    RepeatWhile = 27,
+    Yield = 28,
+    When = 29,
+    Creation = 30,
+    Catch = 31,
+    BreakLoop = 32,
+    ContinueLoop = 33,
+    For = 34,
+    Const = 35,
+    Hidden = 36,
+    Abstract = 37,
+    Redefinable = 38,
+    Redefined = 39,
+    Async = 40,
+    Static = 41,
+    As = 42,
+    Not = 43,
+    Switch = 44,
+    Case = 45,
+    Dispose = 46,
+    Destruction = 47,
+    InHierarchy = 48,
+    InFile = 49,
+    InPackage = 50,
+    InType = 51,
+    Yes = 52,
+    No = 53,
+    Reference = 54,
+    Translations = 55,
+    Base = 56,
+    None = 57,
+    Get = 58,
+    Set = 59
 }