@artel/artc 0.6.25211 → 0.6.25213

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

@@ -18,5 +18,6 @@ export declare class StatementBlockScopeBuilder {
     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;
     private static getLocalNamedDeclarations;
 }

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

@@ -1,5 +1,5 @@
 import { PackageLocale, Query, SearchName } from '../common/index.js';
-import { BinaryOperatorKind, IEntityHidingMatcher, TypeEntity, UnaryOperatorKind } from '../entities/index.js';
+import { IEntityHidingMatcher, OperatorKind, TypeEntity } from '../entities/index.js';
 import * as types from '../types/index.js';
 import { Analyzer } from './Analyzer.js';
 import { FoundAnonymousDeclaration, FoundNamedDeclaration } from './FoundDeclaration.js';
@@ -18,10 +18,10 @@ export declare class TypeMemberLookup {
     static ofTypeEntity(analyzer: Analyzer, entity: TypeEntity, localizationContext: LocalizationContext | undefined): TypeMemberLookup;
     getNamedMembers(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
     getNamedMembersByName(name: SearchName, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundNamedDeclaration<types.NamedTypeMember>>;
+    getOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Operator>>;
+    getOperatorsByKind(kind: OperatorKind, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Operator>>;
     getConstructors(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Constructor>>;
     getIndexers(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.Indexer>>;
     getDereferenceOperators(hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.DereferenceOperator>>;
-    getBinaryOperators(kind: BinaryOperatorKind, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.BinaryOperator>>;
-    getUnaryOperators(kind: UnaryOperatorKind, hidingMatcher?: IEntityHidingMatcher, typeExtensionsLookup?: Lookup): Query<FoundAnonymousDeclaration<types.UnaryOperator>>;
     private getLocaleOfTypeEntity;
 }

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

@@ -1,5 +1,5 @@
 import { WithDiagnostics } from '../common/index.js';
-import { BinaryOperatorKind } from '../entities/index.js';
+import { BinaryOperatorKind } from '../entities/OperatorKind.js';
 import { Expression, Node } from '../tree/index.js';
 import * as types from '../types/index.js';
 import { FoundAnonymousDeclaration } from './FoundDeclaration.js';
@@ -32,6 +32,6 @@ export declare class UserDefinableBinaryOperatorResolver {
     private get leftType();
     private get rightType();
     constructor(_analyzer: Analyzer, _left: Expression, _right: Expression, _operatorKind: BinaryOperatorKind, _operatorNodeForDiagnostic: Node);
-    resolve(): WithDiagnostics<FoundAnonymousDeclaration<types.BinaryOperator>>;
+    resolve(): WithDiagnostics<FoundAnonymousDeclaration<types.Operator>>;
     private chooseSuitableOperators;
 }

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

@@ -1,6 +1,7 @@
 export declare class Cached<T> {
     private _hasValue;
     private _value?;
+    private _isEvaluating;
     getOrInsertWith(fn: () => T): T;
     clear(): void;
 }

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

@@ -8,6 +8,6 @@ export declare class Debug {
     static cast<T>(_value: unknown): asserts _value is T;
     static internalError(message?: string): never;
 }
-export type AreEqual<X, Y> = (<T>() => T extends X ? 1 : 2) extends (<T>() => T extends Y ? 1 : 2) ? true : false;
+export type AreEqual<A, B> = [A] extends [B] ? ([B] extends [A] ? true : false) : false;
 export type IsTrue<_T extends true> = never;
 export type IsNever<_T extends never> = never;

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

@@ -1,10 +1,13 @@
+import { OperatorKind } from '../entities/OperatorKind.js';
 import { ReservedIdentifierKind } from '../parser/ReservedIdentifierDictionary.js';
 import * as tree from '../tree/index.js';
 import { HelperPhraseKind } from './HelperPhrases.js';
 import { PackageDialect, PackageLocale } from './index.js';
 export declare class LocalizationHelper {
-    static localizeKeyword(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): readonly string[];
-    static localizeKeywordAndTakeFirst(kind: tree.KeywordKind, locale: PackageLocale, dialect: PackageDialect): string;
+    static localizeKeyword(kind: tree.KeywordKind, locale: PackageLocale, dialect?: PackageDialect): readonly string[];
+    static localizeKeywordAndTakeFirst(kind: tree.KeywordKind, locale: PackageLocale, dialect?: PackageDialect): string;
     static localizeReservedIdentifier(kind: ReservedIdentifierKind, locale: PackageLocale): string;
     static localizeHelperPhrase(kind: HelperPhraseKind, locale: PackageLocale): string;
+    static localizeOperatorKind(kind: OperatorKind, locale: PackageLocale, dialect?: PackageDialect): string;
+    static localizeSyntacticalOperatorKind(kind: tree.OperatorKind, locale: PackageLocale, dialect?: PackageDialect): string;
 }

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

@@ -1,9 +1,18 @@
 export declare class Uri {
     readonly scheme: string;
+    readonly authority: string;
     readonly segments: string[];
-    constructor(scheme: string, segments: string[]);
-    static empty(scheme: string): Uri;
+    constructor(scheme: string, authority: string, segments: string[]);
+    /**
+     * @param path Путь, сегменты которого разделены прямым слэшем (`/`).
+     */
+    static from(scheme: string, authority: string, path: string): Uri;
+    static empty(scheme: string, authority: string): Uri;
+    /**
+     * Создаёт Uri из текста, полученного вызовом метода `Uri.toString()`.
+     */
     static fromString(uri: string): Uri;
+    get path(): string;
     isEmpty(): boolean;
     isJust(segment: string): boolean;
     parentUri(): Uri | undefined;

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

@@ -27,7 +27,6 @@ export * from './ThrottledCancellationToken.js';
 export * from './TreeQuery.js';
 export * from './TreeTraversal.js';
 export * from './Uri.js';
-export * from './UriTree.js';
 export * from './UserLocale.js';
 export * from './WithDiagnostics.js';
 export * from './YieldExecution.js';

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

@@ -28,119 +28,130 @@ export declare enum DiagnosticCode {
     ModifierListExpected = 26,
     HidingLevelExpected = 27,
     PropertyOrElementAccessExpected = 28,
-    VariantNotFound = 29,
-    TypeCannotBeUsedAsValue = 30,
-    PackageMemberNotFound = 31,
-    CannotAccessMembersOfUnresolvedPackage = 32,
-    TypeMemberNotFound = 33,
-    CannotAccessMembersOnMethodType = 34,
-    CannotAccessStaticMembersOnTypeParameter = 35,
-    CannotAccessStaticMembersOnUnionType = 36,
-    CannotAccessMembersOnUnresolvedType = 37,
-    CannotAccessInstanceMembersOnVariantType = 38,
-    CannotAccessInstanceMembersOnTypeParameterWithoutConstraint = 39,
-    CannotAccessIndexerOnVariantType = 40,
-    CannotAccessIndexerOnMethodType = 41,
-    CannotAccessIndexerOnTypeParameter = 42,
-    CannotAccessIndexerOnUnresolvedType = 43,
-    IndexerOfTheSpecifiedTypeNotFound = 44,
-    DereferenceOperatorOfTheSpecifiedTypeNotFound = 45,
-    IndexedGetterNotFound = 46,
-    IndexedSetterNotFound = 47,
-    IndexerNotFound = 48,
-    CannotCreateInstanceOfAspect = 49,
-    CannotCreateInstanceOfVariantType = 50,
-    CannotCreateInstanceOfMethodType = 51,
-    CannotCreateInstanceOfTypeParameter = 52,
-    CannotCreateInstanceOfUnresolvedType = 53,
-    CannotCreateInstanceOfInvalidType = 54,
-    TypeConstructorNotFound = 55,
-    CannotInvokeExpression = 56,
-    NamedArgumentExpectedButPositionalArgumentFound = 57,
-    ParameterWithGivenNameNotFound = 58,
-    ArgumentForParameterAlreadyPassed = 59,
-    PackageAliasCannotBeUsedAsValue = 60,
-    PackageNameCannotBeUsedAsValue = 61,
-    UnknownVariable = 62,
-    UnknownType = 63,
-    TypeWithArity0NotFound = 64,
-    CannotAccessMembersOnInvalidType = 65,
-    CannotAccessIndexerOnInvalidType = 66,
-    VariableUsedBeforeBeingDeclared = 67,
-    Type0IsNotAssignableToType1 = 68,
-    VariableNotFound = 69,
-    MethodNotFound = 70,
-    PackageAliasNotFound = 71,
-    VariantAliasExpected = 72,
-    UnknownPackage = 73,
-    CannotAssignValueToExpression = 74,
-    NotEveryRequiredParameterIsProvidedWithCallArgument = 75,
-    ParameterForPositionalCallArgumentNotFound = 76,
-    AliasTypeAliasMustNotContainMemberAliases = 77,
-    InvalidTypeAliasMustNotContainMemberAliases = 78,
-    CannotUseSpecialNameForLocalDeclaration = 79,
-    SpecialNameIsNotAllowed = 80,
-    MultipleValuesFound = 81,
-    CannotDetermineTargetTypeToCallTheConstructor = 82,
-    AmbiguousAccess = 83,
-    PackageNameConflictsWithDeclarationName = 84,
-    CannotAccessVariableDueToItsAccessibilityLevel = 85,
-    CannotAccessMethodDueToItsAccessibilityLevel = 86,
-    CannotAccessTypeDueToItsAccessibilityLevel = 87,
-    CanNotAssignValueToContextVariable = 88,
-    ExpectedPackageNameOrAliasButFoundType = 89,
-    TypeExpected = 90,
-    TypeOrPackageNotFound = 91,
-    TypeIsNotATag = 92,
-    ExpressionOfType0CanNotBeUsedForEnumeration = 93,
-    Operator0IsNotDefinedForTypes1And2 = 94,
-    Operator0IsNotDefinedForType1 = 95,
-    VariantMustHaveAssociatedValue = 96,
-    AssociatedValueMustBeANumberOrTextLiteral = 97,
-    PackageMemberOrPackageNotFound = 98,
-    TranslationsCanOnlyBeDeclaredInTranslationPackage = 99,
-    UnknownTranslatedPackage0 = 100,
-    BaseCannotBeUsedInThisContext = 101,
-    OverriddenMethodNotFound = 102,
-    ObjectCannotBeUsedInThisContext = 103,
-    BaseCannotBeUsedAsAnExpressionInItself = 104,
-    InterfacePackageMustNotContainImplementation = 105,
-    InterfacePackageVariablesMustNotHaveInitializers = 106,
-    InterfacePackageVariablesMustNotHaveAccessors = 107,
-    InterfacePackageIndexersMustNotHaveAccessors = 108,
-    BodyIsMissing = 109,
-    AbstractTypeMembersMustNotHaveBody = 110,
-    AbstractIndexersMustNotHaveAccessors = 111,
-    AbstractVariablesMustNotHaveInitializers = 112,
-    AbstractVariablesMustNotHaveAccessors = 113,
-    AccessorsAreMissing = 114,
-    PackageIsAlreadyImportedInAnotherLanguage = 115,
-    OnlySubprogramsWithReturnTypeCanReturnValue = 116,
-    MethodsUsingYieldStatementCanNotReturnValue = 117,
-    YieldStatementCanNotBeUsedInAnonymousMethods = 118,
-    YieldStatementCanNotBeUsedHere = 119,
-    MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 120,
-    YieldStatementCanNotBeUsedInRunStatementThatHasOnErrorClause = 121,
-    YieldStatementCanNotBeUsedInFinallyClause = 122,
-    SubprogramMustReturnValue = 123,
-    ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 124,
-    TypeAliasReferencesItself = 125,
-    TypeParameterHasCircularConstraint = 126,
-    BaseTypeCausesInheritanceCycle = 127,
-    OnlyGenericTypesAndFunctionsCanBeSpecialized = 128,
-    Expected0TypeArguments = 129,
-    ExpectedFrom0To1TypeArguments = 130,
-    Type0IsNotAssignableToConstraint1 = 131,
-    VariableIsDeclaredButNotUsed = 132,
-    DefaultConstructorArgumentsMustBeNamed = 133,
-    IncorrectBodyOfRedefinableAliasTypeMethod = 134,
-    TheFollowingDeclarationsAreNotTranslated0 = 135,
-    TheFollowingDeclarationAreNotTranslated0And1More = 136,
-    CanNotFindTsLibDirectoryBaseSearchPaths0 = 137,
-    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 138,
-    MainPackageConfigurationIsMissingProjectWontBeLoaded = 139,
-    ProgramWithoutMainPackageCanNotBeCompiled = 140,
-    JsonConfigurationValidationError = 141,
-    StandardPackage0NotFound = 142,
-    Declaration0NotFoundInStandardPackage1 = 143
+    NameMustNotStartWithTilde = 29,
+    OperatorNameCanOnlyBeUsedInOperatorDeclaration = 30,
+    ParameterNameCanContainOnlyOneBackQuote = 31,
+    FieldNameCanContainOnlyTwoBackQuote = 32,
+    BackQuotesCanOnlyBeUsedInParameterAndFieldNames = 33,
+    NameThatMatchesKeywordMustBeEnclosedInSingleQuotes = 34,
+    VariantNotFound = 35,
+    TypeCannotBeUsedAsValue = 36,
+    PackageMemberNotFound = 37,
+    CannotAccessMembersOfUnresolvedPackage = 38,
+    TypeMemberNotFound = 39,
+    OperatorNotFound = 40,
+    CannotAccessMembersOnMethodType = 41,
+    CannotAccessStaticMembersOnTypeParameter = 42,
+    CannotAccessStaticMembersOnUnionType = 43,
+    CannotAccessMembersOnUnresolvedType = 44,
+    CannotAccessInstanceMembersOnVariantType = 45,
+    CannotAccessInstanceMembersOnTypeParameterWithoutConstraint = 46,
+    CannotAccessIndexerOnVariantType = 47,
+    CannotAccessIndexerOnMethodType = 48,
+    CannotAccessIndexerOnTypeParameter = 49,
+    CannotAccessIndexerOnUnresolvedType = 50,
+    IndexerOfTheSpecifiedTypeNotFound = 51,
+    DereferenceOperatorOfTheSpecifiedTypeNotFound = 52,
+    IndexedGetterNotFound = 53,
+    IndexedSetterNotFound = 54,
+    IndexerNotFound = 55,
+    CannotCreateInstanceOfAspect = 56,
+    CannotCreateInstanceOfVariantType = 57,
+    CannotCreateInstanceOfMethodType = 58,
+    CannotCreateInstanceOfTypeParameter = 59,
+    CannotCreateInstanceOfUnresolvedType = 60,
+    CannotCreateInstanceOfInvalidType = 61,
+    TypeConstructorNotFound = 62,
+    CannotInvokeExpression = 63,
+    NamedArgumentExpectedButPositionalArgumentFound = 64,
+    ParameterWithGivenNameNotFound = 65,
+    ArgumentForParameterAlreadyPassed = 66,
+    PackageAliasCannotBeUsedAsValue = 67,
+    PackageNameCannotBeUsedAsValue = 68,
+    UnknownVariable = 69,
+    UnknownType = 70,
+    TypeWithArity0NotFound = 71,
+    CannotAccessMembersOnInvalidType = 72,
+    CannotAccessIndexerOnInvalidType = 73,
+    VariableUsedBeforeBeingDeclared = 74,
+    Type0IsNotAssignableToType1 = 75,
+    VariableNotFound = 76,
+    MethodNotFound = 77,
+    PackageAliasNotFound = 78,
+    VariantAliasExpected = 79,
+    UnknownPackage = 80,
+    CannotAssignValueToExpression = 81,
+    NotEveryRequiredParameterIsProvidedWithCallArgument = 82,
+    ParameterForPositionalCallArgumentNotFound = 83,
+    AliasTypeAliasMustNotContainMemberAliases = 84,
+    InvalidTypeAliasMustNotContainMemberAliases = 85,
+    CannotUseSpecialNameForLocalDeclaration = 86,
+    SpecialNameIsNotAllowed = 87,
+    MultipleValuesFound = 88,
+    CannotDetermineTargetTypeToCallTheConstructor = 89,
+    AmbiguousAccess = 90,
+    PackageNameConflictsWithDeclarationName = 91,
+    CannotAccessVariableDueToItsAccessibilityLevel = 92,
+    CannotAccessMethodDueToItsAccessibilityLevel = 93,
+    CannotAccessTypeDueToItsAccessibilityLevel = 94,
+    CanNotAssignValueToContextVariable = 95,
+    ExpectedPackageNameOrAliasButFoundType = 96,
+    TypeExpected = 97,
+    TypeOrPackageNotFound = 98,
+    TypeIsNotATag = 99,
+    ExpressionOfType0CanNotBeUsedForEnumeration = 100,
+    Operator0IsNotDefinedForTypes1And2 = 101,
+    Operator0IsNotDefinedForType1 = 102,
+    VariantMustHaveAssociatedValue = 103,
+    AssociatedValueMustBeANumberOrTextLiteral = 104,
+    PackageMemberOrPackageNotFound = 105,
+    TranslationsCanOnlyBeDeclaredInTranslationPackage = 106,
+    UnknownTranslatedPackage0 = 107,
+    BaseCannotBeUsedInThisContext = 108,
+    OverriddenMethodNotFound = 109,
+    ObjectCannotBeUsedInThisContext = 110,
+    BaseCannotBeUsedAsAnExpressionInItself = 111,
+    InterfacePackageMustNotContainImplementation = 112,
+    InterfacePackageVariablesMustNotHaveInitializers = 113,
+    InterfacePackageVariablesMustNotHaveAccessors = 114,
+    InterfacePackageIndexersMustNotHaveAccessors = 115,
+    BodyIsMissing = 116,
+    AbstractTypeMembersMustNotHaveBody = 117,
+    AbstractIndexersMustNotHaveAccessors = 118,
+    AbstractVariablesMustNotHaveInitializers = 119,
+    AbstractVariablesMustNotHaveAccessors = 120,
+    AccessorsAreMissing = 121,
+    PackageIsAlreadyImportedInAnotherLanguage = 122,
+    OnlySubprogramsWithReturnTypeCanReturnValue = 123,
+    MethodsUsingYieldStatementCanNotReturnValue = 124,
+    YieldStatementCanNotBeUsedInAnonymousMethods = 125,
+    YieldStatementCanNotBeUsedHere = 126,
+    MethodsUsingYieldStatementMustHaveEnumerableAsReturnType = 127,
+    YieldStatementCanNotBeUsedInRunStatementThatHasOnErrorClause = 128,
+    YieldStatementCanNotBeUsedInFinallyClause = 129,
+    SubprogramMustReturnValue = 130,
+    ResultVariableCanNotBeUsedInMethodsUsingYieldStatement = 131,
+    TypeAliasReferencesItself = 132,
+    TypeParameterHasCircularConstraint = 133,
+    BaseTypeCausesInheritanceCycle = 134,
+    OnlyGenericTypesAndFunctionsCanBeSpecialized = 135,
+    Expected0TypeArguments = 136,
+    ExpectedFrom0To1TypeArguments = 137,
+    Type0IsNotAssignableToConstraint1 = 138,
+    VariableIsDeclaredButNotUsed = 139,
+    DefaultConstructorArgumentsMustBeNamed = 140,
+    IncorrectBodyOfRedefinableAliasTypeMethod = 141,
+    TheFollowingDeclarationsAreNotTranslated0 = 142,
+    TheFollowingDeclarationAreNotTranslated0And1More = 143,
+    OperatorMustNotBeStatic = 144,
+    Operator0MustNotHaveParameters = 145,
+    Operator0MustHaveOneParameter = 146,
+    Operator0MustHaveNoMoreThanOneParameter = 147,
+    CanNotFindTsLibDirectoryBaseSearchPaths0 = 148,
+    SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 149,
+    MainPackageConfigurationIsMissingProjectWontBeLoaded = 150,
+    ProgramWithoutMainPackageCanNotBeCompiled = 151,
+    JsonConfigurationValidationError = 152,
+    StandardPackage0NotFound = 153,
+    Declaration0NotFoundInStandardPackage1 = 154
 }

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

@@ -1,4 +1,5 @@
 import { PackageLocale } from '../common/index.js';
+import { OperatorKind } from '../entities/OperatorKind.js';
 export declare const enum EmitterGeneratedDeclarationKind {
     MainFunction = 0,
     PackageConstructor = 1,
@@ -38,6 +39,11 @@ export declare const emitterGeneratedDeclarationNamesByLocale: {
         [T in EmitterGeneratedDeclarationKind]: string;
     };
 };
+export declare const operatorNamesByLocale: {
+    [T in PackageLocale]: {
+        [T in OperatorKind]: string;
+    };
+};
 export declare class EmitPhaseName {
     static ofMainFunction(locale: PackageLocale): string;
     static ofPackageConstructor(locale: PackageLocale): string;
@@ -71,4 +77,5 @@ export declare class EmitPhaseName {
     static ofProxyVariable(locale: PackageLocale, originalName: string): string;
     static ofTypeConstructor(locale: PackageLocale): string;
     static ofTypeExtension(locale: PackageLocale, extendedTypeName: string): string;
+    static ofOperator(locale: PackageLocale, kind: OperatorKind): string;
 }

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

@@ -27,6 +27,7 @@ export declare class MethodEntityDetails {
     isEnumeratorMethod: boolean;
     isDefaultExport: boolean;
     isFormerInstanceAliasTypeOrExtensionMember: boolean;
+    isBuiltInOperator: boolean;
 }
 export interface VariableEntity {
     readonly kind: 'variable';

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

@@ -22,12 +22,11 @@ export declare class EntityMap {
     getVariableEntity(entity: analyzerEntities.VariableEntity): emitterEntities.VariableEntity;
     getVariantEntity(entity: analyzerEntities.VariantEntity): emitterEntities.VariableEntity;
     getMethodEntity(entity: analyzerEntities.MethodEntity): emitterEntities.MethodEntity;
+    getOperatorEntity(entity: analyzerEntities.OperatorEntity): emitterEntities.MethodEntity;
     getConstructorEntity(entity: analyzerEntities.ConstructorEntity): emitterEntities.MethodEntity;
     getDestructorEntity(entity: analyzerEntities.DestructorEntity): emitterEntities.MethodEntity;
     getGetterEntity(entity: analyzerEntities.GetterEntity): emitterEntities.MethodEntity;
     getSetterEntity(entity: analyzerEntities.SetterEntity): emitterEntities.MethodEntity;
-    getUnaryOperatorEntity(entity: analyzerEntities.UnaryOperatorEntity): emitterEntities.MethodEntity;
-    getBinaryOperatorEntity(entity: analyzerEntities.BinaryOperatorEntity): emitterEntities.MethodEntity;
     getStructuredTypeEntity(entity: analyzerEntities.StructuredTypeEntity): emitterEntities.TypeOrExtensionEntity;
     getVariantTypeEntity(entity: analyzerEntities.VariantTypeEntity): emitterEntities.TypeOrExtensionEntity;
     getTypeParameterEntity(entity: analyzerEntities.TypeParameterEntity): emitterEntities.TypeOrExtensionEntity;

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

@@ -44,6 +44,7 @@ export declare class IrBuilder {
     private buildTypeDereferencedVariableGetterDeclaration;
     private buildTypeDereferencedVariableSetterDeclaration;
     private buildTypeMethodDeclaration;
+    private buildOperatorDeclaration;
     private buildTypeVariableDeclaration;
     private buildTypeVariableGetterDeclaration;
     private buildTypeVariableSetterDeclaration;
@@ -105,6 +106,7 @@ export declare class IrBuilder {
     private buildAnonymousStructuredTypeDeclaration;
     private buildAnonymousVariantTypeDeclaration;
     private getUnderlyingTypeKind;
+    private createAccessedMethodFromOperator;
     private expressionIsCallee;
     private generateLoopLabel;
     private getSourceLocation;

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

@@ -7,13 +7,15 @@ export declare const enum Kind {
 }
 export type Type = {
     kind: Kind.Preserve;
+    hoistedLocalVariables?: readonly VariableEntity[];
 } | {
     kind: Kind.Replace;
     statement: Statement;
     hoistedLocalVariables?: readonly VariableEntity[];
 } | {
     kind: Kind.Remove;
+    hoistedLocalVariables: undefined;
 };
-export declare function preserve(): Type;
+export declare function preserve(hoistedLocalVariables?: readonly VariableEntity[]): Type;
 export declare function replace(statement: Statement, hoistedLocalVariables?: readonly VariableEntity[]): Type;
 export declare function remove(): Type;

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

@@ -31,32 +31,26 @@ export declare class AssertionExpression {
 }
 export declare class AssignmentExpression {
     left: LValueExpression;
-    operator: AssignmentOperator;
+    operatorKind: AssignmentOperatorKind;
     right: Expression;
+    operator: AccessedMethod | undefined;
     sourceLocation: SourceLocation | undefined;
     loweringOptions: AssignmentLoweringOptions;
     readonly kind = NodeKind.AssignmentExpression;
-    constructor(left: LValueExpression, operator: AssignmentOperator, right: Expression, sourceLocation: SourceLocation | undefined, loweringOptions?: AssignmentLoweringOptions);
+    constructor(left: LValueExpression, operatorKind: AssignmentOperatorKind, right: Expression, operator: AccessedMethod | undefined, sourceLocation: SourceLocation | undefined, loweringOptions?: AssignmentLoweringOptions);
     clone(): AssignmentExpression;
 }
 export declare class AssignmentStatement {
     left: LValueExpression;
-    operator: AssignmentOperator;
+    operatorKind: AssignmentOperatorKind;
     right: Expression;
+    operator: AccessedMethod | undefined;
     sourceLocation: SourceLocation | undefined;
     loweringOptions: AssignmentLoweringOptions;
     readonly kind = NodeKind.AssignmentStatement;
-    constructor(left: LValueExpression, operator: AssignmentOperator, right: Expression, sourceLocation: SourceLocation | undefined, loweringOptions?: AssignmentLoweringOptions);
+    constructor(left: LValueExpression, operatorKind: AssignmentOperatorKind, right: Expression, operator: AccessedMethod | undefined, sourceLocation: SourceLocation | undefined, loweringOptions?: AssignmentLoweringOptions);
     clone(): AssignmentStatement;
 }
-export declare const enum AssignmentOperator {
-    Equals = 0,
-    AddEquals = 1,
-    SubtractEquals = 2,
-    MultiplyEquals = 3,
-    DivideEquals = 4,
-    IntegerDivideEquals = 5
-}
 export declare class AssumptionExpression {
     expression: Expression;
     sourceLocation: SourceLocation | undefined;
@@ -81,12 +75,13 @@ export declare class BaseExpression {
 }
 export declare class BinaryExpression {
     left: Expression;
-    operator: BinaryExpressionOperator;
+    operatorKind: BinaryExpressionOperatorKind;
     right: Expression;
     type: Type;
+    operator: AccessedMethod | undefined;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.BinaryExpression;
-    constructor(left: Expression, operator: BinaryExpressionOperator, right: Expression, type: Type, sourceLocation: SourceLocation | undefined);
+    constructor(left: Expression, operatorKind: BinaryExpressionOperatorKind, right: Expression, type: Type, operator: AccessedMethod | undefined, sourceLocation: SourceLocation | undefined);
     clone(): BinaryExpression;
 }
 export declare class BlockStatement {
@@ -256,9 +251,6 @@ export declare class IfStatement {
     constructor(condition: Expression, thenStatement: BlockStatement, elseStatement: BlockStatement | undefined, sourceLocation: SourceLocation | undefined);
     clone(): IfStatement;
 }
-export declare const enum ImplicitConversionKind {
-    TextTemplateToText = 0
-}
 export declare class IndexedAccessExpression {
     expression: Expression;
     isOptionalChaining: boolean;
@@ -490,9 +482,10 @@ export declare class NoneLiteral {
 }
 export declare class NotExpression {
     expression: Expression;
+    operator: AccessedMethod | undefined;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.NotExpression;
-    constructor(expression: Expression, sourceLocation: SourceLocation | undefined);
+    constructor(expression: Expression, operator: AccessedMethod | undefined, sourceLocation: SourceLocation | undefined);
     clone(): NotExpression;
 }
 export declare class NumericLiteral {
@@ -592,11 +585,12 @@ export declare class VariantDeclaration {
     clone(): VariantDeclaration;
 }
 export declare class PrefixUnaryExpression {
-    operator: PrefixUnaryExpressionOperator;
+    operatorKind: PrefixUnaryExpressionOperatorKind;
     expression: Expression;
+    operator: AccessedMethod | undefined;
     sourceLocation: SourceLocation | undefined;
     readonly kind = NodeKind.PrefixUnaryExpression;
-    constructor(operator: PrefixUnaryExpressionOperator, expression: Expression, sourceLocation: SourceLocation | undefined);
+    constructor(operatorKind: PrefixUnaryExpressionOperatorKind, expression: Expression, operator: AccessedMethod | undefined, sourceLocation: SourceLocation | undefined);
     clone(): PrefixUnaryExpression;
 }
 export declare class ReferenceExpression {
@@ -981,12 +975,20 @@ export declare const enum NodeKind {
     TypeDereferencedVariableSetterDeclaration = 93,
     JsNamespaceDestructuringStatement = 94
 }
-export declare const enum PrefixUnaryExpressionOperator {
+export declare const enum AssignmentOperatorKind {
+    Equals = 0,
+    AddEquals = 1,
+    SubtractEquals = 2,
+    MultiplyEquals = 3,
+    DivideEquals = 4,
+    IntegerDivideEquals = 5
+}
+export declare const enum PrefixUnaryExpressionOperatorKind {
     Plus = 0,
     Minus = 1,
     BitwiseNot = 2
 }
-export declare const enum BinaryExpressionOperator {
+export declare const enum BinaryExpressionOperatorKind {
     Add = 0,
     Subtract = 1,
     Multiply = 2,

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

@@ -1,15 +1,13 @@
 import { Analyzer } from '../analysis/index.js';
 import { Tag } from '../analysis/Tags.js';
-import { Name } from '../common/index.js';
-import { TypeMethodDeclaration } from '../tree/index.js';
+import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
 import { DefinitionKind, EntityHidingLevel, EntityKind, OperatorKind, ParameterVariableEntity, TypeMemberEntityContainer } from './index.js';
 export interface OperatorEntity {
     readonly kind: EntityKind.Operator;
     getOperatorKind(): OperatorKind;
-    getName(): Name;
     getValueParameters(): readonly ParameterVariableEntity[];
-    getResultType(): types.Type;
+    getReturnType(): types.Type;
     getDefinition(): OperatorDefinition;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
@@ -21,19 +19,18 @@ export interface OperatorEntity {
 }
 export type OperatorDefinition = {
     kind: DefinitionKind.Source;
-    node: TypeMethodDeclaration;
+    node: tree.OperatorDeclaration;
 };
 export declare class OperatorDeclarationEntity implements OperatorEntity {
     private readonly _analyzer;
     private readonly _node;
-    private readonly _operatorKind;
     readonly kind = EntityKind.Operator;
+    private readonly _operatorKind;
     private readonly _valueParameters;
-    constructor(_analyzer: Analyzer, _node: TypeMethodDeclaration, _operatorKind: OperatorKind);
+    constructor(_analyzer: Analyzer, _node: tree.OperatorDeclaration);
     getOperatorKind(): OperatorKind;
-    getName(): Name;
     getValueParameters(): readonly ParameterVariableEntity[];
-    getResultType(): types.Type;
+    getReturnType(): types.Type;
     getDefinition(): OperatorDefinition;
     getContainer(): TypeMemberEntityContainer;
     isStatic(): boolean;
@@ -42,4 +39,5 @@ export declare class OperatorDeclarationEntity implements OperatorEntity {
     isAbstract(): boolean;
     isHidden(): EntityHidingLevel | undefined;
     getTags(): readonly Tag[];
+    private convertSyntaxOperatorKind;
 }