@tsonic/frontend 0.0.13 → 0.0.15

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

@@ -2,7 +2,7 @@
  * Expression converters barrel exports
  */
 // Helpers
-export { getInferredType, getSourceSpan, extractTypeArguments, checkIfRequiresSpecialization, convertBinaryOperator, isAssignmentOperator, } from "./helpers.js";
+export { getSourceSpan, extractTypeArguments, checkIfRequiresSpecialization, convertBinaryOperator, isAssignmentOperator, deriveIdentifierType, } from "./helpers.js";
 // Literals
 export { convertLiteral } from "./literals.js";
 // Collections

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,UAAU;AACV,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,EACpB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,WAAW;AACX,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,cAAc;AACd,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7E,gBAAgB;AAChB,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAEtD,QAAQ;AACR,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEzE,YAAY;AACZ,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AAExB,YAAY;AACZ,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAExB,QAAQ;AACR,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,UAAU;AACV,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,WAAW;AACX,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,cAAc;AACd,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7E,gBAAgB;AAChB,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAEtD,QAAQ;AACR,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEzE,YAAY;AACZ,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AAExB,YAAY;AACZ,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAExB,QAAQ;AACR,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,YAAY,CAAC"}

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

@@ -1,24 +1,24 @@
 /**
  * Literal expression converters
  *
- * Numeric literals get numericIntent attached based on their lexeme:
- * - Integer literals (42, 0xFF) → Int32
- * - Floating literals (42.0, 3.14, 1e3) → Double
+ * DETERMINISTIC TYPING: Literal types are derived from lexeme form, NOT TypeScript.
  *
- * IMPORTANT: numericIntent is expression-level, NOT type-level.
- * The inferredType remains unchanged (number → double semantically).
- * The numericIntent field on the expression enables:
- * 1. Emitter to emit `42` vs `42.0` appropriately
- * 2. Coercion pass to detect int→double conversions
+ * Numeric literals:
+ * - Integer literals (42, 0xFF) → Int32 → inferredType: int
+ * - Floating literals (42.0, 3.14, 1e3) → Double → inferredType: double
+ *
+ * String literals → inferredType: string
+ * Boolean literals → inferredType: boolean (handled elsewhere)
  */
 import * as ts from "typescript";
 import { IrLiteralExpression } from "../../types.js";
+import type { ProgramContext } from "../../program-context.js";
 /**
  * Convert string or numeric literal
  *
- * For numeric literals, attaches numericIntent directly on the expression
- * based on the raw lexeme. This is expression-level information that does
- * NOT modify the inferredType (which remains "number" = double semantically).
+ * DETERMINISTIC TYPING: inferredType is derived from the literal value itself,
+ * NOT from TypeScript's type checker. This ensures consistent typing regardless
+ * of contextual type.
  */
-export declare const convertLiteral: (node: ts.StringLiteral | ts.NumericLiteral, checker: ts.TypeChecker) => IrLiteralExpression;
+export declare const convertLiteral: (node: ts.StringLiteral | ts.NumericLiteral, _ctx: ProgramContext) => IrLiteralExpression;
 //# sourceMappingURL=literals.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAIrD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,cAAc,EAC1C,SAAS,EAAE,CAAC,WAAW,KACtB,mBAeF,CAAC"}
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAU,MAAM,gBAAgB,CAAC;AAI7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AA+B/D;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,cAAc,EAC1C,MAAM,cAAc,KACnB,mBA2BF,CAAC"}

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

@@ -1,38 +1,83 @@
 /**
  * Literal expression converters
  *
- * Numeric literals get numericIntent attached based on their lexeme:
- * - Integer literals (42, 0xFF) → Int32
- * - Floating literals (42.0, 3.14, 1e3) → Double
+ * DETERMINISTIC TYPING: Literal types are derived from lexeme form, NOT TypeScript.
  *
- * IMPORTANT: numericIntent is expression-level, NOT type-level.
- * The inferredType remains unchanged (number → double semantically).
- * The numericIntent field on the expression enables:
- * 1. Emitter to emit `42` vs `42.0` appropriately
- * 2. Coercion pass to detect int→double conversions
+ * Numeric literals:
+ * - Integer literals (42, 0xFF) → Int32 → inferredType: int
+ * - Floating literals (42.0, 3.14, 1e3) → Double → inferredType: double
+ *
+ * String literals → inferredType: string
+ * Boolean literals → inferredType: boolean (handled elsewhere)
  */
 import * as ts from "typescript";
-import { getInferredType, getSourceSpan } from "./helpers.js";
+import { getSourceSpan } from "./helpers.js";
 import { inferNumericKindFromRaw } from "../../types/numeric-helpers.js";
+/**
+ * Derive inferredType from numericIntent (deterministic, no TypeScript).
+ */
+const deriveTypeFromNumericIntent = (numericIntent) => {
+    if (numericIntent === "Int32") {
+        return { kind: "referenceType", name: "int" };
+    }
+    else if (numericIntent === "Double") {
+        return { kind: "primitiveType", name: "number" };
+    }
+    else if (numericIntent === "Int64") {
+        return { kind: "referenceType", name: "long" };
+    }
+    else if (numericIntent === "Single") {
+        return { kind: "referenceType", name: "float" };
+    }
+    else if (numericIntent === "Byte") {
+        return { kind: "referenceType", name: "byte" };
+    }
+    else if (numericIntent === "Int16") {
+        return { kind: "referenceType", name: "short" };
+    }
+    else if (numericIntent === "UInt32") {
+        return { kind: "referenceType", name: "uint" };
+    }
+    else if (numericIntent === "UInt64") {
+        return { kind: "referenceType", name: "ulong" };
+    }
+    else if (numericIntent === "UInt16") {
+        return { kind: "referenceType", name: "ushort" };
+    }
+    else if (numericIntent === "SByte") {
+        return { kind: "referenceType", name: "sbyte" };
+    }
+    // Default to double for unknown
+    return { kind: "primitiveType", name: "number" };
+};
 /**
  * Convert string or numeric literal
  *
- * For numeric literals, attaches numericIntent directly on the expression
- * based on the raw lexeme. This is expression-level information that does
- * NOT modify the inferredType (which remains "number" = double semantically).
+ * DETERMINISTIC TYPING: inferredType is derived from the literal value itself,
+ * NOT from TypeScript's type checker. This ensures consistent typing regardless
+ * of contextual type.
  */
-export const convertLiteral = (node, checker) => {
+export const convertLiteral = (node, _ctx) => {
     const raw = node.getText();
     const value = ts.isStringLiteral(node) ? node.text : Number(node.text);
+    // For numeric literals, derive type from lexeme form
+    const numericIntent = typeof value === "number" ? inferNumericKindFromRaw(raw) : undefined;
+    // Derive inferredType deterministically (no TypeScript)
+    // - String literals → string
+    // - Numeric literals with numericIntent → derived from intent
+    // - Unknown → undefined (let caller handle)
+    const inferredType = typeof value === "string"
+        ? { kind: "primitiveType", name: "string" }
+        : numericIntent
+            ? deriveTypeFromNumericIntent(numericIntent)
+            : undefined;
     return {
         kind: "literal",
         value,
         raw,
-        inferredType: getInferredType(node, checker),
+        inferredType,
         sourceSpan: getSourceSpan(node),
-        // For numeric literals, infer numeric kind from lexeme form
-        // This is expression-level, not type-level
-        numericIntent: typeof value === "number" ? inferNumericKindFromRaw(raw) : undefined,
+        numericIntent,
     };
 };
 //# sourceMappingURL=literals.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAA0C,EAC1C,OAAuB,EACF,EAAE;IACvB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,GAAG;QACH,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;QAC5C,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;QAC/B,4DAA4D;QAC5D,2CAA2C;QAC3C,aAAa,EACX,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;KACvE,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAIzE;;GAEG;AACH,MAAM,2BAA2B,GAAG,CAAC,aAA0B,EAAU,EAAE;IACzE,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;SAAM,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;SAAM,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;SAAM,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClD,CAAC;SAAM,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;SAAM,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClD,CAAC;SAAM,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;SAAM,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClD,CAAC;SAAM,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;SAAM,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClD,CAAC;IACD,gCAAgC;IAChC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAA0C,EAC1C,IAAoB,EACC,EAAE;IACvB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEvE,qDAAqD;IACrD,MAAM,aAAa,GACjB,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvE,wDAAwD;IACxD,6BAA6B;IAC7B,8DAA8D;IAC9D,4CAA4C;IAC5C,MAAM,YAAY,GAChB,OAAO,KAAK,KAAK,QAAQ;QACvB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC3C,CAAC,CAAC,aAAa;YACb,CAAC,CAAC,2BAA2B,CAAC,aAAa,CAAC;YAC5C,CAAC,CAAC,SAAS,CAAC;IAElB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,GAAG;QACH,YAAY;QACZ,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;QAC/B,aAAa;KACd,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/numeric-recovery.test.d.ts

@@ -5,10 +5,13 @@
  * we recover the original numeric intent from the declaration AST.
  *
  * These tests verify:
- * - Property access recovery (arr.length → int)
- * - Call return type recovery (arr.indexOf() → int)
+ * - Property access recovery (arr.length, string.length → int)
+ * - Call return type recovery (string.indexOf() → int)
  * - Negative cases (plain number stays number)
  * - Guardrails (unions, complex types are NOT recovered)
+ *
+ * Note: .NET arrays don't have indexOf method (use Array.IndexOf or LINQ).
+ * String has indexOf from System.String.
  */
 export {};
 //# sourceMappingURL=numeric-recovery.test.d.ts.map

package/dist/ir/converters/expressions/numeric-recovery.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"numeric-recovery.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/numeric-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}
+{"version":3,"file":"numeric-recovery.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/numeric-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG"}

package/dist/ir/converters/expressions/numeric-recovery.test.js

@@ -5,10 +5,13 @@
  * we recover the original numeric intent from the declaration AST.
  *
  * These tests verify:
- * - Property access recovery (arr.length → int)
- * - Call return type recovery (arr.indexOf() → int)
+ * - Property access recovery (arr.length, string.length → int)
+ * - Call return type recovery (string.indexOf() → int)
  * - Negative cases (plain number stays number)
  * - Guardrails (unions, complex types are NOT recovered)
+ *
+ * Note: .NET arrays don't have indexOf method (use Array.IndexOf or LINQ).
+ * String has indexOf from System.String.
  */
 import { describe, it } from "mocha";
 import { expect } from "chai";
@@ -22,12 +25,11 @@ const __dirname = path.dirname(__filename);
 // From dist/ir/converters/expressions/ go up to packages/frontend/, then up 2 more to monorepo root
 const monorepoRoot = path.resolve(__dirname, "../../../../../..");
 const globalsPath = path.join(monorepoRoot, "node_modules/@tsonic/globals");
-const jsGlobalsPath = path.join(monorepoRoot, "node_modules/@tsonic/js-globals");
 const corePath = path.join(monorepoRoot, "node_modules/@tsonic/core");
 /**
- * Helper to compile TypeScript code with js-globals and extract IR
+ * Helper to compile TypeScript code with globals and extract IR
  */
-const compileWithJsGlobals = (code) => {
+const compileWithGlobals = (code) => {
     const tmpDir = `/tmp/numeric-recovery-test-${Date.now()}`;
     fs.mkdirSync(tmpDir, { recursive: true });
     const filePath = path.join(tmpDir, "test.ts");
@@ -36,7 +38,7 @@ const compileWithJsGlobals = (code) => {
         projectRoot: monorepoRoot,
         sourceRoot: tmpDir,
         rootNamespace: "Test",
-        typeRoots: [globalsPath, jsGlobalsPath, corePath],
+        typeRoots: [globalsPath, corePath],
     });
     if (!compileResult.ok) {
         const errorMsg = compileResult.error.diagnostics
@@ -130,7 +132,8 @@ const findExpression = (modules, predicate) => {
     }
     return undefined;
 };
-describe("Declaration-Based Numeric Intent Recovery", () => {
+describe("Declaration-Based Numeric Intent Recovery", function () {
+    this.timeout(10000);
     describe("Property Access Recovery", () => {
         it("should recover 'int' from arr.length property declaration", () => {
             const code = `
@@ -138,13 +141,15 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
           return arr.length;
         }
       `;
-            const { modules, ok } = compileWithJsGlobals(code);
+            const { modules, ok } = compileWithGlobals(code);
             expect(ok).to.be.true;
             // Find arr.length member expression
             const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
             expect(lengthExpr).to.not.be.undefined;
+            // CLR numeric types are represented as primitiveType in IR
+            // (see primitives.ts: "When user writes `: int`, it becomes primitiveType(name='int')")
             expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "referenceType",
+                kind: "primitiveType",
                 name: "int",
             });
         });
@@ -154,27 +159,30 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
           return s.length;
         }
       `;
-            const { modules, ok } = compileWithJsGlobals(code);
+            const { modules, ok } = compileWithGlobals(code);
             expect(ok).to.be.true;
             // Find s.length member expression
             const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
             expect(lengthExpr).to.not.be.undefined;
+            // CLR numeric types are represented as primitiveType in IR
             expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "referenceType",
+                kind: "primitiveType",
                 name: "int",
             });
         });
     });
     describe("Call Return Type Recovery", () => {
-        it("should recover 'int' from arr.indexOf() return type", () => {
+        it("should recover 'int' from string.indexOf() return type", () => {
+            // Note: Using string.indexOf() because .NET arrays don't have indexOf method
+            // (use Array.IndexOf static method or LINQ instead)
             const code = `
-        export function findIndex(arr: string[], item: string): number {
-          return arr.indexOf(item);
+        export function findIndex(str: string, search: string): number {
+          return str.indexOf(search);
         }
       `;
-            const { modules, ok } = compileWithJsGlobals(code);
+            const { modules, ok } = compileWithGlobals(code);
             expect(ok).to.be.true;
-            // Find arr.indexOf() call expression
+            // Find str.indexOf() call expression
             const indexOfCall = findExpression(modules, (expr) => {
                 if (expr.kind !== "call")
                     return false;
@@ -183,30 +191,10 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
                 return expr.callee.property === "indexOf";
             });
             expect(indexOfCall).to.not.be.undefined;
+            // CLR numeric types are represented as primitiveType in IR
+            // (see primitives.ts: "When user writes `: int`, it becomes primitiveType(name='int')")
             expect(indexOfCall?.inferredType).to.deep.equal({
-                kind: "referenceType",
-                name: "int",
-            });
-        });
-        it("should recover 'int' from arr.lastIndexOf() return type", () => {
-            const code = `
-        export function findLast(arr: string[], item: string): number {
-          return arr.lastIndexOf(item);
-        }
-      `;
-            const { modules, ok } = compileWithJsGlobals(code);
-            expect(ok).to.be.true;
-            // Find arr.lastIndexOf() call expression
-            const lastIndexOfCall = findExpression(modules, (expr) => {
-                if (expr.kind !== "call")
-                    return false;
-                if (expr.callee.kind !== "memberAccess")
-                    return false;
-                return expr.callee.property === "lastIndexOf";
-            });
-            expect(lastIndexOfCall).to.not.be.undefined;
-            expect(lastIndexOfCall?.inferredType).to.deep.equal({
-                kind: "referenceType",
+                kind: "primitiveType",
                 name: "int",
             });
         });
@@ -218,14 +206,15 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
           const len: number = arr.length;
         }
       `;
-            const { modules, ok } = compileWithJsGlobals(code);
+            const { modules, ok } = compileWithGlobals(code);
             expect(ok).to.be.true;
             // Find arr.length member expression
             const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
             expect(lengthExpr).to.not.be.undefined;
             // The arr.length expression itself should have int, regardless of target
+            // CLR numeric types are represented as primitiveType in IR
             expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "referenceType",
+                kind: "primitiveType",
                 name: "int",
             });
         });
@@ -242,7 +231,7 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
           return arr[arr.length - 1];
         }
       `;
-            const { modules, ok, error } = compileWithJsGlobals(code);
+            const { modules, ok, error } = compileWithGlobals(code);
             expect(ok, `Compile failed: ${error}`).to.be.true;
             expect(modules.length).to.be.greaterThan(0);
             // Run numeric proof pass - this should NOT produce TSN5107
@@ -253,15 +242,16 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
             // The proof pass should succeed (or have only non-blocking diagnostics)
             expect(proofResult.ok, `Proof pass failed: ${proofResult.diagnostics.map((d) => `${d.code}: ${d.message}`).join("; ")}`).to.be.true;
         });
-        it("should pass numeric proof for arr.indexOf() as index", () => {
-            // Another common pattern: using indexOf result as array index
+        it("should pass numeric proof for string.indexOf() as index", () => {
+            // Using string.indexOf() result as string char index
+            // Note: .NET arrays don't have indexOf method, use string instead
             const code = `
-        export function getAtIndex(arr: string[], search: string): string {
-          const idx = arr.indexOf(search);
-          return arr[idx];
+        export function getCharAtIndex(str: string, search: string): string {
+          const idx = str.indexOf(search);
+          return str[idx];
         }
       `;
-            const { modules, ok, error } = compileWithJsGlobals(code);
+            const { modules, ok, error } = compileWithGlobals(code);
             expect(ok, `Compile failed: ${error}`).to.be.true;
             const proofResult = runNumericProofPass(modules);
             const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
@@ -275,7 +265,7 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
           return arr[arr.length - 2];
         }
       `;
-            const { modules, ok, error } = compileWithJsGlobals(code);
+            const { modules, ok, error } = compileWithGlobals(code);
             expect(ok, `Compile failed: ${error}`).to.be.true;
             const proofResult = runNumericProofPass(modules);
             const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
@@ -283,5 +273,28 @@ describe("Declaration-Based Numeric Intent Recovery", () => {
             expect(proofResult.ok).to.be.true;
         });
     });
+    // Note: User-defined function return type recovery is tested through E2E tests
+    // (test/fixtures/*) which have proper node_modules setup for @tsonic/core imports.
+    // The unit tests here focus on built-in globals (arr.length, string.indexOf, etc.)
+    describe("Chained Call Type Recovery", () => {
+        it("should recover correct type through method chain", () => {
+            // str.substring() returns string, then .length returns int
+            // Note: .length is declared as int in globals, no import needed
+            const code = `
+        export function getSubLength(s: string): number {
+          return s.substring(0, 5).length;
+        }
+      `;
+            const { modules, ok, error } = compileWithGlobals(code);
+            expect(ok, `Compile failed: ${error}`).to.be.true;
+            // Find .length member expression at end of chain
+            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
+            expect(lengthExpr).to.not.be.undefined;
+            expect(lengthExpr?.inferredType).to.deep.equal({
+                kind: "primitiveType",
+                name: "int",
+            });
+        });
+    });
 });
 //# sourceMappingURL=numeric-recovery.test.js.map

package/dist/ir/converters/expressions/numeric-recovery.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"numeric-recovery.test.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/numeric-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAG3C,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAC3C,oGAAoG;AACpG,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;AAClE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAC7B,YAAY,EACZ,iCAAiC,CAClC,CAAC;AACF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;AAEtE;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAY,EACmD,EAAE;IACjE,MAAM,MAAM,GAAG,8BAA8B,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAC1D,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9C,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEjC,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE;QACxC,WAAW,EAAE,YAAY;QACzB,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,MAAM;QACrB,SAAS,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,QAAQ,CAAC;KAClD,CAAC,CAAC;IAEH,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW;aAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE;QACpD,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,MAAM;KACtB,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;aAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,OAA4B,EAC5B,SAA0C,EAChB,EAAE;IAC5B,MAAM,eAAe,GAAG,CAAC,IAAkB,EAA4B,EAAE;QACvE,IAAI,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAEjC,uCAAuC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YAC1B,qDAAqD;YACrD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAClD,IAAI,UAAU;oBAAE,OAAO,UAAU,CAAC;YACpC,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;oBACvC,IAAI,SAAS;wBAAE,OAAO,SAAS,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC;YAClC,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,WAAW;gBAAE,OAAO,WAAW,CAAC;QACtC,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBACjD,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACrD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;oBAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;wBAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;wBACpD,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;oBACD,IAAI,QAAQ,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;4BACzC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gCACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gCACjD,IAAI,MAAM;oCAAE,OAAO,MAAM,CAAC;4BAC5B,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,oCAAoC;YACpC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,kCAAkC;YAClC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,qCAAqC;YACrC,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBACtD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACxC,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,yCAAyC;YACzC,MAAM,eAAe,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACvD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBACtD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,aAAa,CAAC;YAChD,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YAC5C,MAAM,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAClD,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,oCAAoC;YACpC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,yEAAyE;YACzE,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,gEAAgE;YAChE,wCAAwC;YACxC,0BAA0B;YAC1B,gDAAgD;YAChD,6CAA6C;YAC7C,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAClD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YAE5C,2DAA2D;YAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,oEAAoE;YACpE,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,wEAAwE;YACxE,MAAM,CACJ,WAAW,CAAC,EAAE,EACd,sBAAsB,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,8DAA8D;YAC9D,MAAM,IAAI,GAAG;;;;;OAKZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,sEAAsE;YACtE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"numeric-recovery.test.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/numeric-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAG3C,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAC3C,oGAAoG;AACpG,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;AAClE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;AAEtE;;GAEG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACmD,EAAE;IACjE,MAAM,MAAM,GAAG,8BAA8B,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAC1D,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9C,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEjC,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE;QACxC,WAAW,EAAE,YAAY;QACzB,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,MAAM;QACrB,SAAS,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;KACnC,CAAC,CAAC;IAEH,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW;aAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE;QACpD,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,MAAM;KACtB,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;aAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,OAA4B,EAC5B,SAA0C,EAChB,EAAE;IAC5B,MAAM,eAAe,GAAG,CAAC,IAAkB,EAA4B,EAAE;QACvE,IAAI,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAEjC,uCAAuC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YAC1B,qDAAqD;YACrD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAClD,IAAI,UAAU;oBAAE,OAAO,UAAU,CAAC;YACpC,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;oBACvC,IAAI,SAAS;wBAAE,OAAO,SAAS,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC;YAClC,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,WAAW;gBAAE,OAAO,WAAW,CAAC;QACtC,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBACjD,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACrD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;oBAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;wBAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;wBACpD,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;oBACD,IAAI,QAAQ,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;4BACzC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gCACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gCACjD,IAAI,MAAM;oCAAE,OAAO,MAAM,CAAC;4BAC5B,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,QAAQ,CAAC,2CAA2C,EAAE;IACpD,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IACrB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,oCAAoC;YACpC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,2DAA2D;YAC3D,wFAAwF;YACxF,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,kCAAkC;YAClC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,2DAA2D;YAC3D,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,6EAA6E;YAC7E,oDAAoD;YACpD,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,qCAAqC;YACrC,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBACtD,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACxC,2DAA2D;YAC3D,wFAAwF;YACxF,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAEtB,oCAAoC;YACpC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,yEAAyE;YACzE,2DAA2D;YAC3D,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,gEAAgE;YAChE,wCAAwC;YACxC,0BAA0B;YAC1B,gDAAgD;YAChD,6CAA6C;YAC7C,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAClD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YAE5C,2DAA2D;YAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,oEAAoE;YACpE,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,wEAAwE;YACxE,MAAM,CACJ,WAAW,CAAC,EAAE,EACd,sBAAsB,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,qDAAqD;YACrD,kEAAkE;YAClE,MAAM,IAAI,GAAG;;;;;OAKZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,sEAAsE;YACtE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YAEF,MAAM,CACJ,aAAa,CAAC,MAAM,EACpB,uCAAuC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAEd,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAC/E,mFAAmF;IACnF,mFAAmF;IAEnF,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,2DAA2D;YAC3D,gEAAgE;YAChE,MAAM,IAAI,GAAG;;;;OAIZ,CAAC;YAEF,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,EAAE,mBAAmB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAElD,iDAAiD;YACjD,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAC7D,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC7C,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -2,17 +2,26 @@
  * Operator expression converters (binary, unary, update, assignment)
  */
 import * as ts from "typescript";
-import { IrExpression, IrUnaryExpression, IrUpdateExpression } from "../../types.js";
+import { IrExpression, IrUnaryExpression, IrUpdateExpression, IrType } from "../../types.js";
+import type { ProgramContext } from "../../program-context.js";
 /**
  * Convert binary expression (including logical and assignment)
+ *
+ * Threads expectedType through:
+ * - Assignment RHS: gets LHS type
+ * - Nullish coalescing (??): RHS gets expectedType (fallback value)
+ * - Logical OR (||): RHS gets expectedType (fallback value)
  */
-export declare const convertBinaryExpression: (node: ts.BinaryExpression, checker: ts.TypeChecker) => IrExpression;
+export declare const convertBinaryExpression: (node: ts.BinaryExpression, ctx: ProgramContext, expectedType?: IrType) => IrExpression;
 /**
  * Convert prefix unary expression
  */
-export declare const convertUnaryExpression: (node: ts.PrefixUnaryExpression, checker: ts.TypeChecker) => IrUnaryExpression | IrUpdateExpression;
+export declare const convertUnaryExpression: (node: ts.PrefixUnaryExpression, ctx: ProgramContext) => IrUnaryExpression | IrUpdateExpression;
 /**
  * Convert postfix unary expression (++ or --)
+ *
+ * DETERMINISTIC TYPING: Result type derived from operand type.
+ * ++/-- return same type as operand (int → int, number → number)
  */
-export declare const convertUpdateExpression: (node: ts.PostfixUnaryExpression | ts.PrefixUnaryExpression, checker: ts.TypeChecker) => IrUpdateExpression;
+export declare const convertUpdateExpression: (node: ts.PostfixUnaryExpression | ts.PrefixUnaryExpression, ctx: ProgramContext) => IrUpdateExpression;
 //# sourceMappingURL=operators.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAGnB,MAAM,gBAAgB,CAAC;AASxB;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,gBAAgB,EACzB,SAAS,EAAE,CAAC,WAAW,KACtB,YA4CF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,qBAAqB,EAC9B,SAAS,EAAE,CAAC,WAAW,KACtB,iBAAiB,GAAG,kBA4CtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,sBAAsB,GAAG,EAAE,CAAC,qBAAqB,EAC1D,SAAS,EAAE,CAAC,WAAW,KACtB,kBA+BF,CAAC"}
+{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAGlB,MAAM,EACP,MAAM,gBAAgB,CAAC;AAcxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAyJ/D;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,gBAAgB,EACzB,KAAK,cAAc,EACnB,eAAe,MAAM,KACpB,YAqEF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,qBAAqB,EAC9B,KAAK,cAAc,KAClB,iBAAiB,GAAG,kBAiDtB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,sBAAsB,GAAG,EAAE,CAAC,qBAAqB,EAC1D,KAAK,cAAc,KAClB,kBA0CF,CAAC"}