@artel/artc 0.6.25220 → 0.6.25222

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

@@ -1,125 +1,133 @@
 export declare enum DiagnosticCode {
-    IdentifierExpected = 0,
-    TypeNameExpected = 1,
-    PackageNameExpected = 2,
-    TypeMemberDeclarationExpected = 3,
-    SourceFileMemberExpected = 4,
-    EnumerationVariableDeclarationExpected = 5,
-    StatementExpected = 6,
-    ExpressionExpected = 7,
-    BaseTypeNameExpected = 8,
-    TypeSpecifierExpected = 9,
-    TypeBodyExpected = 10,
-    MethodCallArgumentExpected = 11,
-    IndexedAccessArgumentExpected = 12,
-    TagArgumentExpected = 13,
-    TypeParameterExpected = 14,
-    ParameterExpected = 15,
-    RunStatementClauseExpected = 16,
-    CatchClauseOrFinallyClauseExpected = 17,
-    PackageImportExpected = 18,
-    UsingDirectiveOrSourceFileMemberExpected = 19,
-    TypeMemberTranslationExpected = 20,
-    TranslationExpected = 21,
-    Expected0But1Found = 22,
-    InvalidTextTemplateLiteral = 23,
-    RunKeywordCreationKeywordOrModifierListExpected = 24,
-    ModifierListExpected = 25,
-    HidingLevelExpected = 26,
-    ParameterNameCanContainOnlyOneBackQuote = 27,
-    FieldNameCanContainOnlyTwoBackQuote = 28,
-    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 29,
-    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 30,
-    TagNameExpected = 31,
-    TypeCannotBeUsedAsValue = 32,
-    PackageMemberNotFound = 33,
-    TypeMemberNotFound = 34,
-    CannotAccessStaticMembersOnTypeParameter = 35,
-    IndexerOfTheSpecifiedTypeNotFound = 36,
-    DereferenceOperatorOfTheSpecifiedTypeNotFound = 37,
-    IndexerNotFound = 38,
-    CannotCreateInstanceOfAspect = 39,
-    CannotCreateInstanceOfTypeParameter = 40,
-    CannotCreateInstanceOfUnresolvedType = 41,
-    TypeConstructorNotFound = 42,
-    CannotInvokeExpression = 43,
-    NamedArgumentExpectedButPositionalArgumentFound = 44,
-    ParameterWithGivenNameNotFound = 45,
-    ArgumentForParameterAlreadyPassed = 46,
-    PackageAliasCannotBeUsedAsValue = 47,
-    PackageNameCannotBeUsedAsValue = 48,
-    UnknownVariable = 49,
-    UnknownType = 50,
-    TypeWithArity0NotFound = 51,
-    VariableUsedBeforeBeingDeclared = 52,
-    Type0IsNotAssignableToType1 = 53,
-    VariableNotFound = 54,
-    MethodNotFound = 55,
-    UnknownPackage = 56,
-    CannotAssignValueToExpression = 57,
-    NotEveryRequiredParameterIsProvidedWithArgument = 58,
-    ParameterForPositionalArgumentNotFound = 59,
-    CannotDetermineTargetTypeToCallTheConstructor = 60,
-    AmbiguousAccess = 61,
-    PackageNameConflictsWithDeclarationName = 62,
-    CanNotAssignValueToContextVariable = 63,
-    ExpectedPackageNameOrAliasButFoundType = 64,
-    TypeExpected = 65,
-    NameOfTypeOrPackageNotFound = 66,
-    TypeIsNotATag = 67,
-    ExpressionOfType0CanNotBeUsedForEnumeration = 68,
-    Operator0IsNotDefinedForTypes1And2 = 69,
-    Operator0IsNotDefinedForType1 = 70,
-    VariantMustHaveAssociatedValue = 71,
-    PackageMemberOrPackageNotFound = 72,
-    TranslationsCanOnlyBeDeclaredInTranslationPackage = 73,
-    UnknownTranslatedPackage0 = 74,
-    BaseCannotBeUsedInThisContext = 75,
-    OverriddenMethodNotFound = 76,
-    ObjectCannotBeUsedInThisContext = 77,
-    BaseCannotBeUsedAsAnExpressionInItself = 78,
-    InterfacePackageMustNotContainImplementation = 79,
-    InterfacePackageVariablesMustNotHaveInitializers = 80,
-    BodyIsMissing = 81,
-    AbstractTypeMembersMustNotHaveBody = 82,
-    AbstractVariablesMustNotHaveInitializers = 83,
-    PackageIsAlreadyImportedInAnotherLanguage = 84,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 85,
-    MethodsUsingYieldStatementCanNotReturnValue = 86,
-    YieldStatementCanNotBeUsedInAnonymousMethods = 87,
-    YieldStatementCanNotBeUsedHere = 88,
-    MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 89,
-    YieldStatementCanNotBeUsedInTryStatementThatHasCatchClause = 90,
-    YieldStatementCanNotBeUsedInFinallyClause = 91,
-    SubprogramMustReturnValue = 92,
-    ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 93,
-    TypeAliasReferencesItself = 94,
-    TypeParameterHasCircularConstraint = 95,
-    BaseTypeCausesInheritanceCycle = 96,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 97,
-    Expected0TypeArguments = 98,
-    ExpectedFrom0To1TypeArguments = 99,
-    Type0IsNotAssignableToConstraint1 = 100,
-    VariableIsDeclaredButNotUsed = 101,
-    DefaultConstructorArgumentsMustBeNamed = 102,
-    IncorrectBodyOfRedefinableAliasTypeMethod = 103,
-    TheFollowingDeclarationsAreNotTranslated0 = 104,
-    TheFollowingDeclarationAreNotTranslated0And1More = 105,
-    OperatorMustNotBeStatic = 106,
-    Operator0MustNotHaveParameters = 107,
-    Operator0MustHaveOneParameter = 108,
-    Operator0MustHaveNoMoreThanOneParameter = 109,
-    CorrespondingRedefinableTypeMemberNotFound = 110,
-    ConstructorCanNotBeRedefinable = 111,
-    ConstructorCanNotBeRedefined = 112,
-    AsyncMethodCanOnlyBeCalledFromMethodMarkedWithAsyncModifier = 113,
-    TagNotFound = 114,
-    TypeOrMethodNameExpected = 115,
-    PackageNameOrAliasExpected = 116,
-    CanNotFindTsLibDirectoryBaseSearchPaths0 = 117,
-    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 118,
-    ProgramWithoutMainPackageCanNotBeCompiled = 119,
-    JsonConfigurationValidationError = 120,
-    StandardPackage0NotFound = 121,
-    Declaration0NotFoundInStandardPackage1 = 122
+    UnterminatedToken = 0,
+    UnterminatedMultiLineComment = 1,
+    UnterminatedNumber = 2,
+    UnterminatedTextOrTextTemplate = 3,
+    UnterminatedQuotedIdentifier = 4,
+    IdentifierExpected = 5,
+    TypeNameExpected = 6,
+    PackageNameExpected = 7,
+    TypeMemberDeclarationExpected = 8,
+    SourceFileMemberExpected = 9,
+    EnumerationVariableDeclarationExpected = 10,
+    StatementExpected = 11,
+    ExpressionExpected = 12,
+    BaseTypeNameExpected = 13,
+    TypeSpecifierExpected = 14,
+    TypeBodyExpected = 15,
+    MethodCallArgumentExpected = 16,
+    IndexedAccessArgumentExpected = 17,
+    TagArgumentExpected = 18,
+    TypeParameterExpected = 19,
+    ParameterExpected = 20,
+    RunStatementClauseExpected = 21,
+    CatchClauseOrFinallyClauseExpected = 22,
+    PackageImportExpected = 23,
+    UsingDirectiveOrSourceFileMemberExpected = 24,
+    TypeMemberTranslationExpected = 25,
+    TranslationExpected = 26,
+    Expected0But1Found = 27,
+    InvalidTextTemplateLiteral = 28,
+    RunKeywordCreationKeywordOrModifierListExpected = 29,
+    ModifierListExpected = 30,
+    HidingLevelExpected = 31,
+    ParameterNameCanContainOnlyOneBackQuote = 32,
+    FieldNameCanContainOnlyTwoBackQuote = 33,
+    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 34,
+    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 35,
+    TagNameExpected = 36,
+    TypeCannotBeUsedAsValue = 37,
+    PackageMemberNotFound = 38,
+    TypeMemberNotFound = 39,
+    CannotAccessStaticMembersOnTypeParameter = 40,
+    IndexerOfTheSpecifiedTypeNotFound = 41,
+    DereferenceOperatorOfTheSpecifiedTypeNotFound = 42,
+    IndexerNotFound = 43,
+    CannotCreateInstanceOfAspect = 44,
+    CannotCreateInstanceOfTypeParameter = 45,
+    CannotCreateInstanceOfUnresolvedType = 46,
+    TypeConstructorNotFound = 47,
+    CannotInvokeExpression = 48,
+    NamedArgumentExpectedButPositionalArgumentFound = 49,
+    ParameterWithGivenNameNotFound = 50,
+    ArgumentForParameterAlreadyPassed = 51,
+    PackageAliasCannotBeUsedAsValue = 52,
+    PackageNameCannotBeUsedAsValue = 53,
+    UnknownVariable = 54,
+    UnknownType = 55,
+    TypeWithArity0NotFound = 56,
+    VariableUsedBeforeBeingDeclared = 57,
+    Type0IsNotAssignableToType1 = 58,
+    VariableNotFound = 59,
+    MethodNotFound = 60,
+    UnknownPackage = 61,
+    CannotAssignValueToExpression = 62,
+    NotEveryRequiredParameterIsProvidedWithArgument = 63,
+    ParameterForPositionalArgumentNotFound = 64,
+    CannotDetermineTargetTypeToCallTheConstructor = 65,
+    AmbiguousAccess = 66,
+    PackageNameConflictsWithDeclarationName = 67,
+    CanNotAssignValueToContextVariable = 68,
+    ExpectedPackageNameOrAliasButFoundType = 69,
+    TypeExpected = 70,
+    NameOfTypeOrPackageNotFound = 71,
+    TypeIsNotATag = 72,
+    ExpressionOfType0CanNotBeUsedForEnumeration = 73,
+    Operator0IsNotDefinedForTypes1And2 = 74,
+    Operator0IsNotDefinedForType1 = 75,
+    VariantMustHaveAssociatedValue = 76,
+    PackageMemberOrPackageNotFound = 77,
+    TranslationsCanOnlyBeDeclaredInTranslationPackage = 78,
+    UnknownTranslatedPackage0 = 79,
+    BaseCannotBeUsedInThisContext = 80,
+    OverriddenMethodNotFound = 81,
+    ObjectCannotBeUsedInThisContext = 82,
+    BaseCannotBeUsedAsAnExpressionInItself = 83,
+    InterfacePackageMustNotContainImplementation = 84,
+    InterfacePackageVariablesMustNotHaveInitializers = 85,
+    BodyIsMissing = 86,
+    AbstractTypeMembersMustNotHaveBody = 87,
+    AbstractVariablesMustNotHaveInitializers = 88,
+    PackageIsAlreadyImportedInAnotherLanguage = 89,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 90,
+    MethodsUsingYieldStatementCanNotReturnValue = 91,
+    YieldStatementCanNotBeUsedInAnonymousMethods = 92,
+    YieldStatementCanNotBeUsedHere = 93,
+    MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 94,
+    YieldStatementCanNotBeUsedInTryStatementThatHasCatchClause = 95,
+    YieldStatementCanNotBeUsedInFinallyClause = 96,
+    SubprogramMustReturnValue = 97,
+    ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 98,
+    TypeAliasReferencesItself = 99,
+    TypeParameterHasCircularConstraint = 100,
+    BaseTypeCausesInheritanceCycle = 101,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 102,
+    Expected0TypeArguments = 103,
+    ExpectedFrom0To1TypeArguments = 104,
+    Type0IsNotAssignableToConstraint1 = 105,
+    VariableIsDeclaredButNotUsed = 106,
+    DefaultConstructorArgumentsMustBeNamed = 107,
+    IncorrectBodyOfRedefinableAliasTypeMethod = 108,
+    TheFollowingDeclarationsAreNotTranslated0 = 109,
+    TheFollowingDeclarationAreNotTranslated0And1More = 110,
+    OperatorMustNotBeStatic = 111,
+    Operator0MustNotHaveParameters = 112,
+    Operator0MustHaveOneParameter = 113,
+    Operator0MustHaveNoMoreThanOneParameter = 114,
+    CorrespondingRedefinableTypeMemberNotFound = 115,
+    ConstructorCanNotBeRedefinable = 116,
+    ConstructorCanNotBeRedefined = 117,
+    AsyncMethodCanOnlyBeCalledFromMethodMarkedWithAsyncModifier = 118,
+    TagNotFound = 119,
+    TypeOrMethodNameExpected = 120,
+    PackageNameOrAliasExpected = 121,
+    ExpressionCanBeNone = 122,
+    NoneAwareAccessCanNotBeUsedOnTheLeftHandSideOfAssignmentStatement = 123,
+    UnreachableCode = 124,
+    CanNotFindTsLibDirectoryBaseSearchPaths0 = 125,
+    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 126,
+    ProgramWithoutMainPackageCanNotBeCompiled = 127,
+    JsonConfigurationValidationError = 128,
+    StandardPackage0NotFound = 129,
+    Declaration0NotFoundInStandardPackage1 = 130
 }

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

@@ -16,5 +16,6 @@ export declare const enum DiagnosticKind {
 export declare const enum DiagnosticFlags {
     None = 0,
     Unused = 1,
-    Deprecated = 2
+    Unreachable = 2,
+    Deprecated = 4
 }

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/parser/Scanner.d.ts

@@ -37,6 +37,7 @@ export declare class Scanner {
     private scanBinaryDigitSequence;
     private scanMeasureUnits;
     private scanSingleLineComment;
+    private scanMultilineLineComment;
     private scanIdentifier;
     private scanQuotedIdentifier;
     static isWhitespaceOrTab(char: string): boolean;

package/build/types/services/CompletionService.d.ts

@@ -24,7 +24,8 @@ export declare class CompletionService {
     private isRepeatWhileKeywordContext;
     private isModifierLevelContext;
     private isElseOrElseIfKeywordContext;
-    private isRunStatementAccessorListContext;
+    private isCatchKeywordContext;
+    private isFinallyKeywordContext;
     private isTypeKindCompletionContext;
     private isFromKeywordContext;
     private isCaseKeywordContext;

package/build/types/services/DisplayService.d.ts

@@ -74,8 +74,9 @@ export type VariableDeclaration = VariableDeclaration_entity | VariableDeclarati
 export declare class VariableDeclaration_entity implements IVariableDeclaration {
     readonly value: e.VariableEntity;
     readonly localization: Localization;
+    readonly narrowedType?: types.Type | undefined;
     readonly kind = "entity";
-    constructor(value: e.VariableEntity, localization: Localization);
+    constructor(value: e.VariableEntity, localization: Localization, narrowedType?: types.Type | undefined);
     getEntity(): e.VariableEntity;
     getLocalization(): Localization;
     getType(): types.Type;
@@ -85,8 +86,9 @@ export declare class VariableDeclaration_entity implements IVariableDeclaration
 export declare class VariableDeclaration_typeMember implements IVariableDeclaration {
     readonly value: types.Variable;
     readonly localization: Localization;
+    readonly narrowedType?: types.Type | undefined;
     readonly kind = "type-member";
-    constructor(value: types.Variable, localization: Localization);
+    constructor(value: types.Variable, localization: Localization, narrowedType?: types.Type | undefined);
     getEntity(): e.VariableEntity;
     getLocalization(): Localization;
     getType(): types.Type;

package/build/types/services/NodeSemanticInfo.d.ts

@@ -57,15 +57,17 @@ export type ReferenceTarget = EntityReferenceTarget | TypeVariableReferenceTarge
 export declare class EntityReferenceTarget {
     readonly entity: ReferencedEntity;
     readonly accessKind: AccessKind;
+    readonly narrowedType?: types.Type | undefined;
     readonly kind = "entity";
-    constructor(entity: ReferencedEntity, accessKind: AccessKind);
+    constructor(entity: ReferencedEntity, accessKind: AccessKind, narrowedType?: types.Type | undefined);
 }
 export type ReferencedEntity = VariableEntity | VariantTypeEntity | MethodEntity | TypeParameterEntity | MethodTypeEntity | StructuredTypeEntity | PackageAliasEntity | AliasTypeEntity;
 export declare class TypeVariableReferenceTarget {
     readonly variable: types.Variable;
     readonly accessKind: AccessKind;
+    readonly narrowedType: types.Type | undefined;
     readonly kind = "type-variable";
-    constructor(variable: types.Variable, accessKind: AccessKind);
+    constructor(variable: types.Variable, accessKind: AccessKind, narrowedType: types.Type | undefined);
 }
 export declare class TypeValueParameterReferenceTarget {
     readonly parameter: types.ValueParameter;