@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/expressions/operators.js

@@ -2,9 +2,12 @@
  * Operator expression converters (binary, unary, update, assignment)
  */
 import * as ts from "typescript";
+import { normalizedUnionType } from "../../types/type-ops.js";
 import { deriveIdentifierType, getSourceSpan, convertBinaryOperator, isAssignmentOperator, } from "./helpers.js";
 import { convertExpression } from "../../expression-converter.js";
 import { collectTypeNarrowingsInTruthyExpr, withAppliedNarrowings, } from "../flow-narrowing.js";
+import { resolveInstanceofTargetType } from "../narrowing-resolvers-equality.js";
+import { getAccessPathKey, getAccessPathTarget } from "../access-paths.js";
 import { getBinaryResultKind, NUMERIC_KIND_TO_CSHARP, TSONIC_TO_NUMERIC_KIND, } from "../../types/numeric-kind.js";
 const getNumericKindFromIrType = (type) => {
     if (!type)
@@ -66,25 +69,26 @@ const stripNullishFromUnion = (type) => {
     return { kind: "unionType", types: filtered };
 };
 const makeUnionType = (types) => {
-    const flattened = [];
-    for (const t of types) {
-        if (t.kind === "unionType")
-            flattened.push(...t.types);
-        else
-            flattened.push(t);
+    return normalizedUnionType(types);
+};
+const withoutExactAssignmentTargetReadNarrowing = (expr, ctx) => {
+    if (!ctx.accessEnv || ctx.accessEnv.size === 0) {
+        return ctx;
+    }
+    const target = getAccessPathTarget(expr, ctx);
+    if (!target) {
+        return ctx;
     }
-    const seen = new Set();
-    const unique = [];
-    for (const t of flattened) {
-        const key = JSON.stringify(t);
-        if (seen.has(key))
-            continue;
-        seen.add(key);
-        unique.push(t);
+    const targetKey = getAccessPathKey(target);
+    if (!ctx.accessEnv.has(targetKey)) {
+        return ctx;
     }
-    if (unique.length === 1 && unique[0])
-        return unique[0];
-    return { kind: "unionType", types: unique };
+    const nextAccessEnv = new Map(ctx.accessEnv);
+    nextAccessEnv.delete(targetKey);
+    return {
+        ...ctx,
+        accessEnv: nextAccessEnv,
+    };
 };
 /**
  * Derive result type from binary operator and operand types.
@@ -207,6 +211,7 @@ export const convertBinaryExpression = (node, ctx, expectedType) => {
     // Handle assignment separately
     // Thread LHS type to RHS for deterministic typing (e.g., x = 10 where x: int)
     if (isAssignmentOperator(node.operatorToken)) {
+        const leftCtx = withoutExactAssignmentTargetReadNarrowing(node.left, ctx);
         // DETERMINISTIC: Derive LHS type from declaration (for identifiers)
         const leftExpr = ts.isIdentifier(node.left)
             ? {
@@ -215,7 +220,7 @@ export const convertBinaryExpression = (node, ctx, expectedType) => {
                 inferredType: deriveIdentifierType(node.left, ctx),
                 sourceSpan: getSourceSpan(node.left),
             }
-            : convertExpression(node.left, ctx, undefined);
+            : convertExpression(node.left, leftCtx, undefined);
         const lhsType = leftExpr.inferredType;
         const rightExpr = convertExpression(node.right, ctx, lhsType);
         return {
@@ -255,7 +260,16 @@ export const convertBinaryExpression = (node, ctx, expectedType) => {
     }
     // Regular binary expression
     const leftExpr = convertExpression(node.left, ctx, undefined);
-    const rightExpr = convertExpression(node.right, ctx, undefined);
+    const convertedRightExpr = convertExpression(node.right, ctx, undefined);
+    const instanceofTargetType = operator === "instanceof"
+        ? resolveInstanceofTargetType(node.right, ctx)
+        : undefined;
+    const rightExpr = instanceofTargetType !== undefined
+        ? {
+            ...convertedRightExpr,
+            inferredType: instanceofTargetType,
+        }
+        : convertedRightExpr;
     return {
         kind: "binary",
         operator: operator,

package/dist/ir/converters/expressions/operators.js.map

@@ -1 +1 @@
-{"version":3,"file":"operators.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EACL,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAEL,mBAAmB,EACnB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAGrC,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACC,EAAE;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,OAAO,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,wEAAwE;QACxE,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,QAAQ,EACtB,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QAED,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAiB,EAAU,EAAE;IACxD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAExE,qEAAqE;IACrE,+CAA+C;IAC/C,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE;IAC3C,IAAI,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACjE,IAAI,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAwB,EAAU,EAAE;IACzD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;;YAClD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,sBAAsB,GAAG,CAC7B,QAAgB,EAChB,QAA4B,EAC5B,SAA6B,EACT,EAAE;IACtB,6CAA6C;IAC7C,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,+BAA+B;IAC/B,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,6BAA6B;IAC7B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,8BAA8B;IAC9B,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,8DAA8D;IAC9D,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,IACE,CAAC,QAAQ,EAAE,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;YAClE,CAAC,SAAS,EAAE,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,EACpE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAEtD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,yEAAyE;IACzE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,IAAI,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC;QAEhC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAC;QAE3C,MAAM,WAAW,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QAEnC,sDAAsD;QACtD,iFAAiF;QACjF,8EAA8E;QAC9E,uCAAuC;QACvC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,aAAa,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,6DAA6D;IAC7D,yDAAyD;IACzD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,QAAQ,IAAI,SAAS,CAAC;IAC/B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAC5B,QAAgB,EAChB,WAA+B,EACX,EAAE;IACtB,qCAAqC;IACrC,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,0BAA0B;IAC1B,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,8CAA8C;IAC9C,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACzC,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,+BAA+B;IAC/B,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,4CAA4C;IAC5C,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,yBAAyB;IACzB,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,oCAAoC;IACpC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAyB,EACzB,GAAmB,EACnB,YAAqB,EACP,EAAE;IAChB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,+BAA+B;IAC/B,8EAA8E;IAC9E,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7C,oEAAoE;QACpE,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,CAAC,CAAC;gBACE,IAAI,EAAE,YAAqB;gBAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,YAAY,EAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBAClD,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;aACrC;YACH,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAEjD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC;QACtC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAE9D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,QAAgC;YAC1C,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,SAAS;YAChB,YAAY,EAAE,OAAO,EAAE,gCAAgC;YACvD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,2BAA2B;IAC3B,wEAAwE;IACxE,4EAA4E;IAC5E,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC9D,MAAM,uBAAuB,GAC3B,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;YACpC,CAAC,CAAC,QAAQ,CAAC,YAAY;gBACrB,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,YAAY,CAAC;gBAC9C,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,eAAe,GACnB,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;YACpC,CAAC,CAAC,CAAC,YAAY,IAAI,uBAAuB,CAAC;YAC3C,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,MAAM,GACV,QAAQ,KAAK,IAAI;YACf,CAAC,CAAC,qBAAqB,CACnB,GAAG,EACH,iCAAiC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAClD;YACH,CAAC,CAAC,GAAG,CAAC;QACV,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;QAEzE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,QAAQ;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,SAAS;YAChB,YAAY,EAAE,sBAAsB,CAClC,QAAQ,EACR,QAAQ,CAAC,YAAY,EACrB,SAAS,CAAC,YAAY,CACvB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAEhE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,QAA4B;QACtC,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,SAAS;QAChB,YAAY,EAAE,sBAAsB,CAClC,QAAQ,EACR,QAAQ,CAAC,YAAY,EACrB,SAAS,CAAC,YAAY,CACvB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA8B,EAC9B,GAAmB,EACqB,EAAE;IAC1C,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAEpE,kDAAkD;IAClD,IACE,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAC/C,CAAC;QACD,MAAM,cAAc,GAClB,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,MAAM,EAAE,IAAI;YACZ,UAAU,EAAE,WAAW;YACvB,YAAY,EAAE,qBAAqB,CACjC,cAAc,EACd,WAAW,CAAC,YAAY,CACzB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,iCAAiC;IACjC,IAAI,QAAQ,GAAkC,GAAG,CAAC;IAElD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;QACR,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;QACR,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;QACR,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;IACV,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,UAAU,EAAE,WAAW;QACvB,YAAY,EAAE,qBAAqB,CAAC,QAAQ,EAAE,WAAW,CAAC,YAAY,CAAC;QACvE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA0D,EAC1D,GAAmB,EACC,EAAE;IACtB,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,0CAA0C;QAC1C,IACE,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC7C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAC/C,CAAC;YACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACpE,MAAM,cAAc,GAClB,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9D,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,MAAM,EAAE,IAAI;gBACZ,UAAU,EAAE,WAAW;gBACvB,YAAY,EAAE,qBAAqB,CACjC,cAAc,EACd,WAAW,CAAC,YAAY,CACzB;gBACD,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAiC,CAAC;IAClD,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,cAAc,GAClB,OAAO,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,WAAW;QACvB,YAAY,EAAE,qBAAqB,CACjC,cAAc,EACd,WAAW,CAAC,YAAY,CACzB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"operators.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EACL,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAEL,mBAAmB,EACnB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAGrC,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACC,EAAE;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,OAAO,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,wEAAwE;QACxE,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,QAAQ,EACtB,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QAED,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAiB,EAAU,EAAE;IACxD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAExE,qEAAqE;IACrE,+CAA+C;IAC/C,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CACvD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE;IAC3C,IAAI,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACjE,IAAI,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAAwB,EAAU,EAAE;IACzD,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAChD,IAAmB,EACnB,GAAmB,EACH,EAAE;IAClB,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7C,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO;QACL,GAAG,GAAG;QACN,SAAS,EAAE,aAAa;KACzB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,sBAAsB,GAAG,CAC7B,QAAgB,EAChB,QAA4B,EAC5B,SAA6B,EACT,EAAE;IACtB,6CAA6C;IAC7C,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,+BAA+B;IAC/B,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,6BAA6B;IAC7B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,8BAA8B;IAC9B,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,8DAA8D;IAC9D,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,IACE,CAAC,QAAQ,EAAE,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;YAClE,CAAC,SAAS,EAAE,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,EACpE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAEtD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,yEAAyE;IACzE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,IAAI,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC;QAEhC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAC;QAE3C,MAAM,WAAW,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QAEnC,sDAAsD;QACtD,iFAAiF;QACjF,8EAA8E;QAC9E,uCAAuC;QACvC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,aAAa,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,6DAA6D;IAC7D,yDAAyD;IACzD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,QAAQ,IAAI,SAAS,CAAC;IAC/B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAC5B,QAAgB,EAChB,WAA+B,EACX,EAAE;IACtB,qCAAqC;IACrC,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,0BAA0B;IAC1B,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,8CAA8C;IAC9C,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACzC,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,+BAA+B;IAC/B,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,4CAA4C;IAC5C,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,yBAAyB;IACzB,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,oCAAoC;IACpC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAyB,EACzB,GAAmB,EACnB,YAAqB,EACP,EAAE;IAChB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,+BAA+B;IAC/B,8EAA8E;IAC9E,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,yCAAyC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAE1E,oEAAoE;QACpE,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,CAAC,CAAC;gBACE,IAAI,EAAE,YAAqB;gBAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACpB,YAAY,EAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBAClD,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;aACrC;YACH,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAErD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC;QACtC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAE9D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,QAAQ,EAAE,QAAgC;YAC1C,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,SAAS;YAChB,YAAY,EAAE,OAAO,EAAE,gCAAgC;YACvD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,2BAA2B;IAC3B,wEAAwE;IACxE,4EAA4E;IAC5E,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC9D,MAAM,uBAAuB,GAC3B,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;YACpC,CAAC,CAAC,QAAQ,CAAC,YAAY;gBACrB,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,YAAY,CAAC;gBAC9C,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,eAAe,GACnB,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;YACpC,CAAC,CAAC,CAAC,YAAY,IAAI,uBAAuB,CAAC;YAC3C,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,MAAM,GACV,QAAQ,KAAK,IAAI;YACf,CAAC,CAAC,qBAAqB,CACnB,GAAG,EACH,iCAAiC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAClD;YACH,CAAC,CAAC,GAAG,CAAC;QACV,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;QAEzE,OAAO;YACL,IAAI,EAAE,SAAS;YACf,QAAQ;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,SAAS;YAChB,YAAY,EAAE,sBAAsB,CAClC,QAAQ,EACR,QAAQ,CAAC,YAAY,EACrB,SAAS,CAAC,YAAY,CACvB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9D,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACzE,MAAM,oBAAoB,GACxB,QAAQ,KAAK,YAAY;QACvB,CAAC,CAAC,2BAA2B,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,SAAS,GACb,oBAAoB,KAAK,SAAS;QAChC,CAAC,CAAE;YACC,GAAG,kBAAkB;YACrB,YAAY,EAAE,oBAAoB;SAClB;QACpB,CAAC,CAAC,kBAAkB,CAAC;IAEzB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,QAA4B;QACtC,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,SAAS;QAChB,YAAY,EAAE,sBAAsB,CAClC,QAAQ,EACR,QAAQ,CAAC,YAAY,EACrB,SAAS,CAAC,YAAY,CACvB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA8B,EAC9B,GAAmB,EACqB,EAAE;IAC1C,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAEpE,kDAAkD;IAClD,IACE,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAC/C,CAAC;QACD,MAAM,cAAc,GAClB,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,MAAM,EAAE,IAAI;YACZ,UAAU,EAAE,WAAW;YACvB,YAAY,EAAE,qBAAqB,CACjC,cAAc,EACd,WAAW,CAAC,YAAY,CACzB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,iCAAiC;IACjC,IAAI,QAAQ,GAAkC,GAAG,CAAC;IAElD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACtB,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;QACR,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;QACR,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;QACR,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,QAAQ,GAAG,GAAG,CAAC;YACf,MAAM;IACV,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,UAAU,EAAE,WAAW;QACvB,YAAY,EAAE,qBAAqB,CAAC,QAAQ,EAAE,WAAW,CAAC,YAAY,CAAC;QACvE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA0D,EAC1D,GAAmB,EACC,EAAE;IACtB,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,0CAA0C;QAC1C,IACE,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC7C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAC/C,CAAC;YACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACpE,MAAM,cAAc,GAClB,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9D,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,MAAM,EAAE,IAAI;gBACZ,UAAU,EAAE,WAAW;gBACvB,YAAY,EAAE,qBAAqB,CACjC,cAAc,EACd,WAAW,CAAC,YAAY,CACzB;gBACD,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAiC,CAAC;IAClD,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACvE,MAAM,cAAc,GAClB,OAAO,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,WAAW;QACvB,YAAY,EAAE,qBAAqB,CACjC,cAAc,EACd,WAAW,CAAC,YAAY,CACzB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/other.d.ts

@@ -9,8 +9,10 @@ import type { ProgramContext } from "../../program-context.js";
  *
  * DETERMINISTIC TYPING:
  * - Threads expectedType to both branches for consistent typing
- * - Result type is expectedType if available, otherwise derives from whenTrue branch
- * Example: `const x: int = cond ? 5 : 10` → both 5 and 10 get expectedType `int`
+ * - Result type stays as precise as the branches prove, even in contextual positions
+ * Example: `new Uint8Array(flag ? 1 : size)` keeps the conditional as `int`,
+ *   not `TypedArrayConstructorInput<byte>`, so later runtime-carrier selection
+ *   still sees the numeric slot deterministically
  */
 export declare const convertConditionalExpression: (node: ts.ConditionalExpression, ctx: ProgramContext, expectedType: IrType | undefined) => IrConditionalExpression;
 /**

package/dist/ir/converters/expressions/other.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,uBAAuB,EACvB,2BAA2B,EAE3B,MAAM,EACP,MAAM,gBAAgB,CAAC;AAIxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D;;;;;;;GAOG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,qBAAqB,EAC9B,KAAK,cAAc,EACnB,cAAc,MAAM,GAAG,SAAS,KAC/B,uBA4BF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,kBAAkB,GAAG,EAAE,CAAC,6BAA6B,EAC9D,KAAK,cAAc,KAClB,2BAgCF,CAAC"}
+{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,uBAAuB,EACvB,2BAA2B,EAE3B,MAAM,EACP,MAAM,gBAAgB,CAAC;AAIxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAO/D;;;;;;;;;GASG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,qBAAqB,EAC9B,KAAK,cAAc,EACnB,cAAc,MAAM,GAAG,SAAS,KAC/B,uBAsEF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,kBAAkB,GAAG,EAAE,CAAC,6BAA6B,EAC9D,KAAK,cAAc,KAClB,2BAgCF,CAAC"}

package/dist/ir/converters/expressions/other.js

@@ -5,23 +5,27 @@ import * as ts from "typescript";
 import { irTypesEqual, normalizedUnionType } from "../../types/type-ops.js";
 import { getSourceSpan } from "./helpers.js";
 import { convertExpression } from "../../expression-converter.js";
+import { collectTypeNarrowingsInFalsyExpr, collectTypeNarrowingsInTruthyExpr, withAppliedNarrowings, } from "../flow-narrowing.js";
 /**
  * Convert conditional (ternary) expression
  *
  * DETERMINISTIC TYPING:
  * - Threads expectedType to both branches for consistent typing
- * - Result type is expectedType if available, otherwise derives from whenTrue branch
- * Example: `const x: int = cond ? 5 : 10` → both 5 and 10 get expectedType `int`
+ * - Result type stays as precise as the branches prove, even in contextual positions
+ * Example: `new Uint8Array(flag ? 1 : size)` keeps the conditional as `int`,
+ *   not `TypedArrayConstructorInput<byte>`, so later runtime-carrier selection
+ *   still sees the numeric slot deterministically
  */
 export const convertConditionalExpression = (node, ctx, expectedType) => {
-    const whenTrue = convertExpression(node.whenTrue, ctx, expectedType);
-    const whenFalse = convertExpression(node.whenFalse, ctx, expectedType);
+    const condition = convertExpression(node.condition, ctx, undefined);
+    const whenTrue = convertExpression(node.whenTrue, withAppliedNarrowings(ctx, collectTypeNarrowingsInTruthyExpr(node.condition, ctx)), expectedType);
+    const whenFalse = convertExpression(node.whenFalse, withAppliedNarrowings(ctx, collectTypeNarrowingsInFalsyExpr(node.condition, ctx)), expectedType);
     // DETERMINISTIC:
-    // - If expectedType exists, it is the contextual contract for both branches.
-    // - Otherwise infer from both branches (never from whenTrue alone).
+    // - expectedType is a contextual contract for branch conversion, not a mandate
+    //   to widen the conditional's own inferred type
+    // - infer from both branches, then only fall back to expectedType when the
+    //   branches genuinely need that broader/common surface
     const inferredType = (() => {
-        if (expectedType)
-            return expectedType;
         const t = whenTrue.inferredType;
         const f = whenFalse.inferredType;
         if (!t)
@@ -30,11 +34,29 @@ export const convertConditionalExpression = (node, ctx, expectedType) => {
             return t;
         if (irTypesEqual(t, f))
             return t;
-        return normalizedUnionType([t, f]);
+        if (ctx.typeSystem.isAssignableTo(t, f) &&
+            ctx.typeSystem.isAssignableTo(f, t)) {
+            return t;
+        }
+        if (ctx.typeSystem.isAssignableTo(t, f)) {
+            return f;
+        }
+        if (ctx.typeSystem.isAssignableTo(f, t)) {
+            return t;
+        }
+        const branchUnion = normalizedUnionType([t, f]);
+        if (!expectedType) {
+            return branchUnion;
+        }
+        if (ctx.typeSystem.isAssignableTo(branchUnion, expectedType) &&
+            !ctx.typeSystem.isAssignableTo(expectedType, branchUnion)) {
+            return expectedType;
+        }
+        return branchUnion;
     })();
     return {
         kind: "conditional",
-        condition: convertExpression(node.condition, ctx, undefined),
+        condition,
         whenTrue,
         whenFalse,
         inferredType,

package/dist/ir/converters/expressions/other.js.map

@@ -1 +1 @@
-{"version":3,"file":"other.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAGlE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAA8B,EAC9B,GAAmB,EACnB,YAAgC,EACP,EAAE;IAC3B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IAEvE,iBAAiB;IACjB,6EAA6E;IAC7E,oEAAoE;IACpE,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;QACzB,IAAI,YAAY;YAAE,OAAO,YAAY,CAAC;QAEtC,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC;QAChC,MAAM,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC;QAEjC,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAEjB,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjC,OAAO,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,EAAE,CAAC;IAEL,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC;QAC5D,QAAQ;QACR,SAAS;QACT,YAAY;QACZ,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA8D,EAC9D,GAAmB,EACU,EAAE;IAC/B,yDAAyD;IACzD,MAAM,UAAU,GAAG;QACjB,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,QAAiB;KACxB,CAAC;IAEF,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,WAAW,EAAE,EAAE;YACf,YAAY,EAAE,UAAU;YACxB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAmB,EAAE,CAAC;IAEvC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAClC,WAAW,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,MAAM;QACN,WAAW;QACX,YAAY,EAAE,UAAU;QACxB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"other.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EACL,gCAAgC,EAChC,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAE9B;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAA8B,EAC9B,GAAmB,EACnB,YAAgC,EACP,EAAE;IAC3B,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,iBAAiB,CAChC,IAAI,CAAC,QAAQ,EACb,qBAAqB,CACnB,GAAG,EACH,iCAAiC,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CACvD,EACD,YAAY,CACb,CAAC;IACF,MAAM,SAAS,GAAG,iBAAiB,CACjC,IAAI,CAAC,SAAS,EACd,qBAAqB,CACnB,GAAG,EACH,gCAAgC,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CACtD,EACD,YAAY,CACb,CAAC;IAEF,iBAAiB;IACjB,+EAA+E;IAC/E,iDAAiD;IACjD,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC;QAChC,MAAM,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC;QAEjC,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAEjB,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjC,IACE,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EACnC,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,IACE,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,WAAW,EAAE,YAAY,CAAC;YACxD,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,WAAW,CAAC,EACzD,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC,EAAE,CAAC;IAEL,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS;QACT,QAAQ;QACR,SAAS;QACT,YAAY;QACZ,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA8D,EAC9D,GAAmB,EACU,EAAE;IAC/B,yDAAyD;IACzD,MAAM,UAAU,GAAG;QACjB,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,QAAiB;KACxB,CAAC;IAEF,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,WAAW,EAAE,EAAE;YACf,YAAY,EAAE,UAAU;YACxB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAmB,EAAE,CAAC;IAEvC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAClC,WAAW,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,MAAM;QACN,WAAW;QACX,YAAY,EAAE,UAAU;QACxB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/flow-narrowing.d.ts

@@ -1,29 +1,10 @@
 /**
- * Flow narrowing helpers (frontend).
+ * Flow narrowing helpers (frontend) -- facade.
  *
- * Airplane-grade requirement:
- * - Deterministic (TS-free) narrowing logic
- * - Correct lexical scoping (key by DeclId.id, not by identifier text)
- *
- * Currently supports:
- * - `x instanceof T` in boolean (truthy) contexts
- * - Conjunction: `(x instanceof T) && ...` (collects narrowings from both sides)
- * - `istype<T>(x)` in boolean (truthy) contexts (compiler-only type guard)
- */
-import * as ts from "typescript";
-import type { ProgramContext } from "../program-context.js";
-import type { IrType } from "../types.js";
-export type TypeNarrowing = {
-    readonly declId: number;
-    readonly targetType: IrType;
-};
-/**
- * Collect `instanceof` narrowings that are guaranteed to hold when `expr` is truthy.
- *
- * We only collect from conjunctions (&&) because truthiness of `A && B` implies both
- * `A` and `B` are truthy; for `A || B` it does not guarantee either side.
+ * Re-exports from sub-modules:
+ *   - narrowing-resolvers.ts  (type-level narrowing helpers)
+ *   - narrowing-collection.ts (collection orchestration & env application)
  */
-export declare const collectTypeNarrowingsInTruthyExpr: (expr: ts.Expression, ctx: ProgramContext) => readonly TypeNarrowing[];
-export declare const collectTypeNarrowingsInFalsyExpr: (expr: ts.Expression, ctx: ProgramContext) => readonly TypeNarrowing[];
-export declare const withAppliedNarrowings: (ctx: ProgramContext, narrowings: readonly TypeNarrowing[]) => ProgramContext;
+export type { TypeNarrowing } from "./narrowing-resolvers.js";
+export { collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr, withAppliedNarrowings, withAssignedAccessPathType, } from "./narrowing-collection.js";
 //# sourceMappingURL=flow-narrowing.d.ts.map

package/dist/ir/converters/flow-narrowing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"flow-narrowing.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/flow-narrowing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAoWF;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,KAClB,SAAS,aAAa,EAyBxB,CAAC;AAyIF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,KAClB,SAAS,aAAa,EAOxB,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,KAAK,cAAc,EACnB,YAAY,SAAS,aAAa,EAAE,KACnC,cAQF,CAAC"}
+{"version":3,"file":"flow-narrowing.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/flow-narrowing.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EACL,iCAAiC,EACjC,gCAAgC,EAChC,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,2BAA2B,CAAC"}