@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/operators/assignment-emitter.js

@@ -2,9 +2,15 @@
  * Assignment operator expression emitter
  */
 import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
 import { emitRemappedLocalName } from "../../core/format/local-names.js";
 import { lowerAssignmentPatternAst } from "../../patterns.js";
 import { hasInt32Proof } from "./helpers.js";
+import { emitWritableTargetAst } from "./write-targets.js";
+import { getTypedArrayStorageElementType } from "../calls/new-emitter-collections.js";
+import { maybeCastNumericToExpectedIntegralAst } from "../post-emission-adaptation.js";
+import { resolveWritableTargetStorageType } from "../../core/semantic/assignment-flow.js";
+import { buildInvokedLambdaExpressionAst } from "../invoked-lambda.js";
 /**
  * Emit an assignment expression as CSharpExpressionAst
  *
@@ -12,13 +18,15 @@ import { hasInt32Proof } from "./helpers.js";
  * literal emission for cases like `this.value = this.value + 1`.
  */
 export const emitAssignment = (expr, context) => {
-    // Array element assignment uses native CLR indexer
-    // HARD GATE: Index must be proven Int32 (validated by proof pass)
+    // Array element assignment uses native CLR indexer.
+    // Protocol-backed source indexers route through explicit member calls.
     if (expr.operator === "=" &&
         "kind" in expr.left &&
         expr.left.kind === "memberAccess" &&
         expr.left.isComputed &&
-        expr.left.object.inferredType?.kind === "arrayType") {
+        (expr.left.object.inferredType?.kind === "arrayType" ||
+            !!getTypedArrayStorageElementType(expr.left.object.inferredType) ||
+            !!expr.left.accessProtocol?.setterMember)) {
         const leftExpr = expr.left;
         const indexExpr = leftExpr.property;
         if (!hasInt32Proof(indexExpr)) {
@@ -28,11 +36,57 @@ export const emitAssignment = (expr, context) => {
         }
         const [objectAst, objectContext] = emitExpressionAst(leftExpr.object, context);
         const [indexAst, indexContext] = emitExpressionAst(indexExpr, objectContext);
-        const expectedArrayType = leftExpr.object.inferredType;
-        if (!expectedArrayType || expectedArrayType.kind !== "arrayType") {
-            throw new Error("Internal Compiler Error: array element assignment reached emitter without an array LHS type.");
+        const typedArrayStorageElementType = getTypedArrayStorageElementType(leftExpr.object.inferredType);
+        const expectedElementType = leftExpr.object.inferredType?.kind === "arrayType"
+            ? leftExpr.object.inferredType.elementType
+            : (typedArrayStorageElementType ?? leftExpr.inferredType);
+        if (!expectedElementType) {
+            throw new Error("Internal Compiler Error: Writable computed access reached emitter without an element type.");
+        }
+        const [rightAst, rightContext] = emitExpressionAst(expr.right, indexContext, expectedElementType);
+        const numericAssignmentActualType = (expr.right.inferredType?.kind === "literalType" &&
+            typeof expr.right.inferredType.value === "number") ||
+            (expr.right.kind === "literal" && typeof expr.right.value === "number")
+            ? { kind: "primitiveType", name: "number" }
+            : expr.right.inferredType;
+        const [adaptedRightAst, adaptedRightContext] = numericAssignmentActualType && expectedElementType.kind !== "arrayType"
+            ? maybeCastNumericToExpectedIntegralAst(rightAst, numericAssignmentActualType, rightContext, expectedElementType)
+            : [rightAst, rightContext];
+        if (leftExpr.accessProtocol?.setterMember) {
+            const [returnTypeAst] = emitTypeAst(expectedElementType, adaptedRightContext);
+            const setterCall = {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: objectAst,
+                    memberName: leftExpr.accessProtocol.setterMember,
+                },
+                arguments: [indexAst, adaptedRightAst],
+            };
+            return [
+                buildInvokedLambdaExpressionAst({
+                    parameters: [],
+                    parameterTypes: [],
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: setterCall,
+                            },
+                            {
+                                kind: "returnStatement",
+                                expression: adaptedRightAst,
+                            },
+                        ],
+                    },
+                    arguments: [],
+                    returnType: returnTypeAst,
+                    context: adaptedRightContext,
+                }),
+                adaptedRightContext,
+            ];
         }
-        const [rightAst, rightContext] = emitExpressionAst(expr.right, indexContext, expectedArrayType.elementType);
         // Use native CLR indexer: arr[idx] = value
         return [
             {
@@ -43,9 +97,9 @@ export const emitAssignment = (expr, context) => {
                     expression: objectAst,
                     arguments: [indexAst],
                 },
-                right: rightAst,
+                right: adaptedRightAst,
             },
-            rightContext,
+            adaptedRightContext,
         ];
     }
     // Left side can be an expression or a pattern (for destructuring)
@@ -77,35 +131,28 @@ export const emitAssignment = (expr, context) => {
             leftType = pattern.type;
         }
         else {
-            // Compound assignment to array/object pattern - not valid in JS
-            leftAst = {
-                kind: "identifierExpression",
-                identifier: "/* invalid compound destructuring */",
-            };
-            leftContext = context;
+            throw new Error("ICE: Compound assignment to array/object destructuring pattern reached emitter. " +
+                "Validation should have rejected this invalid JavaScript shape.");
         }
     }
     else {
         const leftExpr = expr.left;
-        // Narrowing maps (instanceof / nullable / union) apply to *reads*, not writes.
-        // For assignment, the LHS is written, so we must not rewrite identifier targets
-        // to narrowed bindings (e.g., C# pattern vars).
-        const leftCtx = leftExpr.kind === "identifier" &&
-            context.narrowedBindings?.has(leftExpr.name)
-            ? (() => {
-                const next = new Map(context.narrowedBindings);
-                next.delete(leftExpr.name);
-                return { ...context, narrowedBindings: next };
-            })()
-            : context;
-        const [emittedLeftAst, ctx] = emitExpressionAst(leftExpr, leftCtx);
+        const [emittedLeftAst, ctx] = emitWritableTargetAst(leftExpr, context);
         leftAst = emittedLeftAst;
-        // Restore narrowing for RHS emission (reads) when we suppressed it for the LHS.
-        leftContext =
-            leftCtx !== context
-                ? { ...ctx, narrowedBindings: context.narrowedBindings }
-                : ctx;
-        leftType = leftExpr.inferredType;
+        leftContext = ctx;
+        if (leftExpr.kind === "identifier") {
+            leftType =
+                resolveWritableTargetStorageType(leftExpr, ctx) ??
+                    leftExpr.inferredType;
+        }
+        else if (leftExpr.kind === "memberAccess" && !leftExpr.isComputed) {
+            leftType =
+                resolveWritableTargetStorageType(leftExpr, ctx) ??
+                    leftExpr.inferredType;
+        }
+        else {
+            leftType = leftExpr.inferredType;
+        }
     }
     // Pass LHS type as expected type to RHS for proper integer handling
     const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext, leftType);

package/dist/expressions/operators/assignment-emitter.js.map

@@ -1 +1 @@
-{"version":3,"file":"assignment-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/assignment-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACgB,EAAE;IACzC,mDAAmD;IACnD,kEAAkE;IAClE,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;QACrB,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;QACjC,IAAI,CAAC,IAAI,CAAC,UAAU;QACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,WAAW,EACnD,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAGrB,CAAC;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAwB,CAAC;QAEpD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,sEAAsE;YACtE,MAAM,IAAI,KAAK,CACb,6DAA6D;gBAC3D,mEAAmE,CACtE,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,QAAQ,CAAC,MAAM,EACf,OAAO,CACR,CAAC;QACF,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,SAAS,EACT,aAAa,CACd,CAAC;QACF,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC;QACvD,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjE,MAAM,IAAI,KAAK,CACb,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,YAAY,EACZ,iBAAiB,CAAC,WAAW,CAC9B,CAAC;QAEF,2CAA2C;QAC3C,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE;oBACJ,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,SAAS;oBACrB,SAAS,EAAE,CAAC,QAAQ,CAAC;iBACtB;gBACD,KAAK,EAAE,QAAQ;aAChB;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,MAAM,SAAS,GACb,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAExC,8DAA8D;IAC9D,IAAI,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAiB,CAAC;QAEvC,qBAAqB;QACrB,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,yBAAyB,CACtC,OAAO,EACP,QAAQ,EACR,IAAI,CAAC,KAAK,CAAC,YAAY,EACvB,YAAY,CACb,CAAC;QAEF,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,gDAAgD;IAChD,IAAI,OAA4B,CAAC;IACjC,IAAI,WAA2B,CAAC;IAChC,IAAI,QAA4B,CAAC;IAEjC,IAAI,SAAS,EAAE,CAAC;QACd,yDAAyD;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAiB,CAAC;QACvC,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACzC,OAAO,GAAG;gBACR,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;aACzD,CAAC;YACF,WAAW,GAAG,OAAO,CAAC;YACtB,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,gEAAgE;YAChE,OAAO,GAAG;gBACR,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,sCAAsC;aACnD,CAAC;YACF,WAAW,GAAG,OAAO,CAAC;QACxB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAoB,CAAC;QAC3C,+EAA+E;QAC/E,gFAAgF;QAChF,gDAAgD;QAChD,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,KAAK,YAAY;YAC9B,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;gBAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC3B,OAAO,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;YAChD,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,OAAO,CAAC;QAEd,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnE,OAAO,GAAG,cAAc,CAAC;QACzB,gFAAgF;QAChF,WAAW;YACT,OAAO,KAAK,OAAO;gBACjB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE;gBACxD,CAAC,CAAC,GAAG,CAAC;QACV,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,WAAW,EACX,QAAQ,CACT,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,QAAQ;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"assignment-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/assignment-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAAE,qCAAqC,EAAE,MAAM,gCAAgC,CAAC;AACvF,OAAO,EAAE,gCAAgC,EAAE,MAAM,wCAAwC,CAAC;AAE1F,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACgB,EAAE;IACzC,oDAAoD;IACpD,uEAAuE;IAEvE,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;QACrB,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;QACjC,IAAI,CAAC,IAAI,CAAC,UAAU;QACpB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,WAAW;YAClD,CAAC,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;YAChE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,YAAY,CAAC,EAC3C,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAGrB,CAAC;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAwB,CAAC;QAEpD,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,sEAAsE;YACtE,MAAM,IAAI,KAAK,CACb,6DAA6D;gBAC3D,mEAAmE,CACtE,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,QAAQ,CAAC,MAAM,EACf,OAAO,CACR,CAAC;QACF,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,SAAS,EACT,aAAa,CACd,CAAC;QACF,MAAM,4BAA4B,GAAG,+BAA+B,CAClE,QAAQ,CAAC,MAAM,CAAC,YAAY,CAC7B,CAAC;QACF,MAAM,mBAAmB,GACvB,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,WAAW;YAChD,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,WAAW;YAC1C,CAAC,CAAC,CAAC,4BAA4B,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC9D,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,4FAA4F,CAC7F,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,YAAY,EACZ,mBAAmB,CACpB,CAAC;QACF,MAAM,2BAA2B,GAC/B,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,KAAK,aAAa;YAC9C,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,KAAK,QAAQ,CAAC;YACpD,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC;YACrE,CAAC,CAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY;YACtD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QAC9B,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAC1C,2BAA2B,IAAI,mBAAmB,CAAC,IAAI,KAAK,WAAW;YACrE,CAAC,CAAC,qCAAqC,CACnC,QAAQ,EACR,2BAA2B,EAC3B,YAAY,EACZ,mBAAmB,CACpB;YACH,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAE/B,IAAI,QAAQ,CAAC,cAAc,EAAE,YAAY,EAAE,CAAC;YAC1C,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CACjC,mBAAmB,EACnB,mBAAmB,CACpB,CAAC;YACF,MAAM,UAAU,GAAwB;gBACtC,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,QAAQ,CAAC,cAAc,CAAC,YAAY;iBACjD;gBACD,SAAS,EAAE,CAAC,QAAQ,EAAE,eAAe,CAAC;aACvC,CAAC;YAEF,OAAO;gBACL,+BAA+B,CAAC;oBAC9B,UAAU,EAAE,EAAE;oBACd,cAAc,EAAE,EAAE;oBAClB,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE,UAAU;6BACvB;4BACD;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE,eAAe;6BAC5B;yBACF;qBACF;oBACD,SAAS,EAAE,EAAE;oBACb,UAAU,EAAE,aAAa;oBACzB,OAAO,EAAE,mBAAmB;iBAC7B,CAAC;gBACF,mBAAmB;aACpB,CAAC;QACJ,CAAC;QAED,2CAA2C;QAC3C,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE;oBACJ,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,SAAS;oBACrB,SAAS,EAAE,CAAC,QAAQ,CAAC;iBACtB;gBACD,KAAK,EAAE,eAAe;aACvB;YACD,mBAAmB;SACpB,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,MAAM,SAAS,GACb,MAAM,IAAI,IAAI,CAAC,IAAI;QACnB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;YACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAExC,8DAA8D;IAC9D,IAAI,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAiB,CAAC;QAEvC,qBAAqB;QACrB,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,yBAAyB,CACtC,OAAO,EACP,QAAQ,EACR,IAAI,CAAC,KAAK,CAAC,YAAY,EACvB,YAAY,CACb,CAAC;QAEF,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,gDAAgD;IAChD,IAAI,OAA4B,CAAC;IACjC,IAAI,WAA2B,CAAC;IAChC,IAAI,QAA4B,CAAC;IAEjC,IAAI,SAAS,EAAE,CAAC;QACd,yDAAyD;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAiB,CAAC;QACvC,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACzC,OAAO,GAAG;gBACR,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;aACzD,CAAC;YACF,WAAW,GAAG,OAAO,CAAC;YACtB,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,kFAAkF;gBAChF,gEAAgE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAoB,CAAC;QAC3C,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvE,OAAO,GAAG,cAAc,CAAC;QACzB,WAAW,GAAG,GAAG,CAAC;QAClB,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,QAAQ;gBACN,gCAAgC,CAAC,QAAQ,EAAE,GAAG,CAAC;oBAC/C,QAAQ,CAAC,YAAY,CAAC;QAC1B,CAAC;aAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpE,QAAQ;gBACN,gCAAgC,CAAC,QAAQ,EAAE,GAAG,CAAC;oBAC/C,QAAQ,CAAC,YAAY,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC;QACnC,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,WAAW,EACX,QAAQ,CACT,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,QAAQ;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/binary-dispatch.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Binary operator expression emitter — main dispatch function.
+ *
+ * Extracted from binary-emitter.ts — contains the emitBinary entry point
+ * that handles comparison, nullish, arithmetic, and standard binary operators.
+ * The `in` and `instanceof` special cases are delegated to binary-special-ops.ts.
+ *
+ * NEW NUMERIC SPEC:
+ * - Literals use raw lexeme (no contextual widening)
+ * - Integer casts only from IrCastExpression (not inferred from expectedType)
+ * - Binary ops: int op int = int, double op anything = double (C# semantics)
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+/**
+ * Emit a binary operator expression as CSharpExpressionAst
+ *
+ * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
+ * Literals use their raw lexeme - C# will naturally handle int + int = int,
+ * int + double = double, etc.
+ *
+ * Explicit casts come from IrCastExpression nodes (generated by type-checker
+ * when user intent allows int -> double coercion).
+ *
+ * STRING INDEXER FIX: In C#, string[int] returns char, not string.
+ * When comparing a string indexer result with a single-character string literal,
+ * we emit the string as a char literal to avoid CS0019 (char == string).
+ *
+ * @param expr - The binary expression
+ * @param context - Emitter context
+ * @param _expectedType - Currently unused
+ */
+export declare const emitBinary: (expr: Extract<IrExpression, {
+    kind: "binary";
+}>, context: EmitterContext, _expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=binary-dispatch.d.ts.map

package/dist/expressions/operators/binary-dispatch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary-dispatch.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/binary-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAwBhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAuDlF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,gBAAgB,MAAM,KACrB,CAAC,mBAAmB,EAAE,cAAc,CAyftC,CAAC"}