@artel/artc 0.6.26020 → 0.6.26022

package/build/Cli.js

@@ -1,11 +1,11 @@
 #!/usr/bin/env node
 import {
   CommandLineCompiler
-} from "./chunk-TRWZ4MA5.js";
-import "./chunk-BVAJ2ZQZ.js";
+} from "./chunk-WXKN3LZG.js";
+import "./chunk-PCY52KYM.js";
 import {
   __async
-} from "./chunk-PPQK5MBM.js";
+} from "./chunk-KCEJTV3Q.js";
 
 // source/Cli.ts
 function main() {

package/build/api/Api.js

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "../chunk-BVAJ2ZQZ.js";
+} from "../chunk-PCY52KYM.js";
 import {
   AccessKind,
   AccessedFunction_entity,
@@ -281,7 +281,7 @@ import {
   withoutQuotes,
   withoutTemplateQuotes,
   yieldTask
-} from "../chunk-PPQK5MBM.js";
+} from "../chunk-KCEJTV3Q.js";
 export {
   AccessKind,
   AccessedFunction_entity,

package/build/api/ApiNodeJS.js

@@ -6,9 +6,9 @@ import {
   PhysicalFileSystem,
   PhysicalTypeScriptLibrariesProvider,
   PrintingDiagnosticAcceptor
-} from "../chunk-TRWZ4MA5.js";
-import "../chunk-BVAJ2ZQZ.js";
-import "../chunk-PPQK5MBM.js";
+} from "../chunk-WXKN3LZG.js";
+import "../chunk-PCY52KYM.js";
+import "../chunk-KCEJTV3Q.js";
 export {
   CommandLineCompiler,
   FileSystemUri,

package/build/api/ApiServices.js

@@ -110,7 +110,7 @@ import {
   sortModifiers,
   traverseTreeAsync,
   yieldTask
-} from "../chunk-PPQK5MBM.js";
+} from "../chunk-KCEJTV3Q.js";
 
 // source/services/CustomRequests.ts
 import * as ls from "vscode-languageserver";
@@ -10848,12 +10848,10 @@ var EntityFinder = class {
       }
     } else if (entity.subkind === "parameter") {
       const originalContainingEntity = entity.getContainingEntity();
-      if (originalContainingEntity.kind !== 12 /* Package */) {
-        const index = originalContainingEntity.getParameters().indexOf(entity);
-        const containingEntity = this.findEntity(originalContainingEntity);
-        if (containingEntity !== void 0 && index >= 0) {
-          return this.ifEntityWithParametersThenParameters(containingEntity)?.[index];
-        }
+      const index = originalContainingEntity.getParameters().indexOf(entity);
+      const containingEntity = this.findEntity(originalContainingEntity);
+      if (containingEntity !== void 0 && index >= 0) {
+        return this.ifEntityWithParametersThenParameters(containingEntity)?.[index];
       }
     }
     return void 0;

package/build/{chunk-PPQK5MBM.js → chunk-KCEJTV3Q.js}

@@ -70,17 +70,17 @@ var __yieldStar = (value) => {
 };
 
 // source/common/PackageDialect.ts
-var PackageDialect = /* @__PURE__ */ ((PackageDialect46) => {
-  PackageDialect46[PackageDialect46["ArtelA"] = 0] = "ArtelA";
-  PackageDialect46[PackageDialect46["ArtelM"] = 1] = "ArtelM";
-  return PackageDialect46;
+var PackageDialect = /* @__PURE__ */ ((PackageDialect27) => {
+  PackageDialect27[PackageDialect27["ArtelA"] = 0] = "ArtelA";
+  PackageDialect27[PackageDialect27["ArtelM"] = 1] = "ArtelM";
+  return PackageDialect27;
 })(PackageDialect || {});
 
 // source/common/PackageLocale.ts
-var PackageLocale = /* @__PURE__ */ ((PackageLocale55) => {
-  PackageLocale55[PackageLocale55["En"] = 0] = "En";
-  PackageLocale55[PackageLocale55["Ru"] = 1] = "Ru";
-  return PackageLocale55;
+var PackageLocale = /* @__PURE__ */ ((PackageLocale56) => {
+  PackageLocale56[PackageLocale56["En"] = 0] = "En";
+  PackageLocale56[PackageLocale56["Ru"] = 1] = "Ru";
+  return PackageLocale56;
 })(PackageLocale || {});
 var locales = [
   { locale: 0 /* En */, code: "en", names: ["english", "\u0430\u043D\u0433\u043B\u0438\u0439\u0441\u043A\u0438\u0439"] },
@@ -764,7 +764,7 @@ var UniqueWithComparatorQuery = class extends Query {
 };
 
 // source/common/Constants.ts
-var ArtelVersion = true ? "0.6.26020" : "";
+var ArtelVersion = true ? "0.6.26022" : "";
 var ArtelSourceFileExtensions = [".\u0430\u0440\u0442", ".\u0430\u0440\u0442\u0435\u043B\u044C", ".art", ".artel", ".\u0430\u0440\u0442\u043C", ".\u0430\u0440\u0442\u0435\u043B\u044C\u043C", ".artm", ".artelm"];
 var ArtelSourceFileExtensionSet = new Set(ArtelSourceFileExtensions);
 var ArtelSourceAndConfigurationFileExtensionSet = new Set(ArtelSourceFileExtensionSet).add(".json");
@@ -2709,21 +2709,21 @@ var ReservedNameKind = /* @__PURE__ */ ((ReservedNameKind3) => {
   ReservedNameKind3[ReservedNameKind3["Value"] = 1] = "Value";
   return ReservedNameKind3;
 })(ReservedNameKind || {});
-var reservedNamedRu = new Lazy(() => ({
+var reservedNamedRu = {
   [0 /* Result */]: new Name("\u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442"),
   [1 /* Value */]: new Name("\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0435")
-}));
-var reservedNamesEn = new Lazy(() => ({
+};
+var reservedNamesEn = {
   [0 /* Result */]: new Name("result"),
   [1 /* Value */]: new Name("value")
-}));
-var reservedNamesByLocale = new Lazy(() => ({
-  [1 /* Ru */]: reservedNamedRu.value,
-  [0 /* En */]: reservedNamesEn.value
-}));
-var reservedNameKindByNameKey = new Lazy(() => Object.fromEntries(
+};
+var reservedNamesByLocale = {
+  [1 /* Ru */]: reservedNamedRu,
+  [0 /* En */]: reservedNamesEn
+};
+var reservedNameKindByNameKey = Object.fromEntries(
   Query.from(Object.entries(reservedNamesByLocale)).map((e) => [e[0], new Map(Object.entries(e[1]).map((e2) => [e2[1], parseInt(e2[0])]))])
-));
+);
 
 // source/tree/a/KeywordKind.ts
 var KeywordKind = /* @__PURE__ */ ((KeywordKind2) => {
@@ -3475,7 +3475,7 @@ var LocalizationHelperA = class extends LocalizationHelper {
     return "";
   }
   static localizeReservedName(kind, locale) {
-    return reservedNamesByLocale.value[locale][kind].unescapedOriginal;
+    return reservedNamesByLocale[locale][kind].unescapedOriginal;
   }
   static localizeOperatorKind(kind, locale, dialect) {
     if (isOperatorDefinedByToken2(kind)) {
@@ -4482,7 +4482,7 @@ function isEntityWithTypeParameters(entity) {
   return false;
 }
 function isEntityWithParameters(entity) {
-  if (entity.kind === 1 /* Function */ || entity.kind === 2 /* Type */ && entity.typeEntityKind === 0 /* Function */ || entity.kind === 7 /* Constructor */ || entity.kind === 8 /* Destructor */ || entity.kind === 5 /* Indexer */) {
+  if (entity.kind === 1 /* Function */ || entity.kind === 2 /* Type */ && entity.typeEntityKind === 0 /* Function */ || entity.kind === 7 /* Constructor */ || entity.kind === 8 /* Destructor */ || entity.kind === 5 /* Indexer */ || entity.kind === 13 /* TextTranslation */) {
     return true;
   }
   Debug.typeIsAssignableTo();
@@ -5001,9 +5001,6 @@ var BaseNode = class {
   get locale() {
     return this.sourceFile.locale;
   }
-  get dialect() {
-    return this.sourceFile.dialect;
-  }
   get rangeWithTrivia() {
     if (this.rangeWithTrivia_ === void 0) {
       const rangeStart = this.getStartWithTrivia();
@@ -5684,11 +5681,10 @@ function isAnonymousStructuredTypeDeclaration(node) {
 
 // source/tree/a/Nodes.ts
 var SourceFile = class extends BaseNode {
-  constructor(packageImportDirectiveList, declarationList, endOfFileToken, locale, dialect, diagnostics, rangeWithTrivia) {
+  constructor(packageImportDirectiveList, declarationList, endOfFileToken, locale, diagnostics, rangeWithTrivia) {
     super(rangeWithTrivia);
     this.kind = 1 /* SourceFile */;
     this.locale_ = locale;
-    this.dialect_ = dialect;
     this.diagnostics = diagnostics;
     this.children = [packageImportDirectiveList, declarationList, endOfFileToken];
     this.setParentForChildren();
@@ -5698,9 +5694,6 @@ var SourceFile = class extends BaseNode {
   get locale() {
     return this.locale_;
   }
-  get dialect() {
-    return this.dialect_;
-  }
   get parent() {
     return void 0;
   }
@@ -9957,7 +9950,6 @@ var SyntaxFactory = class {
       declarationList,
       endOfFileToken,
       DefaultLocale,
-      DefaultDialect,
       [],
       void 0
     );
@@ -12445,6 +12437,7 @@ var DiagnosticCode = /* @__PURE__ */ ((DiagnosticCode2) => {
   DiagnosticCode2[DiagnosticCode2["OperatorCannotBeAsync"] = 2228] = "OperatorCannotBeAsync";
   DiagnosticCode2[DiagnosticCode2["OperatorCannotContainTypeParameterDeclarations"] = 2229] = "OperatorCannotContainTypeParameterDeclarations";
   DiagnosticCode2[DiagnosticCode2["TypeNameExpectedAtLastQualifier"] = 2230] = "TypeNameExpectedAtLastQualifier";
+  DiagnosticCode2[DiagnosticCode2["ExpressionsWithTypes0And1CannotBeCompared"] = 2231] = "ExpressionsWithTypes0And1CannotBeCompared";
   DiagnosticCode2[DiagnosticCode2["CannotFindTsLibDirectoryBaseSearchPaths0"] = 3e3] = "CannotFindTsLibDirectoryBaseSearchPaths0";
   DiagnosticCode2[DiagnosticCode2["SourceFile0IsNotPartOfThePackageAndWontBeLoaded"] = 3001] = "SourceFile0IsNotPartOfThePackageAndWontBeLoaded";
   DiagnosticCode2[DiagnosticCode2["ProgramWithoutMainPackageCannotBeCompiled"] = 3002] = "ProgramWithoutMainPackageCannotBeCompiled";
@@ -12779,6 +12772,7 @@ var englishErrorMessages = {
   [2228 /* OperatorCannotBeAsync */]: "Operator cannot be async.",
   [2229 /* OperatorCannotContainTypeParameterDeclarations */]: "Operator cannot contain type parameter declarations.",
   [2230 /* TypeNameExpectedAtLastQualifier */]: "Type name expected.",
+  [2231 /* ExpressionsWithTypes0And1CannotBeCompared */]: "Expressions with types '{0}' and '{1}' cannot be compared.",
   [3e3 /* CannotFindTsLibDirectoryBaseSearchPaths0 */]: "Can not find directory with TypeScript library. Base search paths: {0}.",
   [3001 /* SourceFile0IsNotPartOfThePackageAndWontBeLoaded */]: "Source file '{0}' is not part of the package and won't be loaded.",
   [3002 /* ProgramWithoutMainPackageCannotBeCompiled */]: "Program without main package cannot be compiled.",
@@ -13067,6 +13061,7 @@ var russianErrorMessages = {
   [2228 /* OperatorCannotBeAsync */]: "\u0424\u0443\u043D\u043A\u0446\u0438\u044F \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0438 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0430\u0441\u0438\u043D\u0445\u0440\u043E\u043D\u043D\u043E\u0439.",
   [2229 /* OperatorCannotContainTypeParameterDeclarations */]: "\u0424\u0443\u043D\u043A\u0446\u0438\u044F \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0438 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0441\u043E\u0434\u0435\u0440\u0436\u0430\u0442\u044C \u043E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u044F \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432 \u0442\u0438\u043F\u0430.",
   [2230 /* TypeNameExpectedAtLastQualifier */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u043E\u0441\u044C \u0438\u043C\u044F \u0442\u0438\u043F\u0430.",
+  [2231 /* ExpressionsWithTypes0And1CannotBeCompared */]: "\u041D\u0435\u043B\u044C\u0437\u044F \u0441\u0440\u0430\u0432\u043D\u0438\u0442\u044C \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u044F \u0441 \u0442\u0438\u043F\u0430\u043C\u0438 '{0}' \u0438 '{1}'.",
   [3e3 /* CannotFindTsLibDirectoryBaseSearchPaths0 */]: "\u041D\u0435 \u0443\u0434\u0430\u043B\u043E\u0441\u044C \u043D\u0430\u0439\u0442\u0438 \u043F\u0430\u043F\u043A\u0443 \u0441\u043E \u0441\u0442\u0430\u043D\u0434\u0430\u0440\u0442\u043D\u043E\u0439 \u0431\u0438\u0431\u043B\u0438\u043E\u0442\u0435\u043A\u043E\u0439 TypeScript. \u041F\u0443\u0442\u0438, \u043E\u0442\u043D\u043E\u0441\u0438\u0442\u0435\u043B\u044C\u043D\u043E \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u043E\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043B\u044F\u043B\u0441\u044F \u043F\u043E\u0438\u0441\u043A: {0}.",
   [3001 /* SourceFile0IsNotPartOfThePackageAndWontBeLoaded */]: "\u0418\u0441\u0445\u043E\u0434\u043D\u044B\u0439 \u0444\u0430\u0439\u043B '{0}' \u043D\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0447\u0430\u0441\u0442\u044C\u044E \u043F\u0430\u043A\u0435\u0442\u0430 \u0438 \u043D\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0433\u0440\u0443\u0436\u0435\u043D.",
   [3002 /* ProgramWithoutMainPackageCannotBeCompiled */]: "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0430 \u0431\u0435\u0437 \u0433\u043B\u0430\u0432\u043D\u043E\u0433\u043E \u043F\u0430\u043A\u0435\u0442\u0430 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0441\u043A\u043E\u043C\u043F\u0438\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u0430.",
@@ -13469,7 +13464,6 @@ var TextParser = class {
       declarationList,
       endOfFileToken,
       this.locale,
-      this.dialect,
       this.diagnostics,
       this.rangeFrom(sourceFileStart)
     );
@@ -18926,7 +18920,7 @@ var DisplayServiceA = class extends BaseDisplayService {
     const asyncKeyword = func.isAsync() ? `${this.displayKeyword(44 /* Async */)} ` : "";
     const keyword = this.displayKeyword(16 /* Function */);
     const operatorKind = func.getOperatorKind();
-    const name = operatorKind === void 0 ? this.common.displayEntityName(func.getEntity()) : this.displayOperatorKind(operatorKind);
+    const name = operatorKind === void 0 ? this.common.displayEntityName(func.getEntity()) : `'${this.displayOperatorKind(operatorKind)}'`;
     const typeParameters = func.getTypeParameterValues().map((t) => this.displayTypeParameterValue(t));
     const typeParametersStart = typeParameters.length > 0 ? "<" : "";
     const typeParametersEnd = typeParameters.length > 0 ? ">" : "";
@@ -20284,7 +20278,7 @@ var IntrinsicPackageVariableEntity = class {
     return this.name;
   }
   getType() {
-    return this.type instanceof Lazy ? this.type.value : this.type;
+    return MaybeLazy.getValue(this.type);
   }
   getDefinition() {
     return { kind: 1 /* Intrinsic */ };
@@ -21509,8 +21503,9 @@ var EntityLocalizationContext = class {
         const localizedDestructor = this.getLocalizedDestructorEntity(containingEntity);
         return localizedDestructor.getParameters().find((p) => p.getOriginalEntity() === entity) ?? entity;
       }
-      case 12 /* Package */:
+      case 13 /* TextTranslation */: {
         return entity;
+      }
       default:
         Debug.never(containingEntity);
     }
@@ -26008,7 +26003,7 @@ var FunctionEntityDetails = class {
     this.isTypeExtensionMemberAddedToPrototype = false;
     this.isAbstract = false;
     this.isStatic = false;
-    this.originalFunctionEntityKind = 0 /* RegularFunction */;
+    this.originalFunctionEntityKind = 0 /* Ordinary */;
     this.isJavaScriptIteratorMethod = false;
     this.hasObjectParameter = false;
   }
@@ -28855,7 +28850,7 @@ var EntityMap = class _EntityMap {
       }
       if (result === void 0) {
         const operatorKind = entity.subkind === "method" ? entity.getOperatorKind() : void 0;
-        const functionEntityKind = operatorKind !== void 0 ? 4 /* Operator */ : 0 /* RegularFunction */;
+        const functionEntityKind = operatorKind !== void 0 ? 4 /* Operator */ : 0 /* Ordinary */;
         result = new MappedFunctionEntity(entity, functionEntityKind);
         this.functions.set(entity, result);
         result.name = this.getEntityNameText(entity);
@@ -29639,7 +29634,7 @@ var MappedVariableEntity = class {
 var MappedFunctionEntity = class {
   constructor(originalEntity, functionEntityKind) {
     this.kind = "method";
-    this.functionEntityKind = 0 /* RegularFunction */;
+    this.functionEntityKind = 0 /* Ordinary */;
     this.name = "";
     this.parameters = [];
     this.ifTypeMemberThenContainingType = void 0;
@@ -30341,7 +30336,7 @@ function fieldAccessorEntity(name, parameters, returnType, containingPackage, ov
 }
 function packageFunctionEntity(name, parameters, returnType, containingPackage, isAsync, isPackageConstructor, isPackageEntryPoint, isIntrinsic, hasObjectParameter) {
   const result = new IntrinsicFunctionEntity(
-    0 /* RegularFunction */,
+    0 /* Ordinary */,
     name,
     parameters,
     returnType,
@@ -32739,7 +32734,7 @@ var ImplicitImplementationLowering = class {
     ));
     const computedNameInfo = implementingMethod.details.hasComputedName !== void 0 ? { ...implementingMethod.details.hasComputedName } : void 0;
     const methodEntity = typeMemberFunctionEntity(
-      0 /* RegularFunction */,
+      0 /* Ordinary */,
       implementingMethod.name,
       parameterEntities,
       implementingMethod.returnType,
@@ -32857,13 +32852,13 @@ var CompoundDeclarationsAndOperatorsLowering = class {
         } else if (d.kind === 25 /* PackageVariableGetterDeclaration */) {
           memberEntities.delete(d.variableEntity);
           memberEntities.add(d.entity);
-          d.entity.functionEntityKind = 0 /* RegularFunction */;
+          d.entity.functionEntityKind = 0 /* Ordinary */;
           d = packageFunctionDeclaration(d.entity, [], d.body, false, d.sourceLocation);
           return d;
         } else if (d.kind === 26 /* PackageVariableSetterDeclaration */) {
           memberEntities.delete(d.variableEntity);
           memberEntities.add(d.entity);
-          d.entity.functionEntityKind = 0 /* RegularFunction */;
+          d.entity.functionEntityKind = 0 /* Ordinary */;
           const parameters = [parameterDeclaration(d.valueLocalVariableEntity, void 0, false)];
           d = packageFunctionDeclaration(d.entity, parameters, d.body, false, d.sourceLocation);
           return d;
@@ -32877,11 +32872,11 @@ var CompoundDeclarationsAndOperatorsLowering = class {
   lowerPackageTypeDeclaration(declaration) {
     declaration.members = declaration.members.map((m) => {
       if (m.kind === 52 /* IndexedElementGetterDeclaration */) {
-        m.entity.functionEntityKind = 0 /* RegularFunction */;
+        m.entity.functionEntityKind = 0 /* Ordinary */;
         const method = methodDeclaration(m.entity, m.parameters, m.body, false, m.sourceLocation).withDecorators(m.decorators);
         return method;
       } else if (m.kind === 53 /* IndexedElementSetterDeclaration */) {
-        m.entity.functionEntityKind = 0 /* RegularFunction */;
+        m.entity.functionEntityKind = 0 /* Ordinary */;
         m.entity.parameters = m.entity.parameters.concat(m.valueLocalVariableEntity);
         const parameters = Array.from(m.parameters);
         parameters.push(parameterDeclaration(m.valueLocalVariableEntity, void 0, false));
@@ -32889,11 +32884,11 @@ var CompoundDeclarationsAndOperatorsLowering = class {
         return method;
       }
       if (m.kind === 93 /* DereferencedVariableGetterDeclaration */) {
-        m.entity.functionEntityKind = 0 /* RegularFunction */;
+        m.entity.functionEntityKind = 0 /* Ordinary */;
         const method = methodDeclaration(m.entity, [], m.body, false, m.sourceLocation).withDecorators(m.decorators);
         return method;
       } else if (m.kind === 94 /* DereferencedVariableSetterDeclaration */) {
-        m.entity.functionEntityKind = 0 /* RegularFunction */;
+        m.entity.functionEntityKind = 0 /* Ordinary */;
         m.entity.parameters = [m.valueLocalVariableEntity];
         const parameters = [parameterDeclaration(m.valueLocalVariableEntity, void 0, false)];
         const method = methodDeclaration(m.entity, parameters, m.body, false, m.sourceLocation).withDecorators(m.decorators);
@@ -33129,7 +33124,7 @@ var AspectsLowering = class {
       affectsDerivedMembers: false
     };
     const functionEntity = typeMemberFunctionEntity(
-      0 /* RegularFunction */,
+      0 /* Ordinary */,
       targetFunctionEntity.name,
       parameterEntities,
       targetFunctionEntity.returnType,
@@ -33381,7 +33376,7 @@ var AliasTypeAndExtensionLowering = class {
     Debug.assertNotNull(containingType);
     const targetParameterEntity = this.createTargetParameter(containingType, node.entity.containingPackage);
     node.entity.parameters = [targetParameterEntity, ...node.entity.parameters];
-    node.entity.functionEntityKind = 0 /* RegularFunction */;
+    node.entity.functionEntityKind = 0 /* Ordinary */;
     node.entity.details.isStatic = true;
     node.entity.details.isAliasTypeOrExtensionMemberThatRequiresLowering = true;
     const modifiers = node.modifiers;
@@ -33406,7 +33401,7 @@ var AliasTypeAndExtensionLowering = class {
     node.entity.details.isStatic = true;
     const targetParameterEntity = this.createTargetParameter(containingType, node.entity.containingPackage);
     node.entity.parameters = [targetParameterEntity];
-    node.entity.functionEntityKind = 0 /* RegularFunction */;
+    node.entity.functionEntityKind = 0 /* Ordinary */;
     node.entity.details.isAliasTypeOrExtensionMemberThatRequiresLowering = true;
     const parameterDeclarations = [parameterDeclaration(targetParameterEntity, void 0, false)];
     this.lowerSubprogramBody(node.body, targetParameterEntity);
@@ -33419,7 +33414,7 @@ var AliasTypeAndExtensionLowering = class {
     node.entity.details.isStatic = true;
     const targetParameterEntity = this.createTargetParameter(containingType, node.entity.containingPackage);
     node.entity.parameters = [targetParameterEntity, node.valueLocalVariableEntity];
-    node.entity.functionEntityKind = 0 /* RegularFunction */;
+    node.entity.functionEntityKind = 0 /* Ordinary */;
     node.entity.details.isAliasTypeOrExtensionMemberThatRequiresLowering = true;
     const parameterDeclarations = [
       parameterDeclaration(targetParameterEntity, void 0, false),
@@ -33429,7 +33424,7 @@ var AliasTypeAndExtensionLowering = class {
     return methodDeclaration(node.entity, parameterDeclarations, node.body, false, node.sourceLocation).withDecorators(node.decorators);
   }
   lowerConstructorDeclaration(node) {
-    node.entity.functionEntityKind = 0 /* RegularFunction */;
+    node.entity.functionEntityKind = 0 /* Ordinary */;
     node.entity.details.isStatic = true;
     this.lowerConstructorBody(node.body, node.entity);
     return methodDeclaration(node.entity, node.parameters, node.body, false, node.sourceLocation).withDecorators(node.decorators);
@@ -33689,7 +33684,7 @@ var StructureConstructorsLowering = class {
   lowerConstructorDeclaration(node, defaultConstructor) {
     const containingType = node.entity.ifTypeMemberThenContainingType;
     Debug.assertNotNull(containingType);
-    node.entity.functionEntityKind = 0 /* RegularFunction */;
+    node.entity.functionEntityKind = 0 /* Ordinary */;
     node.entity.details.isStatic = true;
     const newThisVariable = localVariableEntity(
       EmitPhaseName.ofStructureMethodNewThisVariable(node.entity.containingPackage.locale),
@@ -40190,7 +40185,7 @@ var TypeMemberRenamer = class {
     } else if (entity.kind === "method") {
       const functionEntityKind = entity.functionEntityKind;
       switch (functionEntityKind) {
-        case 0 /* RegularFunction */:
+        case 0 /* Ordinary */:
         case 1 /* GetterOrSetter */:
         case 3 /* Destructor */:
         case 4 /* Operator */:
@@ -47780,7 +47775,7 @@ var PackageAliasTypeDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -47858,7 +47853,7 @@ var ConstructorDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -48836,7 +48831,7 @@ var DereferenceOperatorDeclarationEntity = class {
     return this.getterOrSetterDeclaration.locale;
   }
   getDialect() {
-    return this.getterOrSetterDeclaration.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -48930,7 +48925,7 @@ var DestructorDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -50394,7 +50389,7 @@ var PackageFunctionDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -50515,7 +50510,7 @@ var MethodDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOperatorKind() {
     return this.operatorKind;
@@ -50632,7 +50627,7 @@ var NestedFunctionDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -50735,7 +50730,7 @@ var FunctionLiteralEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -50871,7 +50866,7 @@ var FunctionBlockLiteralEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -50898,7 +50893,7 @@ var FunctionBlockLiteralEntity = class {
     return targetType?.getParameters().map((p) => new IntrinsicParameterEntity(
       p.getEntity().getName(),
       p.getType(),
-      this.getContainingPackage(),
+      this,
       p.isOptional(),
       p.isVariadic(),
       p.isObjectParameter(),
@@ -50973,7 +50968,7 @@ var AnonymousFunctionTypeDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51023,7 +51018,7 @@ var PackageVariableGetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51071,7 +51066,7 @@ var FieldGetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51119,7 +51114,7 @@ var IndexedElementGetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51167,7 +51162,7 @@ var DereferencedVariableGetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51282,7 +51277,7 @@ var IndexerDeclarationEntity = class {
     return this.getterOrSetterDeclaration.locale;
   }
   getDialect() {
-    return this.getterOrSetterDeclaration.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51342,7 +51337,7 @@ var AliasedPackageImportEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51372,7 +51367,7 @@ var SourcePackageEntity = class {
     return this.package_.configuration.locale;
   }
   getDialect() {
-    return this.package_.configuration.dialect;
+    return 0 /* ArtelA */;
   }
   getMembers() {
     return this.members.getOrInsertWith(() => this.createPackageMembers());
@@ -51706,7 +51701,7 @@ var PackageReducedTypeDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51839,7 +51834,7 @@ var PackageVariableSetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51884,7 +51879,7 @@ var FieldSetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51929,7 +51924,7 @@ var IndexedElementSetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -51974,7 +51969,7 @@ var DereferencedVariableSetterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -52046,7 +52041,7 @@ var PackageStructuredTypeDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -52113,7 +52108,7 @@ var AnonymousStructuredTypeDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -52480,7 +52475,7 @@ var TextTranslationDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   isHidden() {
     return void 0;
@@ -52770,7 +52765,7 @@ var SourceTypeExtensionEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -52940,7 +52935,7 @@ var SourceTypeParameterEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53061,7 +53056,7 @@ var PackageVariableDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53142,7 +53137,7 @@ var ComputedPackageVariableDeclarationEntity = class {
     return this.getterOrSetterDeclaration.locale;
   }
   getDialect() {
-    return this.getterOrSetterDeclaration.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53273,7 +53268,7 @@ var FieldDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53412,7 +53407,7 @@ var ComputedFieldDeclarationEntity = class {
     return this.getterOrSetterDeclaration.locale;
   }
   getDialect() {
-    return this.getterOrSetterDeclaration.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53533,7 +53528,7 @@ var VariantValueDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53600,7 +53595,7 @@ var LocalVariableDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53677,7 +53672,7 @@ var ForStatementElementVariableDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53748,7 +53743,7 @@ var ForStatementIndexVariableDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53806,7 +53801,7 @@ var ErrorVariableDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -53900,7 +53895,7 @@ var ParameterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   isObjectParameter() {
     let result = (this.node.name.flags & 2048 /* ObjectParameterName */) !== 0;
@@ -54011,7 +54006,7 @@ var IndexParameterDeclarationEntity = class {
     return this.getterOrSetterParameterDeclaration.locale;
   }
   getDialect() {
-    return this.getterOrSetterParameterDeclaration.dialect;
+    return 0 /* ArtelA */;
   }
   isObjectParameter() {
     let result = (this.getterOrSetterParameterDeclaration.name.flags & 2048 /* ObjectParameterName */) !== 0;
@@ -54113,7 +54108,7 @@ var FunctionLiteralParameterDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -54137,7 +54132,7 @@ var TranslationTextTemplateParameterEntity = class {
     this.name = analyzer.createNameFromIdentifier(node.name);
   }
   getContainingEntity() {
-    return TreeQuery.getPackageEntity(this.node, this.analyzer);
+    return this.analyzer.entity.ofTextTranslationDeclaration(this.node.parent.parent.parent);
   }
   getName() {
     return this.name;
@@ -54190,7 +54185,7 @@ var TranslationTextTemplateParameterEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   isObjectParameter() {
     return false;
@@ -54283,7 +54278,7 @@ var PackageVariantDeclarationEntity = class {
     return this.node.locale;
   }
   getDialect() {
-    return this.node.dialect;
+    return 0 /* ArtelA */;
   }
   getOriginalEntity() {
     return this;
@@ -58519,10 +58514,7 @@ var SourceFileAnalyzer = class {
         break;
       }
       case 61 /* BinaryExpression */: {
-        const classificationResult = this.analyzer.classifyBinaryExpressionOperator(node.operator);
-        if (classificationResult.kind === "user-definable") {
-          this.analyzer.resolveBinaryExpressionUserDefinableOperator(node, classificationResult.operatorKind);
-        }
+        this.checkBinaryExpression(node);
         break;
       }
       case 90 /* AssignmentStatement */: {
@@ -58772,6 +58764,34 @@ var SourceFileAnalyzer = class {
     }
     return void 0;
   }
+  checkBinaryExpression(node) {
+    const classificationResult = this.analyzer.classifyBinaryExpressionOperator(node.operator);
+    switch (classificationResult.kind) {
+      case "user-definable":
+        this.analyzer.resolveBinaryExpressionUserDefinableOperator(node, classificationResult.operatorKind);
+        break;
+      case "equals":
+      case "not-equals": {
+        const leftType = this.analyzer.type.ofExpression(node.left);
+        const rightType = this.analyzer.type.ofExpression(node.right);
+        if (!this.analyzer.typeUtils.areTypesComparable(leftType, rightType)) {
+          this.createAndAddDiagnostic(
+            2231 /* ExpressionsWithTypes0And1CannotBeCompared */,
+            node.operator,
+            [
+              this.diagnosticArgumentFactory.createDisplayableType(leftType),
+              this.diagnosticArgumentFactory.createDisplayableType(rightType)
+            ]
+          );
+        }
+        break;
+      }
+      case "question-question":
+        break;
+      default:
+        Debug.never(classificationResult);
+    }
+  }
   checkPackageVariantDeclaration(node) {
     if (node.typeParameterClause !== void 0) {
       this.analyzer.semanticContext.ofTypeDeclarationTypeParameters(node, node.typeParameterClause).validateNameConflicts(this.diagnosticAcceptor);
@@ -61763,6 +61783,9 @@ var Analyzer = class {
   get typeAssignabilityCheck() {
     return this.state.typeAssignabilityCheck;
   }
+  get typeComparabilityCheck() {
+    return this.state.typeComparabilityCheck;
+  }
   get overriddenMember() {
     return this.state.overriddenMember;
   }
@@ -61864,6 +61887,9 @@ var Analyzer = class {
   getTypeAssignabilityFlags(source, target) {
     return this.typeAssignabilityCheck.getAssignabilityFlags(source, target);
   }
+  isTypeComparableTo(source, target) {
+    return this.typeComparabilityCheck.isTypeComparableTo(source, target);
+  }
   getUnambiguousTargetFunctionType(targetType) {
     if (targetType !== void 0) {
       const unaliasedType = targetType.unalias();
@@ -62924,6 +62950,7 @@ var CommonAnalyzerState = class {
   initialize(analyzer) {
     this.typeFactory = new TypeFactory(analyzer);
     this.typeAssignabilityCheck = new TypeAssignabilityCheck(analyzer);
+    this.typeComparabilityCheck = new TypeComparabilityCheck(analyzer);
     this.implementation = new ImplementationEntity(analyzer);
     this.typeUtils = new TypeUtils2(analyzer);
     this.signatureComparer = new SignatureComparer(analyzer);
@@ -64005,6 +64032,98 @@ var TypeAssignabilityCheck = class {
     return result;
   }
 };
+var TypeComparabilityCheck = class {
+  constructor(analyzer) {
+    this.analyzer = analyzer;
+  }
+  isTypeComparableTo(source, target) {
+    source = source.unaliasAndGetReductionSource();
+    target = target.unaliasAndGetReductionSource();
+    if (source.kind === "unresolved" || target.kind === "unresolved") {
+      return true;
+    }
+    if (source.isNullType) {
+      return this.analyzer.canTypeBeNull(target);
+    } else if (target.isNullType) {
+      return this.analyzer.canTypeBeNull(source);
+    }
+    source = this.analyzer.excludeNullFromType(source).unaliasAndGetReductionSource();
+    target = this.analyzer.excludeNullFromType(target).unaliasAndGetReductionSource();
+    const objectType = this.analyzer.originalStandardTypes.object;
+    if (source.equals(objectType) || target.equals(objectType)) {
+      return true;
+    }
+    if (source.equals(target)) {
+      return true;
+    }
+    if (source.kind === "parameter" && target.kind === "parameter") {
+      const sourceConstraint = source.constraint;
+      const targetConstraint = target.constraint;
+      if (sourceConstraint !== void 0 && targetConstraint !== void 0) {
+        const result = this.isTypeComparableTo(sourceConstraint, targetConstraint);
+        if (result) {
+          return true;
+        }
+      }
+      return source.getEntity().getOriginalEntity() === target.getEntity().getOriginalEntity();
+    } else if (source.kind === "parameter") {
+      const sourceConstraint = source.constraint;
+      if (sourceConstraint !== void 0) {
+        const result = this.isTypeComparableTo(sourceConstraint, target);
+        if (result) {
+          return true;
+        }
+      }
+    } else if (target.kind === "parameter") {
+      const targetConstraint = target.constraint;
+      if (targetConstraint !== void 0) {
+        const result = this.isTypeComparableTo(source, targetConstraint);
+        if (result) {
+          return true;
+        }
+      }
+    }
+    if (source.kind === "union") {
+      const sourceConstituentTypes = source.unaliasedFlattenedTypes;
+      return sourceConstituentTypes.some((s) => this.isTypeComparableTo(s, target));
+    }
+    if (target.kind === "union") {
+      const targetConstituentTypes = target.unaliasedFlattenedTypes;
+      return targetConstituentTypes.some((t) => this.isTypeComparableTo(source, t));
+    }
+    if (source.kind === "intersection") {
+      const sourceConstituentTypes = source.unaliasedFlattenedTypes;
+      return sourceConstituentTypes.some((s) => this.isTypeComparableTo(s, target));
+    }
+    if (target.kind === "intersection") {
+      const targetConstituentTypes = target.unaliasedFlattenedTypes;
+      return targetConstituentTypes.some((t) => this.isTypeComparableTo(source, t));
+    }
+    if (source.kind === "variant") {
+      const result = this.isTypeComparableTo(source.getUnderlyingType(), target);
+      if (result) {
+        return true;
+      }
+    } else if (target.kind === "variant") {
+      const result = this.isTypeComparableTo(source, target.getUnderlyingType());
+      if (result) {
+        return true;
+      }
+    }
+    const integerType = this.analyzer.originalStandardTypes.integer;
+    const numberType = this.analyzer.originalStandardTypes.number;
+    if (source.equals(integerType) && target.equals(numberType) || source.equals(numberType) && target.equals(integerType)) {
+      return true;
+    }
+    if (source.kind === "function" && target.kind === "function") {
+      return source.equals(target);
+    }
+    if (source.kind === "structured" && target.kind === "structured") {
+      return this.analyzer.typeUtils.isTypeDerivedFromOrEqualsTo(source, target) || this.analyzer.typeUtils.isTypeDerivedFromOrEqualsTo(target, source);
+    }
+    return false;
+  }
+};
 var TypeUtils2 = class {
   constructor(analyzer) {
     this.analyzer = analyzer;
@@ -64294,6 +64413,9 @@ var TypeUtils2 = class {
     }
     return Query.any(this.allAspectsOfType(type), (a) => a.getEntity().getOriginalEntity() === aspectEntity.getOriginalEntity());
   }
+  areTypesComparable(type1, type2) {
+    return type1.isNullType || type2.isNullType || this.analyzer.isTypeComparableTo(type1, type2);
+  }
   collectBaseAndAliasedTypesRecursively(type, result) {
     switch (type.kind) {
       case "function": {
@@ -71725,6 +71847,12 @@ var UserDefinableBinaryOperatorResolver = class {
     const semanticContext = this.analyzer.semanticContext.containing(this.left);
     const typeMemberLookupContext = semanticContext.getTypeMemberLookupContext();
     const nonNullableLeftType = this.analyzer.excludeNullFromType(leftType);
+    if (!nonNullableLeftType.equals(leftType)) {
+      this.diagnostics?.addDiagnostic(this.analyzer.createDiagnostic(
+        2105 /* ExpressionCanBeNull */,
+        this.left
+      ));
+    }
     const leftTypeMemberLookup = TypeMemberLookup.ofType(this.analyzer, nonNullableLeftType);
     const operators = leftTypeMemberLookup.getNamedMembersByName(name, typeMemberLookupContext, 1 /* OnlyInstanceMembers */).filter((o) => o.kind === "method" && o.getParameters().length === 1);
     if (operators.length > 0) {
@@ -71860,6 +71988,12 @@ var UserDefinableUnaryOperatorResolver = class {
     const semanticContext = this.analyzer.semanticContext.containing(this.node.operand);
     const typeMemberLookupContext = semanticContext.getTypeMemberLookupContext();
     const nonNullableOperandType = this.analyzer.excludeNullFromType(operandType);
+    if (!nonNullableOperandType.equals(operandType)) {
+      this.diagnostics?.addDiagnostic(this.analyzer.createDiagnostic(
+        2105 /* ExpressionCanBeNull */,
+        this.node.operand
+      ));
+    }
     const typeMemberLookup = TypeMemberLookup.ofType(this.analyzer, nonNullableOperandType);
     const operators = typeMemberLookup.getNamedMembersByName(name, typeMemberLookupContext, 1 /* OnlyInstanceMembers */).filter((o) => o.kind === "method" && o.getParameters().length === 0);
     if (operators.length === 1) {
@@ -72406,10 +72540,10 @@ var Analyzer3 = class extends Analyzer {
     return result;
   }
   checkIdentifierNameIsReserved(name, locale) {
-    return reservedNameKindByNameKey.value[locale].get(name.key);
+    return reservedNameKindByNameKey[locale].get(name.key);
   }
   getReservedName(reservedNameKind, locale) {
-    return reservedNamesByLocale.value[locale][reservedNameKind];
+    return reservedNamesByLocale[locale][reservedNameKind];
   }
   createNameFromIdentifier(node) {
     let result = this.nameByIdentifierText.get(node.value);

package/build/{chunk-BVAJ2ZQZ.js → chunk-PCY52KYM.js}

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

package/build/{chunk-TRWZ4MA5.js → chunk-WXKN3LZG.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-BVAJ2ZQZ.js";
+} from "./chunk-PCY52KYM.js";
 import {
   ArtelVersion,
   Cached,
@@ -15,7 +15,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-PPQK5MBM.js";
+} from "./chunk-KCEJTV3Q.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

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

@@ -56,6 +56,7 @@ export declare abstract class Analyzer {
     get signatureComparer(): SignatureComparer;
     get conflictsCheck(): ConflictsCheck;
     get typeAssignabilityCheck(): TypeAssignabilityCheck;
+    get typeComparabilityCheck(): TypeComparabilityCheck;
     get overriddenMember(): OverriddenMember;
     get tsInterop(): TsInteropContext;
     constructor(state: CommonAnalyzerState);
@@ -69,6 +70,7 @@ export declare abstract class Analyzer {
     ifTypeReferenceThenReferencedType(type: types.Type): types.Type | undefined;
     isTypeAssignableTo(source: types.Type, target: types.Type): boolean;
     getTypeAssignabilityFlags(source: types.Type, target: types.Type): TypeAssignabilityFlags;
+    isTypeComparableTo(source: types.Type, target: types.Type): boolean;
     getUnambiguousTargetFunctionType(targetType: types.Type | undefined): types.FunctionType | undefined;
     getUnambiguousTargetArrayType(targetType: types.Type | undefined): types.Type | undefined;
     getUnambiguousTargetReferenceType(targetType: types.Type | undefined): types.Type | undefined;
@@ -179,6 +181,7 @@ export declare class CommonAnalyzerState {
     signatureComparer: SignatureComparer;
     conflictsCheck: ConflictsCheck;
     typeAssignabilityCheck: TypeAssignabilityCheck;
+    typeComparabilityCheck: TypeComparabilityCheck;
     overriddenMember: OverriddenMember;
     readonly tsInteropInputs: TsInteropInputs;
     readonly tsInterop: Cached<TsInteropContext>;
@@ -286,6 +289,11 @@ declare class TypeAssignabilityCheck {
     private areNewFlagsBetter;
     private getFlagCount;
 }
+declare class TypeComparabilityCheck {
+    private readonly analyzer;
+    constructor(analyzer: Analyzer);
+    isTypeComparableTo(source: types.Type, target: types.Type): boolean;
+}
 declare class TypeUtils {
     private readonly analyzer;
     constructor(analyzer: Analyzer);
@@ -302,6 +310,7 @@ declare class TypeUtils {
     compareSubstitutionsWithSimpleTypeComparer(substitutions1: types.Substitutions, substitutions2: types.Substitutions, comparer: SimpleTypeComparer): boolean;
     allAspectsOfType(type: types.Type): Iterable<types.StructuredType>;
     checkTypeIsBasedOnAspect(type: types.Type, aspectEntity: e.StructuredTypeEntity): boolean;
+    areTypesComparable(type1: types.Type, type2: types.Type): boolean;
     private collectBaseAndAliasedTypesRecursively;
     private getBaseTypesForCommonTypesSearch;
     private addTypeAndCollectAllBaseTypes;

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

@@ -3,7 +3,6 @@ import { PackageEntity, TypeEntity, TypeExtensionEntity, TypeOrExtensionEntity }
 import { SourceFile } from '../project/SourceFile.js';
 import * as types from '../types/index.js';
 import { Analyzer } from './Analyzer.js';
-import { SemanticContext } from './a/semantic-context/SemanticContext.js';
 export declare class TypeMemberLookup {
     private readonly analyzer;
     private readonly typeOrExtension;
@@ -39,10 +38,13 @@ export declare class TypeMemberLookupContext {
     readonly sourceFile: SourceFile | undefined;
     readonly packageEntity: PackageEntity | undefined;
     readonly locale: PackageLocale | undefined;
-    readonly typeExtensionLookup: SemanticContext | undefined;
-    constructor(typeOrExtensionEntity: TypeOrExtensionEntity | undefined, sourceFile: SourceFile | undefined, packageEntity: PackageEntity | undefined, locale: PackageLocale | undefined, typeExtensionLookup: SemanticContext | undefined);
+    readonly typeExtensionLookup: TypeExtensionLookup | undefined;
+    constructor(typeOrExtensionEntity: TypeOrExtensionEntity | undefined, sourceFile: SourceFile | undefined, packageEntity: PackageEntity | undefined, locale: PackageLocale | undefined, typeExtensionLookup: TypeExtensionLookup | undefined);
     affectsAccessibility(): boolean;
 }
+export interface TypeExtensionLookup {
+    getTypeExtensionsByType(type: TypeEntity): readonly TypeExtensionEntity[];
+}
 export declare enum TypeMemberLookupOptions {
     None = 0,
     OnlyInstanceMembers = 1,

package/build/types/analysis/a/ReservedNameDictionary.d.ts

@@ -1,16 +1,12 @@
-import { Lazy } from '../../common/Lazy.js';
 import { Name } from '../../common/Name.js';
 import { PackageLocale } from '../../common/PackageLocale.js';
 export declare const enum ReservedNameKind {
     Result = 0,
     Value = 1
 }
-export declare const reservedNamesByLocale: Lazy<{
-    [T in PackageLocale]: {
-        [T in ReservedNameKind]: Name;
+export declare const reservedNamesByLocale: {
+    readonly [T in PackageLocale]: {
+        readonly [T in ReservedNameKind]: Name;
     };
-}>;
-export declare const reservedNameKindByNameKey: Lazy<{
-    0: ReadonlyMap<string, ReservedNameKind>;
-    1: ReadonlyMap<string, ReservedNameKind>;
-}>;
+};
+export declare const reservedNameKindByNameKey: { readonly [T in PackageLocale]: ReadonlyMap<string, ReservedNameKind>; };

package/build/types/analysis/a/SourceFileAnalyzer.d.ts

@@ -20,6 +20,7 @@ export declare class SourceFileAnalyzer {
     constructor(analyzer: Analyzer, sourceFile: project.SourceFileA);
     analyze(taskController: TaskController): Promise<Diagnostic[]>;
     private analyzeNode;
+    private checkBinaryExpression;
     private checkPackageVariantDeclaration;
     private checkTypeMemberDeclarationBlock;
     private checkAssumptionExpression;

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

@@ -5,11 +5,11 @@ import * as tree from '../../../tree/a/index.js';
 import * as types from '../../../types/index.js';
 import { DiagnosticArgumentFactory } from '../../DiagnosticArgumentFactory.js';
 import { PackageMemberLookupContext } from '../../PackageMemberLookup.js';
-import { TypeMemberLookupContext } from '../../TypeMemberLookup.js';
+import { TypeExtensionLookup, TypeMemberLookupContext } from '../../TypeMemberLookup.js';
 import { Analyzer } from '../Analyzer.js';
 import { NamedDeclaration, TypeOrContainerWithTypes } from './Declarations.js';
 import { SemanticContext } from './SemanticContext.js';
-export declare abstract class SemanticContextBase {
+export declare abstract class SemanticContextBase implements TypeExtensionLookup {
     static readonly emptyTypesOrContainersWithTypes: readonly TypeOrContainerWithTypes[];
     static readonly emptyNamedDeclarations: readonly NamedDeclaration[];
     static readonly emptyTypeExtensions: readonly TypeExtensionEntity[];

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

@@ -267,6 +267,7 @@ export declare enum DiagnosticCode {
     OperatorCannotBeAsync = 2228,
     OperatorCannotContainTypeParameterDeclarations = 2229,
     TypeNameExpectedAtLastQualifier = 2230,
+    ExpressionsWithTypes0And1CannotBeCompared = 2231,
     CannotFindTsLibDirectoryBaseSearchPaths0 = 3000,
     SourceFile0IsNotPartOfThePackageAndWontBeLoaded = 3001,
     ProgramWithoutMainPackageCannotBeCompiled = 3002,

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

@@ -12,7 +12,7 @@ export interface FunctionEntity {
     details: FunctionEntityDetails;
 }
 export declare enum FunctionEntityKind {
-    RegularFunction = 0,
+    Ordinary = 0,
     GetterOrSetter = 1,
     Constructor = 2,
     Destructor = 3,

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

@@ -50,7 +50,7 @@ export type AccessorEntity = GetterEntity | SetterEntity;
 export declare function isAccessorEntity(entity: Entity): entity is AccessorEntity;
 export type EntityWithTypeParameters = EntityContainingTypeParameter;
 export declare function isEntityWithTypeParameters(entity: Entity): entity is EntityWithTypeParameters;
-export type EntityWithParameters = Exclude<EntityContainingParameter, PackageEntity>;
+export type EntityWithParameters = EntityContainingParameter;
 export declare function isEntityWithParameters(entity: Entity): entity is EntityWithParameters;
 export type NamedFunctionEntity = PackageFunctionEntity | MethodEntity | NestedFunctionEntity;
 export declare function isNamedFunctionEntity(entity: Entity): entity is NamedFunctionEntity;

package/build/types/entities/interfaces/FunctionEntity.d.ts

@@ -42,11 +42,6 @@ export interface NestedFunctionEntity extends IFunctionEntity {
     getName(): Name;
     getOriginalEntity(): NestedFunctionEntity;
 }
-export interface NestedFunctionEntity extends IFunctionEntity {
-    readonly subkind: 'nested';
-    getName(): Name;
-    getOriginalEntity(): NestedFunctionEntity;
-}
 export interface AnonymousFunctionEntity extends IFunctionEntity {
     readonly subkind: 'anonymous';
     getOriginalEntity(): AnonymousFunctionEntity;

package/build/types/entities/interfaces/VariableEntity.d.ts

@@ -2,7 +2,7 @@ import { Name } from '../../common/index.js';
 import * as treeA from '../../tree/a/index.js';
 import * as types from '../../types/index.js';
 import { IEntity } from '../IEntity.js';
-import { AnonymousFunctionEntity, ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, PackageEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TextTranslationEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
+import { AnonymousFunctionEntity, ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, IndexerEntity, PreservedReducedTypeEntityMemberInfo, SetterEntity, TextTranslationEntity, TypeWithMembersOrExtensionEntity } from '../index.js';
 export type VariableEntity = PackageVariableEntity | FieldEntity | ParameterEntity | LocalVariableEntity;
 interface IVariableEntity extends IEntity {
     readonly kind: EntityKind.Variable;
@@ -50,7 +50,7 @@ export declare enum LocalVariableKind {
     Enumeration = 1,
     Error = 2
 }
-export type EntityContainingParameter = FunctionEntity | IndexerEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | PackageEntity;
+export type EntityContainingParameter = FunctionEntity | IndexerEntity | ConstructorEntity | DestructorEntity | FunctionTypeEntity | TextTranslationEntity;
 export type VariableEntityDefinition = {
     kind: DefinitionKind.Source;
     value: SourceVariableEntityDefinition;

package/build/types/entities/intrinsic/IntrinsicVariableEntity.d.ts

@@ -1,4 +1,4 @@
-import { Lazy, Name, PackageDialect, PackageLocale } from '../../common/index.js';
+import { MaybeLazy, Name, PackageDialect, PackageLocale } from '../../common/index.js';
 import * as types from '../../types/index.js';
 import { TypeWithMembersOrExtensionEntity } from '../Entity.js';
 import { EntityHidingLevel } from '../EntityHiding.js';
@@ -16,7 +16,7 @@ export declare class IntrinsicPackageVariableEntity implements PackageVariableEn
     private readonly setter;
     readonly kind = EntityKind.Variable;
     readonly subkind = "package";
-    constructor(name: Name, type: types.Type | Lazy<types.Type>, containingPackage: PackageEntity, isSpecial_: SpecialVariableEntityInfo | undefined, isHidden_: EntityHidingLevel | undefined, getter: GetterEntity | undefined, setter: SetterEntity | undefined);
+    constructor(name: Name, type: MaybeLazy<types.Type>, containingPackage: PackageEntity, isSpecial_: SpecialVariableEntityInfo | undefined, isHidden_: EntityHidingLevel | undefined, getter: GetterEntity | undefined, setter: SetterEntity | undefined);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;

package/build/types/tree/a/BaseNode.d.ts

@@ -1,4 +1,4 @@
-import { PackageDialect, PackageLocale, Range } from '../../common/index.js';
+import { PackageLocale, Range } from '../../common/index.js';
 import { Node, SourceFile } from './Nodes.js';
 import { Token } from './Token.js';
 export declare abstract class BaseNode {
@@ -13,7 +13,6 @@ export declare abstract class BaseNode {
     get parent(): Node | undefined;
     get sourceFile(): SourceFile;
     get locale(): PackageLocale;
-    get dialect(): PackageDialect;
     get rangeWithTrivia(): Range;
     get rangeWithoutTrivia(): Range;
     get debuggerDisplay(): string;

package/build/types/tree/a/Nodes.d.ts

@@ -1,4 +1,4 @@
-import { PackageDialect, PackageLocale, Query, Range } from '../../common/index.js';
+import { PackageLocale, Query, Range } from '../../common/index.js';
 import { ParserDiagnostic } from '../../parser/ParserDiagnostic.js';
 import { BaseNode } from './BaseNode.js';
 import { KeywordFlags } from './KeywordFlags.js';
@@ -22,15 +22,13 @@ export declare class SourceFile extends BaseNode {
     ];
     readonly diagnostics: readonly ParserDiagnostic[];
     private readonly locale_;
-    private readonly dialect_;
     get locale(): PackageLocale;
-    get dialect(): PackageDialect;
     get parent(): undefined;
     get packageImportDirectiveList(): PackageImportDirectiveList;
     get declarationList(): PackageMemberDeclarationList;
     get endOfFileToken(): Token<TokenKind.EndOfFile>;
     protected get thisAsNode(): Node;
-    constructor(packageImportDirectiveList: PackageImportDirectiveList, declarationList: PackageMemberDeclarationList, endOfFileToken: Token<TokenKind.EndOfFile>, locale: PackageLocale, dialect: PackageDialect, diagnostics: readonly ParserDiagnostic[], rangeWithTrivia: Range | undefined);
+    constructor(packageImportDirectiveList: PackageImportDirectiveList, declarationList: PackageMemberDeclarationList, endOfFileToken: Token<TokenKind.EndOfFile>, locale: PackageLocale, diagnostics: readonly ParserDiagnostic[], rangeWithTrivia: Range | undefined);
 }
 export declare class Keyword<TKind extends KeywordKind = KeywordKind> extends BaseNode {
     readonly kind = NodeKind.Keyword;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.26020",
+  "version": "0.6.26022",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "Apache-2.0",
@@ -44,7 +44,7 @@
     "@babel/types": "7.27.3",
     "@vscode/l10n": "0.0.18",
     "jsonc-parser": "3.3.1",
-    "reactronic": "^0.96.26012",
+    "reactronic": "^0.96.26015",
     "typescript": "5.9.3",
     "vscode-json-languageservice": "5.4.2",
     "vscode-languageserver": "9.0.1",