@artel/artc 0.6.25260 → 0.6.25262

package/build/Cli.js

@@ -1,11 +1,11 @@
 #!/usr/bin/env node
 import {
   CommandLineCompiler
-} from "./chunk-7FERF2MU.js";
-import "./chunk-ZNXSVPQT.js";
+} from "./chunk-C32OUNTY.js";
+import "./chunk-3LDKXMHH.js";
 import {
   __async
-} from "./chunk-RIIOVQBM.js";
+} from "./chunk-LV35QVOW.js";
 
 // source/Cli.ts
 function main() {

package/build/api/Api.js

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "../chunk-ZNXSVPQT.js";
+} from "../chunk-3LDKXMHH.js";
 import {
   AccessKind,
   AccessedFunctionParameter,
@@ -344,7 +344,7 @@ import {
   withoutQuotes,
   withoutTemplateQuotes,
   yieldExecution
-} from "../chunk-RIIOVQBM.js";
+} from "../chunk-LV35QVOW.js";
 export {
   AccessKind,
   AccessedFunctionParameter,

package/build/api/ApiNodeJS.js

@@ -6,9 +6,9 @@ import {
   PhysicalFileSystem,
   PhysicalTypeScriptLibrariesProvider,
   PrintingDiagnosticAcceptor
-} from "../chunk-7FERF2MU.js";
-import "../chunk-ZNXSVPQT.js";
-import "../chunk-RIIOVQBM.js";
+} from "../chunk-C32OUNTY.js";
+import "../chunk-3LDKXMHH.js";
+import "../chunk-LV35QVOW.js";
 export {
   CommandLineCompiler,
   FileSystemUri,

package/build/api/ApiServices.js

@@ -181,7 +181,7 @@ import {
   unwrapParenthesizedExpressions,
   visitChildren,
   yieldExecution
-} from "../chunk-RIIOVQBM.js";
+} from "../chunk-LV35QVOW.js";
 
 // source/services/CustomCommand.ts
 import * as ls from "vscode-languageserver";

package/build/{chunk-ZNXSVPQT.js → chunk-3LDKXMHH.js}

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

package/build/{chunk-7FERF2MU.js → chunk-C32OUNTY.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-ZNXSVPQT.js";
+} from "./chunk-3LDKXMHH.js";
 import {
   ArtelVersion,
   Cached,
@@ -14,7 +14,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-RIIOVQBM.js";
+} from "./chunk-LV35QVOW.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

package/build/{chunk-RIIOVQBM.js → chunk-LV35QVOW.js}

@@ -690,7 +690,7 @@ var UniqueWithComparatorQuery = class extends Query {
 };
 
 // source/common/Constants.ts
-var ArtelVersion = true ? "0.6.25260" : "";
+var ArtelVersion = true ? "0.6.25262" : "";
 var ArtelSourceFileExtensions = [".\u0430\u0440\u0442", ".\u0430\u0440\u0442\u0435\u043B\u044C", ".art", ".artel"];
 var ArtelSourceFileExtensionSet = new Set(ArtelSourceFileExtensions);
 var ArtelSourceAndConfigurationFileExtensionSet = new Set(ArtelSourceFileExtensionSet).add(".json");
@@ -32302,12 +32302,16 @@ var TypeArgumentInferrer = class {
   inferFromTypes(sourceType, targetType, priority) {
     if (targetType.kind === "parameter") {
       this.inferToParameterType(sourceType, targetType, priority);
+    } else if (sourceType.kind === "alias" || targetType.kind === "alias") {
+      this.inferFromTypes(unaliasType(sourceType), unaliasType(targetType), priority);
+    } else if (targetType.kind === "union") {
+      this.inferToUnionType(sourceType, targetType, priority);
+    } else if (sourceType.kind === "union") {
+      this.inferFromUnionType(sourceType, targetType, priority);
     } else if (targetType.kind === "structured") {
       this.inferToStructuredType(sourceType, targetType, priority);
     } else if (sourceType.kind === "function" && targetType.kind === "function") {
       this.inferFromFunctionTypes(sourceType, targetType, priority);
-    } else if (targetType.kind === "union") {
-      this.inferToUnionType(sourceType, targetType, priority);
     }
   }
   inferToParameterType(sourceType, targetType, priority) {
@@ -32374,6 +32378,11 @@ var TypeArgumentInferrer = class {
     }
     this.inferFromTypes(sourceType.getReturnType(), targetType.getReturnType(), priority);
   }
+  inferFromUnionType(sourceType, targetType, priority) {
+    for (const constituentType of sourceType.originalTypes) {
+      this.inferFromTypes(constituentType, targetType, priority);
+    }
+  }
   createSubstitutions(untilIndex) {
     const typeArguments = new Array();
     let i = 0;
@@ -38062,8 +38071,12 @@ var TypeNarrower = class _TypeNarrower {
         }
         return typeAtPredecessor;
       }
-      case 72 /* IsExpression */:
-        return this.getTypeAtIsExpression(typeAtPredecessor, node.syntaxNode, node.isTrue);
+      case 72 /* IsExpression */: {
+        if (this.isSameReferenceAsNarrowedExpression(node.syntaxNode.expression)) {
+          return this.getTypeAtIsExpression(typeAtPredecessor, node.syntaxNode, node.isTrue);
+        }
+        return typeAtPredecessor;
+      }
       default:
         Debug.never(node.syntaxNode);
     }

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

@@ -39,6 +39,7 @@ export declare class TypeArgumentInferrer {
     private inferFromSubstitutions;
     private inferToUnionType;
     private inferFromFunctionTypes;
+    private inferFromUnionType;
     private createSubstitutions;
     private inferFromTargetTypeDependentExpression;
     private tryGetInferredType;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25260",
+  "version": "0.6.25262",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",