@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/object-literal-spreads.js

@@ -0,0 +1,188 @@
+/**
+ * Object literal spread/IIFE emission and behavioral type resolution.
+ *
+ * Handles object literals with spread properties (using IIFE pattern)
+ * and resolves behavioral object literal types by matching against
+ * synthesized anonymous classes.
+ */
+import { emitExpressionAst } from "../expression-emitter.js";
+import { getPropertyType } from "../core/semantic/type-resolution.js";
+import { allocateLocalName } from "../core/format/local-names.js";
+import { extractCalleeNameFromAst } from "../core/format/backend-ast/utils.js";
+import { buildInvokedLambdaExpressionAst } from "./invoked-lambda.js";
+import { emitObjectMemberName, getDeterministicObjectKeyName, getObjectTypePropertyNames, hasMatchingBehaviorMember, } from "./object-helpers.js";
+/**
+ * Emit an object literal with spreads using IIFE pattern.
+ */
+export const emitObjectWithSpreads = (expr, context, effectiveType, typeAst, targetType) => {
+    let currentContext = context;
+    const bodyStatements = [];
+    const objectThisContext = {
+        ...currentContext,
+        objectLiteralThisIdentifier: "__tmp",
+    };
+    // var __tmp = new TypeName()
+    const initStatement = {
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: { kind: "varType" },
+        declarators: [
+            {
+                name: "__tmp",
+                initializer: {
+                    kind: "objectCreationExpression",
+                    type: typeAst,
+                    arguments: [],
+                },
+            },
+        ],
+    };
+    bodyStatements.push(initStatement);
+    for (const prop of expr.properties) {
+        if (prop.kind === "spread") {
+            const [spreadStatements, newContext] = emitSpreadPropertyCopyStatements(targetType, prop.expression, currentContext);
+            bodyStatements.push(...spreadStatements);
+            currentContext = newContext;
+        }
+        else {
+            const keyName = getDeterministicObjectKeyName(prop.key);
+            if (!keyName) {
+                throw new Error("ICE: Unsupported computed property key reached spread object emission");
+            }
+            const key = emitObjectMemberName(targetType, keyName, currentContext);
+            const propertyExpectedType = getPropertyType(targetType ?? effectiveType, keyName, currentContext);
+            const [valueAst, newContext] = emitExpressionAst(prop.value, objectThisContext, propertyExpectedType);
+            bodyStatements.push({
+                kind: "expressionStatement",
+                expression: {
+                    kind: "assignmentExpression",
+                    operatorToken: "=",
+                    left: {
+                        kind: "memberAccessExpression",
+                        expression: { kind: "identifierExpression", identifier: "__tmp" },
+                        memberName: key,
+                    },
+                    right: valueAst,
+                },
+            });
+            currentContext = {
+                ...newContext,
+                objectLiteralThisIdentifier: currentContext.objectLiteralThisIdentifier,
+            };
+        }
+    }
+    // return __tmp
+    bodyStatements.push({
+        kind: "returnStatement",
+        expression: { kind: "identifierExpression", identifier: "__tmp" },
+    });
+    return [
+        buildInvokedLambdaExpressionAst({
+            parameters: [],
+            parameterTypes: [],
+            body: { kind: "blockStatement", statements: bodyStatements },
+            arguments: [],
+            returnType: typeAst,
+            context: currentContext,
+        }),
+        currentContext,
+    ];
+};
+/**
+ * Emit property copy assignments from a spread source as AST statements.
+ */
+const emitSpreadPropertyCopyStatements = (targetType, spreadExpr, context) => {
+    let currentContext = context;
+    const statements = [];
+    const spreadType = spreadExpr.inferredType;
+    if (!spreadType) {
+        const [exprAst] = emitExpressionAst(spreadExpr, currentContext);
+        const exprText = extractCalleeNameFromAst(exprAst);
+        throw new Error(`ICE: Object spread source '${exprText}' reached emitter without inferredType. ` +
+            "Validation/type conversion should preserve spread source shape before emission.");
+    }
+    const [sourceAst, sourceContext] = emitExpressionAst(spreadExpr, currentContext);
+    currentContext = sourceContext;
+    const sourceTemp = allocateLocalName("__spread", currentContext);
+    currentContext = sourceTemp.context;
+    statements.push({
+        kind: "localDeclarationStatement",
+        modifiers: [],
+        type: { kind: "varType" },
+        declarators: [
+            {
+                name: sourceTemp.emittedName,
+                initializer: sourceAst,
+            },
+        ],
+    });
+    const sourceRef = {
+        kind: "identifierExpression",
+        identifier: sourceTemp.emittedName,
+    };
+    const propertyNames = getObjectTypePropertyNames(spreadType, currentContext);
+    for (const propName of propertyNames) {
+        const targetMember = emitObjectMemberName(targetType, propName, currentContext);
+        const sourceMember = emitObjectMemberName(spreadType, propName, currentContext);
+        statements.push({
+            kind: "expressionStatement",
+            expression: {
+                kind: "assignmentExpression",
+                operatorToken: "=",
+                left: {
+                    kind: "memberAccessExpression",
+                    expression: { kind: "identifierExpression", identifier: "__tmp" },
+                    memberName: targetMember,
+                },
+                right: {
+                    kind: "memberAccessExpression",
+                    expression: sourceRef,
+                    memberName: sourceMember,
+                },
+            },
+        });
+    }
+    return [statements, currentContext];
+};
+export const resolveBehavioralObjectLiteralType = (expr, context) => {
+    if (!expr.behaviorMembers?.length)
+        return undefined;
+    const propertyNames = expr.properties
+        .filter((prop) => prop.kind === "property")
+        .map((prop) => getDeterministicObjectKeyName(prop.key))
+        .filter((name) => !!name);
+    const candidateMaps = [];
+    if (context.localTypes) {
+        candidateMaps.push(context.localTypes);
+    }
+    if (context.options.moduleMap) {
+        for (const module of context.options.moduleMap.values()) {
+            if (module.localTypes !== undefined) {
+                candidateMaps.push(module.localTypes);
+            }
+        }
+    }
+    const matches = [];
+    for (const localTypes of candidateMaps) {
+        for (const [typeName, info] of localTypes.entries()) {
+            if (info.kind !== "class" || !typeName.startsWith("__Anon_"))
+                continue;
+            const candidateNames = new Set(info.members
+                .filter((member) => "name" in member && typeof member.name === "string")
+                .map((member) => member.name));
+            if (propertyNames.some((name) => !candidateNames.has(name))) {
+                continue;
+            }
+            if (expr.behaviorMembers.some((member) => !hasMatchingBehaviorMember(info, member))) {
+                continue;
+            }
+            matches.push(typeName);
+        }
+    }
+    const uniqueMatches = [...new Set(matches)];
+    const onlyMatch = uniqueMatches.length === 1 ? uniqueMatches[0] : undefined;
+    return onlyMatch
+        ? { kind: "referenceType", name: onlyMatch }
+        : undefined;
+};
+//# sourceMappingURL=object-literal-spreads.js.map

package/dist/expressions/object-literal-spreads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literal-spreads.js","sourceRoot":"","sources":["../../src/expressions/object-literal-spreads.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAO/E,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,oBAAoB,EACpB,6BAA6B,EAC7B,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,qBAAqB,CAAC;AAE7B;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA+C,EAC/C,OAAuB,EACvB,aAAiC,EACjC,OAAsB,EACtB,UAA8B,EACS,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,cAAc,GAAyB,EAAE,CAAC;IAChD,MAAM,iBAAiB,GAAmB;QACxC,GAAG,cAAc;QACjB,2BAA2B,EAAE,OAAO;KACrC,CAAC;IAEF,6BAA6B;IAC7B,MAAM,aAAa,GAAuB;QACxC,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE;oBACX,IAAI,EAAE,0BAA0B;oBAChC,IAAI,EAAE,OAAO;oBACb,SAAS,EAAE,EAAE;iBACd;aACF;SACF;KACF,CAAC;IACF,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,CAAC,gBAAgB,EAAE,UAAU,CAAC,GAAG,gCAAgC,CACrE,UAAU,EACV,IAAI,CAAC,UAAU,EACf,cAAc,CACf,CAAC;YACF,cAAc,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;YACzC,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;YACtE,MAAM,oBAAoB,GAAG,eAAe,CAC1C,UAAU,IAAI,aAAa,EAC3B,OAAO,EACP,cAAc,CACf,CAAC;YACF,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,KAAK,EACV,iBAAiB,EACjB,oBAAoB,CACrB,CAAC;YACF,cAAc,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,aAAa,EAAE,GAAG;oBAClB,IAAI,EAAE;wBACJ,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,EAAE;wBACjE,UAAU,EAAE,GAAG;qBAChB;oBACD,KAAK,EAAE,QAAQ;iBAChB;aACF,CAAC,CAAC;YACH,cAAc,GAAG;gBACf,GAAG,UAAU;gBACb,2BAA2B,EAAE,cAAc,CAAC,2BAA2B;aACxE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,eAAe;IACf,cAAc,CAAC,IAAI,CAAC;QAClB,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,EAAE;KAClE,CAAC,CAAC;IAEH,OAAO;QACL,+BAA+B,CAAC;YAC9B,UAAU,EAAE,EAAE;YACd,cAAc,EAAE,EAAE;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,cAAc,EAAE;YAC5D,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,OAAO;YACnB,OAAO,EAAE,cAAc;SACxB,CAAC;QACF,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gCAAgC,GAAG,CACvC,UAA8B,EAC9B,UAAwB,EACxB,OAAuB,EACiB,EAAE;IAC1C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC;IAE3C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,IAAI,KAAK,CACb,8BAA8B,QAAQ,0CAA0C;YAC9E,iFAAiF,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,UAAU,EACV,cAAc,CACf,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAE/B,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACjE,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC;IACpC,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,2BAA2B;QACjC,SAAS,EAAE,EAAE;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QACzB,WAAW,EAAE;YACX;gBACE,IAAI,EAAE,UAAU,CAAC,WAAW;gBAC5B,WAAW,EAAE,SAAS;aACvB;SACF;KACF,CAAC,CAAC;IAEH,MAAM,SAAS,GAAwB;QACrC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,UAAU,CAAC,WAAW;KACnC,CAAC;IAEF,MAAM,aAAa,GAAG,0BAA0B,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAE7E,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACrC,MAAM,YAAY,GAAG,oBAAoB,CACvC,UAAU,EACV,QAAQ,EACR,cAAc,CACf,CAAC;QACF,MAAM,YAAY,GAAG,oBAAoB,CACvC,UAAU,EACV,QAAQ,EACR,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE;oBACJ,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,EAAE;oBACjE,UAAU,EAAE,YAAY;iBACzB;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,YAAY;iBACzB;aACF;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAA+C,EAC/C,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU;SAClC,MAAM,CACL,CAAC,IAAI,EAAsD,EAAE,CAC3D,IAAI,CAAC,IAAI,KAAK,UAAU,CAC3B;SACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACtD,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE5C,MAAM,aAAa,GAAyC,EAAE,CAAC;IAC/D,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACxD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACpC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,UAAU,IAAI,aAAa,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,SAAS;YAEvE,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,IAAI,CAAC,OAAO;iBACT,MAAM,CACL,CAAC,MAAM,EAAsD,EAAE,CAC7D,MAAM,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CACtD;iBACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAChC,CAAC;YAEF,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC5D,SAAS;YACX,CAAC;YAED,IACE,IAAI,CAAC,eAAe,CAAC,IAAI,CACvB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,IAAI,EAAE,MAAM,CAAC,CACrD,EACD,CAAC;gBACD,SAAS;YACX,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,OAAO,SAAS;QACd,CAAC,CAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAoB;QAC/D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC"}

package/dist/expressions/object-literal.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Object literal expression emitters — orchestrator facade.
+ *
+ * Heavy-lifting helpers live in:
+ *   - ./object-literal-spreads.ts (spread emission and behavioral type resolution)
+ *   - ./object-helpers.ts         (member name resolution and type helpers)
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
+export { resolveBehavioralObjectLiteralType } from "./object-literal-spreads.js";
+/**
+ * Emit an object literal as CSharpExpressionAst
+ */
+export declare const emitObject: (expr: Extract<IrExpression, {
+    kind: "object";
+}>, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=object-literal.d.ts.map

package/dist/expressions/object-literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literal.d.ts","sourceRoot":"","sources":["../../src/expressions/object-literal.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAW7C,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAkB7C,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CA6LtC,CAAC"}

package/dist/expressions/object-literal.js

@@ -0,0 +1,178 @@
+/**
+ * Object literal expression emitters — orchestrator facade.
+ *
+ * Heavy-lifting helpers live in:
+ *   - ./object-literal-spreads.ts (spread emission and behavioral type resolution)
+ *   - ./object-helpers.ts         (member name resolution and type helpers)
+ */
+import { emitTypeAst } from "../type-emitter.js";
+import { emitExpressionAst } from "../expression-emitter.js";
+import { getPropertyType, resolveStructuralReferenceType, stripNullish, resolveTypeAlias, selectObjectLiteralUnionMember, } from "../core/semantic/type-resolution.js";
+import { withTypeArguments } from "../core/format/backend-ast/builders.js";
+import { emitObjectMemberName, getDeterministicObjectKeyName, isObjectRootTypeAst, } from "./object-helpers.js";
+import { emitDictionaryLiteral, emitDictionaryLiteralWithSpreads, } from "./dictionary-literal.js";
+import { resolveAnonymousStructuralReferenceType } from "./structural-anonymous-targets.js";
+import { canPreferAnonymousStructuralTarget } from "./structural-type-shapes.js";
+import { emitObjectWithSpreads, resolveBehavioralObjectLiteralType, } from "./object-literal-spreads.js";
+// Re-export from sub-module
+export { resolveBehavioralObjectLiteralType } from "./object-literal-spreads.js";
+/**
+ * Emit an object literal as CSharpExpressionAst
+ */
+export const emitObject = (expr, context, expectedType) => {
+    let currentContext = context;
+    const behavioralType = resolveBehavioralObjectLiteralType(expr, currentContext);
+    const effectiveType = (() => {
+        if (!expectedType) {
+            return behavioralType ?? expr.inferredType ?? expr.contextualType;
+        }
+        const strippedExpected = stripNullish(expectedType);
+        if (strippedExpected.kind === "unknownType" ||
+            strippedExpected.kind === "anyType" ||
+            (strippedExpected.kind === "referenceType" &&
+                strippedExpected.name === "object")) {
+            return (behavioralType ??
+                expr.inferredType ??
+                expr.contextualType ??
+                expectedType);
+        }
+        return expectedType;
+    })();
+    // Check if contextual type is a dictionary type
+    if (effectiveType?.kind === "dictionaryType") {
+        return emitDictionaryLiteral(expr, currentContext, effectiveType);
+    }
+    const strippedType = effectiveType
+        ? stripNullish(effectiveType)
+        : undefined;
+    // Handle union type aliases: select the best-matching union member
+    const instantiationType = (() => {
+        if (!strippedType)
+            return undefined;
+        const resolved = resolveTypeAlias(strippedType, currentContext);
+        if (resolved.kind !== "unionType")
+            return strippedType;
+        const literalKeys = expr.properties
+            .filter((p) => p.kind === "property" && typeof p.key === "string")
+            .map((p) => p.key);
+        if (literalKeys.length !== expr.properties.length)
+            return strippedType;
+        const selected = selectObjectLiteralUnionMember(resolved, literalKeys, currentContext);
+        return selected ?? strippedType;
+    })();
+    const resolvedInstantiationType = instantiationType
+        ? resolveTypeAlias(stripNullish(instantiationType), currentContext)
+        : undefined;
+    if (resolvedInstantiationType?.kind === "dictionaryType") {
+        if (expr.hasSpreads) {
+            return emitDictionaryLiteralWithSpreads(expr, currentContext, resolvedInstantiationType);
+        }
+        return emitDictionaryLiteral(expr, currentContext, resolvedInstantiationType);
+    }
+    const contextualEmissionType = resolveContextualEmissionType(instantiationType, currentContext) ??
+        instantiationType;
+    const [typeAst, typeContext] = resolveContextualTypeAst(contextualEmissionType, currentContext);
+    currentContext = typeContext;
+    if (!typeAst) {
+        throw new Error("ICE: Object literal without contextual type reached emitter - validation missed TSN7403");
+    }
+    // Strip nullable wrapper for object construction
+    const safeTypeAst = typeAst.kind === "nullableType" ? typeAst.underlyingType : typeAst;
+    if (isObjectRootTypeAst(safeTypeAst)) {
+        const dictionaryType = {
+            kind: "dictionaryType",
+            keyType: { kind: "primitiveType", name: "string" },
+            valueType: {
+                kind: "referenceType",
+                name: "JsValue",
+                resolvedClrType: "Tsonic.Runtime.JsValue",
+            },
+        };
+        if (expr.hasSpreads) {
+            return emitDictionaryLiteralWithSpreads(expr, currentContext, dictionaryType);
+        }
+        return emitDictionaryLiteral(expr, currentContext, dictionaryType);
+    }
+    // Check if object has spreads - use IIFE pattern
+    const needsTempObject = expr.hasSpreads ||
+        expr.properties.some((prop) => prop.kind === "property" &&
+            prop.value.kind === "functionExpression" &&
+            prop.value.capturesObjectLiteralThis);
+    if (needsTempObject) {
+        return emitObjectWithSpreads(expr, currentContext, effectiveType, safeTypeAst, instantiationType);
+    }
+    // Regular object literal with nominal type
+    const initializerAsts = [];
+    for (const prop of expr.properties) {
+        if (prop.kind === "spread") {
+            throw new Error("ICE: Spread in object literal but hasSpreads is false");
+        }
+        else {
+            const keyName = getDeterministicObjectKeyName(prop.key);
+            if (!keyName) {
+                throw new Error("ICE: Unsupported computed property key reached nominal object emission");
+            }
+            const key = emitObjectMemberName(contextualEmissionType, keyName, currentContext);
+            const propertyExpectedType = getPropertyType(contextualEmissionType ?? effectiveType, keyName, currentContext);
+            const [valueAst, newContext] = emitExpressionAst(prop.value, currentContext, propertyExpectedType);
+            initializerAsts.push({
+                kind: "assignmentExpression",
+                operatorToken: "=",
+                left: { kind: "identifierExpression", identifier: key },
+                right: valueAst,
+            });
+            currentContext = newContext;
+        }
+    }
+    return [
+        {
+            kind: "objectCreationExpression",
+            type: safeTypeAst,
+            arguments: [],
+            initializer: initializerAsts,
+        },
+        currentContext,
+    ];
+};
+/**
+ * Resolve contextual type to C# type AST.
+ */
+const resolveContextualTypeAst = (contextualType, context) => {
+    if (!contextualType) {
+        return [undefined, context];
+    }
+    const emissionType = resolveContextualEmissionType(contextualType, context) ?? contextualType;
+    if (emissionType.kind === "referenceType") {
+        const typeName = emissionType.name;
+        const importBinding = context.importBindings?.get(typeName);
+        if (importBinding && importBinding.kind === "type") {
+            if (emissionType.typeArguments && emissionType.typeArguments.length > 0) {
+                let currentContext = context;
+                const typeArgAsts = [];
+                for (const typeArg of emissionType.typeArguments) {
+                    const [typeArgAst, newContext] = emitTypeAst(typeArg, currentContext);
+                    typeArgAsts.push(typeArgAst);
+                    currentContext = newContext;
+                }
+                return [
+                    withTypeArguments(importBinding.typeAst, typeArgAsts),
+                    currentContext,
+                ];
+            }
+            return [importBinding.typeAst, context];
+        }
+    }
+    return emitTypeAst(emissionType, context);
+};
+const resolveContextualEmissionType = (contextualType, context) => {
+    if (!contextualType) {
+        return undefined;
+    }
+    const anonymousEmissionType = canPreferAnonymousStructuralTarget(contextualType)
+        ? resolveAnonymousStructuralReferenceType(contextualType, context)
+        : undefined;
+    return (anonymousEmissionType ??
+        resolveStructuralReferenceType(contextualType, context) ??
+        contextualType);
+};
+//# sourceMappingURL=object-literal.js.map

package/dist/expressions/object-literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literal.js","sourceRoot":"","sources":["../../src/expressions/object-literal.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EACL,eAAe,EACf,8BAA8B,EAC9B,YAAY,EACZ,gBAAgB,EAChB,8BAA8B,GAC/B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAK3E,OAAO,EACL,oBAAoB,EACpB,6BAA6B,EAC7B,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,gCAAgC,GACjC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,uCAAuC,EAAE,MAAM,mCAAmC,CAAC;AAC5F,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EACL,qBAAqB,EACrB,kCAAkC,GACnC,MAAM,6BAA6B,CAAC;AAErC,4BAA4B;AAC5B,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,cAAc,GAAG,kCAAkC,CACvD,IAAI,EACJ,cAAc,CACf,CAAC;IAEF,MAAM,aAAa,GAAuB,CAAC,GAAG,EAAE;QAC9C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,cAAc,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC;QACpE,CAAC;QAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;QACpD,IACE,gBAAgB,CAAC,IAAI,KAAK,aAAa;YACvC,gBAAgB,CAAC,IAAI,KAAK,SAAS;YACnC,CAAC,gBAAgB,CAAC,IAAI,KAAK,eAAe;gBACxC,gBAAgB,CAAC,IAAI,KAAK,QAAQ,CAAC,EACrC,CAAC;YACD,OAAO,CACL,cAAc;gBACd,IAAI,CAAC,YAAY;gBACjB,IAAI,CAAC,cAAc;gBACnB,YAAY,CACb,CAAC;QACJ,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC,EAAE,CAAC;IAEL,gDAAgD;IAChD,IAAI,aAAa,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC7C,OAAO,qBAAqB,CAAC,IAAI,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,YAAY,GAAuB,aAAa;QACpD,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC;QAC7B,CAAC,CAAC,SAAS,CAAC;IAEd,mEAAmE;IACnE,MAAM,iBAAiB,GAAuB,CAAC,GAAG,EAAE;QAClD,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QAChE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,YAAY,CAAC;QAEvD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU;aAChC,MAAM,CACL,CAAC,CAAC,EAAgD,EAAE,CAClD,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CACrD;aACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAa,CAAC,CAAC;QAE/B,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM;YAAE,OAAO,YAAY,CAAC;QAEvE,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,QAAQ,EACR,WAAW,EACX,cAAc,CACf,CAAC;QACF,OAAO,QAAQ,IAAI,YAAY,CAAC;IAClC,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,yBAAyB,GAAG,iBAAiB;QACjD,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,iBAAiB,CAAC,EAAE,cAAc,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,yBAAyB,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,gCAAgC,CACrC,IAAI,EACJ,cAAc,EACd,yBAAyB,CAC1B,CAAC;QACJ,CAAC;QACD,OAAO,qBAAqB,CAC1B,IAAI,EACJ,cAAc,EACd,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IAED,MAAM,sBAAsB,GAC1B,6BAA6B,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChE,iBAAiB,CAAC;IACpB,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,wBAAwB,CACrD,sBAAsB,EACtB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IAED,iDAAiD;IACjD,MAAM,WAAW,GACf,OAAO,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC;IAErE,IAAI,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE;gBACT,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,eAAe,EAAE,wBAAwB;aAC1C;SACO,CAAC;QAEX,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,gCAAgC,CACrC,IAAI,EACJ,cAAc,EACd,cAAc,CACf,CAAC;QACJ,CAAC;QAED,OAAO,qBAAqB,CAAC,IAAI,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;IACrE,CAAC;IAED,iDAAiD;IACjD,MAAM,eAAe,GACnB,IAAI,CAAC,UAAU;QACf,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB;YACxC,IAAI,CAAC,KAAK,CAAC,yBAAyB,CACvC,CAAC;IAEJ,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,qBAAqB,CAC1B,IAAI,EACJ,cAAc,EACd,aAAa,EACb,WAAW,EACX,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,eAAe,GAA0B,EAAE,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,oBAAoB,CAC9B,sBAAsB,EACtB,OAAO,EACP,cAAc,CACf,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,sBAAsB,IAAI,aAAa,EACvC,OAAO,EACP,cAAc,CACf,CAAC;YACF,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,KAAK,EACV,cAAc,EACd,oBAAoB,CACrB,CAAC;YACF,eAAe,CAAC,IAAI,CAAC;gBACnB,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,GAAG;gBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvD,KAAK,EAAE,QAAQ;aAChB,CAAC,CAAC;YACH,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,WAAW;YACjB,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,eAAe;SAC7B;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,cAAkC,EAClC,OAAuB,EACsB,EAAE;IAC/C,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,YAAY,GAChB,6BAA6B,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,cAAc,CAAC;IAE3E,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;QACnC,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QAE5D,IAAI,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnD,IAAI,YAAY,CAAC,aAAa,IAAI,YAAY,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxE,IAAI,cAAc,GAAG,OAAO,CAAC;gBAC7B,MAAM,WAAW,GAAoB,EAAE,CAAC;gBACxC,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,aAAa,EAAE,CAAC;oBACjD,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;oBACtE,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7B,cAAc,GAAG,UAAU,CAAC;gBAC9B,CAAC;gBACD,OAAO;oBACL,iBAAiB,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC;oBACrD,cAAc;iBACf,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,cAAkC,EAClC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,qBAAqB,GAAG,kCAAkC,CAC9D,cAAc,CACf;QACC,CAAC,CAAC,uCAAuC,CAAC,cAAc,EAAE,OAAO,CAAC;QAClE,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO,CACL,qBAAqB;QACrB,8BAA8B,CAAC,cAAc,EAAE,OAAO,CAAC;QACvD,cAAc,CACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/assignment-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assignment-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/assignment-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAqB,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAElF;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAiJtC,CAAC"}
+{"version":3,"file":"assignment-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/assignment-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAqB,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAGlF;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA0MtC,CAAC"}

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)
@@ -83,25 +137,22 @@ export const emitAssignment = (expr, context) => {
     }
     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,MAAM,IAAI,KAAK,CACb,kFAAkF;gBAChF,gEAAgE,CACnE,CAAC;QACJ,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"}