@tsonic/emitter 0.0.62 → 0.0.64

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

@@ -0,0 +1,306 @@
+/**
+ * Conditional (ternary) expression emitter with type predicate narrowing support
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { resolveTypeAlias, stripNullish, findUnionMemberIndex, getPropertyType, } from "../../core/semantic/type-resolution.js";
+import { emitBooleanConditionAst } from "../../core/semantic/boolean-context.js";
+import { emitRemappedLocalName } from "../../core/format/local-names.js";
+const resolveLocalTypesForReference = (type, context) => {
+    const lookupName = type.name.includes(".")
+        ? (type.name.split(".").pop() ?? type.name)
+        : type.name;
+    if (context.localTypes?.has(lookupName)) {
+        return context.localTypes;
+    }
+    const moduleMap = context.options.moduleMap;
+    if (!moduleMap)
+        return undefined;
+    const matches = [];
+    for (const m of moduleMap.values()) {
+        if (!m.localTypes)
+            continue;
+        if (m.localTypes.has(lookupName)) {
+            matches.push({ namespace: m.namespace, localTypes: m.localTypes });
+        }
+    }
+    if (matches.length === 0)
+        return undefined;
+    // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+    if (matches.length === 1)
+        return matches[0].localTypes;
+    const fqn = type.resolvedClrType ?? (type.name.includes(".") ? type.name : undefined);
+    if (fqn && fqn.includes(".")) {
+        const ns = fqn.slice(0, fqn.lastIndexOf("."));
+        const filtered = matches.filter((m) => m.namespace === ns);
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+        if (filtered.length === 1)
+            return filtered[0].localTypes;
+    }
+    return undefined;
+};
+const tryGetLiteralSet = (type, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "literalType") {
+        return new Set([resolved.value]);
+    }
+    if (resolved.kind === "unionType") {
+        const out = new Set();
+        for (const t of resolved.types) {
+            const r = resolveTypeAlias(t, context);
+            if (r.kind !== "literalType")
+                return undefined;
+            out.add(r.value);
+        }
+        return out;
+    }
+    return undefined;
+};
+const tryResolveTernaryGuard = (condition, context) => {
+    // Check for direct call: isUser(x)
+    const resolveFromCall = (call) => {
+        const narrowing = call.narrowing;
+        if (!narrowing || narrowing.kind !== "typePredicate")
+            return undefined;
+        const arg = call.arguments[narrowing.argIndex];
+        if (!arg ||
+            ("kind" in arg && arg.kind === "spread") ||
+            arg.kind !== "identifier") {
+            return undefined;
+        }
+        const originalName = arg.name;
+        const unionSourceType = arg.inferredType;
+        if (!unionSourceType)
+            return undefined;
+        const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
+        if (resolved.kind !== "unionType")
+            return undefined;
+        const idx = findUnionMemberIndex(resolved, narrowing.targetType, context);
+        if (idx === undefined)
+            return undefined;
+        return {
+            originalName,
+            memberN: idx + 1,
+            escapedOrig: emitRemappedLocalName(originalName, context),
+            polarity: "positive",
+        };
+    };
+    // Direct call: isUser(x) -> narrow whenTrue
+    if (condition.kind === "call") {
+        return resolveFromCall(condition);
+    }
+    // Discriminant literal equality: x.kind === "circle"
+    const resolveFromDiscriminantEquality = (expr) => {
+        // Normalize `!(x.prop === lit)` to `x.prop !== lit` (and vice versa) by flipping polarity.
+        if (expr.kind === "unary" && expr.operator === "!") {
+            const inner = resolveFromDiscriminantEquality(expr.expression);
+            if (!inner)
+                return undefined;
+            return {
+                ...inner,
+                polarity: inner.polarity === "positive" ? "negative" : "positive",
+            };
+        }
+        if (expr.kind !== "binary")
+            return undefined;
+        if (expr.operator !== "===" &&
+            expr.operator !== "!==" &&
+            expr.operator !== "==" &&
+            expr.operator !== "!=") {
+            return undefined;
+        }
+        const extract = (left, right) => {
+            if (left.kind !== "memberAccess")
+                return undefined;
+            if (left.isOptional)
+                return undefined;
+            if (left.isComputed)
+                return undefined;
+            if (left.object.kind !== "identifier")
+                return undefined;
+            if (typeof left.property !== "string")
+                return undefined;
+            if (right.kind !== "literal")
+                return undefined;
+            if (typeof right.value !== "string" &&
+                typeof right.value !== "number" &&
+                typeof right.value !== "boolean") {
+                return undefined;
+            }
+            return {
+                receiver: left.object,
+                propertyName: left.property,
+                literal: right.value,
+            };
+        };
+        const direct = extract(expr.left, expr.right);
+        const swapped = direct ? undefined : extract(expr.right, expr.left);
+        const match = direct ?? swapped;
+        if (!match)
+            return undefined;
+        const { receiver, propertyName, literal } = match;
+        const originalName = receiver.name;
+        if (context.narrowedBindings?.has(originalName))
+            return undefined;
+        const unionSourceType = receiver.inferredType;
+        if (!unionSourceType)
+            return undefined;
+        const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
+        if (resolved.kind !== "unionType")
+            return undefined;
+        const unionArity = resolved.types.length;
+        if (unionArity < 2 || unionArity > 8)
+            return undefined;
+        const matchingMembers = [];
+        for (let i = 0; i < resolved.types.length; i++) {
+            const member = resolved.types[i];
+            if (!member)
+                continue;
+            let propType;
+            if (member.kind === "objectType") {
+                const prop = member.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+                propType = prop?.type;
+            }
+            else if (member.kind === "referenceType") {
+                const localTypes = resolveLocalTypesForReference(member, context);
+                if (!localTypes)
+                    continue;
+                const lookupName = member.name.includes(".")
+                    ? (member.name.split(".").pop() ?? member.name)
+                    : member.name;
+                propType = getPropertyType({ ...member, name: lookupName }, propertyName, { ...context, localTypes });
+            }
+            else {
+                continue;
+            }
+            if (!propType)
+                continue;
+            const literals = tryGetLiteralSet(propType, context);
+            if (!literals)
+                continue;
+            if (literals.has(literal)) {
+                matchingMembers.push(i + 1);
+            }
+        }
+        if (matchingMembers.length !== 1)
+            return undefined;
+        const memberN = matchingMembers[0];
+        if (!memberN)
+            return undefined;
+        const isInequality = expr.operator === "!==" || expr.operator === "!=";
+        return {
+            originalName,
+            memberN,
+            escapedOrig: emitRemappedLocalName(originalName, context),
+            polarity: isInequality ? "negative" : "positive",
+        };
+    };
+    const discr = resolveFromDiscriminantEquality(condition);
+    if (discr)
+        return discr;
+    // Negated call: !isUser(x) -> narrow whenFalse
+    if (condition.kind === "unary" &&
+        condition.operator === "!" &&
+        condition.expression.kind === "call") {
+        const guard = resolveFromCall(condition.expression);
+        if (guard) {
+            return { ...guard, polarity: "negative" };
+        }
+    }
+    return undefined;
+};
+/**
+ * Emit a conditional (ternary) expression as CSharpExpressionAst
+ *
+ * Supports type predicate narrowing:
+ * - `isUser(x) ? x.name : "anon"` → `x.Is1() ? (x.As1()).name : "anon"`
+ * - `!isUser(x) ? "anon" : x.name` → `!x.Is1() ? "anon" : (x.As1()).name`
+ */
+export const emitConditional = (expr, context, expectedType) => {
+    // When no contextual expectedType is provided (e.g., `var x = cond ? a : b`),
+    // use the conditional expression's own inferred type to guide null/undefined → default
+    // conversions and keep C# type inference consistent with TS.
+    const branchExpectedType = expectedType ?? expr.inferredType;
+    // Try to detect type predicate guard in condition
+    const guard = tryResolveTernaryGuard(expr.condition, context);
+    if (guard) {
+        const { originalName, memberN, escapedOrig, polarity } = guard;
+        // Build condition AST: escapedOrig.IsN() or !escapedOrig.IsN()
+        const isCallAst = {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: {
+                    kind: "identifierExpression",
+                    identifier: escapedOrig,
+                },
+                memberName: `Is${memberN}`,
+            },
+            arguments: [],
+        };
+        const condAst = polarity === "positive"
+            ? isCallAst
+            : {
+                kind: "prefixUnaryExpression",
+                operatorToken: "!",
+                operand: isCallAst,
+            };
+        // Create inline narrowing binding: x -> (x.AsN())
+        const exprAst = {
+            kind: "parenthesizedExpression",
+            expression: {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: {
+                        kind: "identifierExpression",
+                        identifier: escapedOrig,
+                    },
+                    memberName: `As${memberN}`,
+                },
+                arguments: [],
+            },
+        };
+        const narrowedMap = new Map(context.narrowedBindings ?? []);
+        narrowedMap.set(originalName, { kind: "expr", exprAst });
+        const narrowedContext = {
+            ...context,
+            narrowedBindings: narrowedMap,
+        };
+        // Apply narrowing to the appropriate branch
+        const [trueAst, trueContext] = polarity === "positive"
+            ? emitExpressionAst(expr.whenTrue, narrowedContext, branchExpectedType)
+            : emitExpressionAst(expr.whenTrue, context, branchExpectedType);
+        const [falseAst, falseContext] = polarity === "negative"
+            ? emitExpressionAst(expr.whenFalse, narrowedContext, branchExpectedType)
+            : emitExpressionAst(expr.whenFalse, trueContext, branchExpectedType);
+        // Return context WITHOUT narrowing (don't leak)
+        const finalContext = {
+            ...falseContext,
+            narrowedBindings: context.narrowedBindings,
+        };
+        return [
+            {
+                kind: "conditionalExpression",
+                condition: condAst,
+                whenTrue: trueAst,
+                whenFalse: falseAst,
+            },
+            finalContext,
+        ];
+    }
+    // Standard ternary emission (no narrowing)
+    const [condAst, condContext] = emitBooleanConditionAst(expr.condition, (e, ctx) => emitExpressionAst(e, ctx), context);
+    // Pass expectedType (or inferred type) to both branches for null/undefined → default conversion
+    const [trueAst, trueContext] = emitExpressionAst(expr.whenTrue, condContext, branchExpectedType);
+    const [falseAst, falseContext] = emitExpressionAst(expr.whenFalse, trueContext, branchExpectedType);
+    return [
+        {
+            kind: "conditionalExpression",
+            condition: condAst,
+            whenTrue: trueAst,
+            whenFalse: falseAst,
+        },
+        falseContext,
+    ];
+};
+//# sourceMappingURL=conditional-emitter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/conditional-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,eAAe,GAChB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAezE,MAAM,6BAA6B,GAAG,CACpC,IAAgD,EAChD,OAAuB,EACyB,EAAE;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAEd,IAAI,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,UAAU,CAAC;IAC5B,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,OAAO,GAGP,EAAE,CAAC;IACT,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,SAAS;QAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,oEAAoE;IACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAExD,MAAM,GAAG,GACP,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5E,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QAC3D,oEAAoE;QACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAC5D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAY,EACZ,OAAuB,EAC6B,EAAE;IACtD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6B,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,SAAS,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,SAAuB,EACvB,OAAuB,EACO,EAAE;IAChC,mCAAmC;IACnC,MAAM,eAAe,GAAG,CACtB,IAA6C,EACf,EAAE;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,SAAS,CAAC;QAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/C,IACE,CAAC,GAAG;YACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;QAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;QACzC,IAAI,CAAC,eAAe;YAAE,OAAO,SAAS,CAAC;QAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QAEpD,MAAM,GAAG,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAExC,OAAO;YACL,YAAY;YACZ,OAAO,EAAE,GAAG,GAAG,CAAC;YAChB,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;YACzD,QAAQ,EAAE,UAAU;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC;IAED,qDAAqD;IACrD,MAAM,+BAA+B,GAAG,CACtC,IAAkB,EACY,EAAE;QAChC,2FAA2F;QAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/D,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,OAAO;gBACL,GAAG,KAAK;gBACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;aAClE,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO,SAAS,CAAC;YACnD,IAAI,IAAI,CAAC,UAAU;gBAAE,OAAO,SAAS,CAAC;YACtC,IAAI,IAAI,CAAC,UAAU;gBAAE,OAAO,SAAS,CAAC;YACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,SAAS,CAAC;YACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO;gBACL,QAAQ,EAAE,IAAI,CAAC,MAAM;gBACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;gBAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;aACrB,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;QAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;QAEnC,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;YAAE,OAAO,SAAS,CAAC;QAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;QAC9C,IAAI,CAAC,eAAe;YAAE,OAAO,SAAS,CAAC;QAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,SAAS,CAAC;QAEpD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACzC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAEvD,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,IAAI,QAA4B,CAAC;YAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;gBACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;YACxB,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAClE,IAAI,CAAC,UAAU;oBAAE,SAAS;gBAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;oBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAEhB,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,SAAS;YACX,CAAC;YAED,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACnD,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAE/B,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;QAEvE,OAAO;YACL,YAAY;YACZ,OAAO;YACP,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;YACzD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;SACjD,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,+BAA+B,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAoD,EACpD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,8EAA8E;IAC9E,uFAAuF;IACvF,6DAA6D;IAC7D,MAAM,kBAAkB,GAAG,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC;IAE7D,kDAAkD;IAClD,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE9D,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QAE/D,+DAA+D;QAC/D,MAAM,SAAS,GAAwB;YACrC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,WAAW;iBACxB;gBACD,UAAU,EAAE,KAAK,OAAO,EAAE;aAC3B;YACD,SAAS,EAAE,EAAE;SACd,CAAC;QACF,MAAM,OAAO,GACX,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,SAAS;aACnB,CAAC;QAER,kDAAkD;QAClD,MAAM,OAAO,GAAwB;YACnC,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,WAAW;qBACxB;oBACD,UAAU,EAAE,KAAK,OAAO,EAAE;iBAC3B;gBACD,SAAS,EAAE,EAAE;aACd;SACF,CAAC;QACF,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAC/B,CAAC;QACF,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAEzD,MAAM,eAAe,GAAmB;YACtC,GAAG,OAAO;YACV,gBAAgB,EAAE,WAAW;SAC9B,CAAC;QAEF,4CAA4C;QAC5C,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAC1B,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,kBAAkB,CAAC;YACvE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC;QAEpE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAC5B,QAAQ,KAAK,UAAU;YACrB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,kBAAkB,CAAC;YACxE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;QAEzE,gDAAgD;QAChD,MAAM,YAAY,GAAmB;YACnC,GAAG,YAAY;YACf,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC;QAEF,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,SAAS,EAAE,OAAO;gBAClB,QAAQ,EAAE,OAAO;gBACjB,SAAS,EAAE,QAAQ;aACpB;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,uBAAuB,CACpD,IAAI,CAAC,SAAS,EACd,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,EACrC,OAAO,CACR,CAAC;IAEF,gGAAgG;IAChG,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,QAAQ,EACb,WAAW,EACX,kBAAkB,CACnB,CAAC;IACF,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,SAAS,EACd,WAAW,EACX,kBAAkB,CACnB,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,SAAS,EAAE,OAAO;YAClB,QAAQ,EAAE,OAAO;YACjB,SAAS,EAAE,QAAQ;SACpB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/helpers.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Shared type-checking helpers for operator emitters
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+/**
+ * Check if an expression has proven Int32 type from the numeric proof pass.
+ * Mirrors the same check in access.ts for consistency.
+ */
+export declare const hasInt32Proof: (expr: IrExpression) => boolean;
+/**
+ * Get operator precedence for proper parenthesization
+ */
+export declare const getPrecedence: (operator: string) => number;
+/**
+ * Check if an expression has char type (either from string indexer or a variable typed as char).
+ * In C#, string[int] returns char, not string like in TypeScript.
+ * The IR now correctly sets inferredType to char for string indexer access.
+ */
+export declare const isCharTyped: (expr: IrExpression) => boolean;
+export declare const stripNullishFromType: (type: IrType | undefined) => IrType | undefined;
+export declare const isStringTyped: (expr: IrExpression) => boolean;
+/**
+ * Check if an expression is a single-character string literal.
+ * Returns the character if so, undefined otherwise.
+ */
+export declare const getSingleCharLiteral: (expr: IrExpression) => string | undefined;
+/**
+ * Escape a character for use in a C# char literal.
+ * Handles special characters like quotes, backslash, newline, etc.
+ */
+export declare const escapeCharLiteral: (char: string) => string;
+export declare const isNullishLiteral: (e: IrExpression) => boolean;
+/**
+ * Check if an IR type is boolean
+ */
+export declare const isBooleanType: (type: IrExpression["inferredType"]) => boolean;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/expressions/operators/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAExD;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,YAAY,KAAG,OAclD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,UAAU,MAAM,KAAG,MA+BhD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,YAAY,KAAG,OAOhD,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SAeX,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,MAAM,YAAY,KAAG,OAalD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,YAAY,KACjB,MAAM,GAAG,SAKX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MAiBhD,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAAI,GAAG,YAAY,KAAG,OAEyB,CAAC;AAE7E;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,YAAY,CAAC,cAAc,CAAC,KAAG,OAGlE,CAAC"}

package/dist/expressions/operators/helpers.js

@@ -0,0 +1,136 @@
+/**
+ * Shared type-checking helpers for operator emitters
+ */
+/**
+ * Check if an expression has proven Int32 type from the numeric proof pass.
+ * Mirrors the same check in access.ts for consistency.
+ */
+export const hasInt32Proof = (expr) => {
+    if (expr.inferredType?.kind === "primitiveType" &&
+        expr.inferredType.name === "int") {
+        return true;
+    }
+    if (expr.inferredType?.kind === "referenceType" &&
+        expr.inferredType.name === "int") {
+        return true;
+    }
+    return false;
+};
+/**
+ * Get operator precedence for proper parenthesization
+ */
+export const getPrecedence = (operator) => {
+    const precedences = {
+        "||": 5,
+        // C# precedence: `??` binds less tightly than `||` / `&&` but more tightly than `?:`.
+        "??": 4,
+        "&&": 6,
+        "|": 7,
+        "^": 8,
+        "&": 9,
+        "==": 10,
+        "!=": 10,
+        "===": 10,
+        "!==": 10,
+        "<": 11,
+        ">": 11,
+        "<=": 11,
+        ">=": 11,
+        instanceof: 11,
+        in: 11,
+        "<<": 12,
+        ">>": 12,
+        ">>>": 12,
+        "+": 13,
+        "-": 13,
+        "*": 14,
+        "/": 14,
+        "%": 14,
+        "**": 15,
+    };
+    return precedences[operator] ?? 16;
+};
+/**
+ * Check if an expression has char type (either from string indexer or a variable typed as char).
+ * In C#, string[int] returns char, not string like in TypeScript.
+ * The IR now correctly sets inferredType to char for string indexer access.
+ */
+export const isCharTyped = (expr) => {
+    return ((expr.inferredType?.kind === "primitiveType" &&
+        expr.inferredType.name === "char") ||
+        (expr.inferredType?.kind === "referenceType" &&
+            expr.inferredType.name === "char"));
+};
+export const stripNullishFromType = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind !== "unionType")
+        return type;
+    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullish.length === 1) {
+        const only = nonNullish[0];
+        return only ? stripNullishFromType(only) : undefined;
+    }
+    return type;
+};
+export const isStringTyped = (expr) => {
+    const type = stripNullishFromType(expr.inferredType);
+    if (!type)
+        return false;
+    if (type.kind === "primitiveType")
+        return type.name === "string";
+    if (type.kind === "referenceType")
+        return type.name === "string";
+    if (type.kind === "intersectionType") {
+        return type.types.some((part) => (part.kind === "primitiveType" && part.name === "string") ||
+            (part.kind === "referenceType" && part.name === "string"));
+    }
+    return false;
+};
+/**
+ * Check if an expression is a single-character string literal.
+ * Returns the character if so, undefined otherwise.
+ */
+export const getSingleCharLiteral = (expr) => {
+    if (expr.kind !== "literal")
+        return undefined;
+    if (typeof expr.value !== "string")
+        return undefined;
+    if (expr.value.length !== 1)
+        return undefined;
+    return expr.value;
+};
+/**
+ * Escape a character for use in a C# char literal.
+ * Handles special characters like quotes, backslash, newline, etc.
+ */
+export const escapeCharLiteral = (char) => {
+    switch (char) {
+        case "'":
+            return "\\'";
+        case "\\":
+            return "\\\\";
+        case "\n":
+            return "\\n";
+        case "\r":
+            return "\\r";
+        case "\t":
+            return "\\t";
+        case "\0":
+            return "\\0";
+        default:
+            return char;
+    }
+};
+export const isNullishLiteral = (e) => (e.kind === "literal" && (e.value === undefined || e.value === null)) ||
+    (e.kind === "identifier" && (e.name === "undefined" || e.name === "null"));
+/**
+ * Check if an IR type is boolean
+ */
+export const isBooleanType = (type) => {
+    if (!type)
+        return false;
+    return type.kind === "primitiveType" && type.name === "boolean";
+};
+//# sourceMappingURL=helpers.js.map

package/dist/expressions/operators/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/expressions/operators/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAU,EAAE;IACxD,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,CAAC;QACP,sFAAsF;QACtF,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,UAAU,EAAE,EAAE;QACd,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,OAAO,CACL,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC1C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC;QACpC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;YAC1C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC,CACrC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;YACzD,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EACE,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACxD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAe,EAAW,EAAE,CAC3D,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkC,EAAW,EAAE;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC"}

package/dist/expressions/operators/logical-emitter.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Logical operator expression emitter (&&, ||, ??)
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+/**
+ * Emit a logical operator expression as CSharpExpressionAst
+ *
+ * In TypeScript, || is used both for:
+ * 1. Boolean OR (when operands are booleans)
+ * 2. Nullish coalescing fallback (when left operand is nullable)
+ *
+ * In C#:
+ * - || only works with booleans
+ * - ?? is used for nullish coalescing
+ *
+ * We check if || is used with non-boolean operands and emit ?? instead.
+ */
+export declare const emitLogical: (expr: Extract<IrExpression, {
+    kind: "logical";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=logical-emitter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logical-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/logical-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AA0BlF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAoCtC,CAAC"}

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

@@ -0,0 +1,73 @@
+/**
+ * Logical operator expression emitter (&&, ||, ??)
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { isDefinitelyValueType } from "../../core/semantic/type-resolution.js";
+import { isBooleanType } from "./helpers.js";
+/**
+ * Check if an expression AST contains conditional access (`?.` or `?[`).
+ * Used to detect nullable value type scenarios in `??` optimization.
+ */
+const containsConditionalAccess = (ast) => {
+    switch (ast.kind) {
+        case "conditionalMemberAccessExpression":
+            return true;
+        case "memberAccessExpression":
+            return containsConditionalAccess(ast.expression);
+        case "invocationExpression":
+            return containsConditionalAccess(ast.expression);
+        case "elementAccessExpression":
+            return containsConditionalAccess(ast.expression);
+        case "parenthesizedExpression":
+            return containsConditionalAccess(ast.expression);
+        case "identifierExpression":
+            // Pre-rendered text may contain ?. or ?[ patterns
+            return ast.identifier.includes("?.") || ast.identifier.includes("?[");
+        default:
+            return false;
+    }
+};
+/**
+ * Emit a logical operator expression as CSharpExpressionAst
+ *
+ * In TypeScript, || is used both for:
+ * 1. Boolean OR (when operands are booleans)
+ * 2. Nullish coalescing fallback (when left operand is nullable)
+ *
+ * In C#:
+ * - || only works with booleans
+ * - ?? is used for nullish coalescing
+ *
+ * We check if || is used with non-boolean operands and emit ?? instead.
+ */
+export const emitLogical = (expr, context) => {
+    const [leftAst, leftContext] = emitExpressionAst(expr.left, context);
+    // If || is used with non-boolean left operand, use ?? instead for nullish coalescing
+    const operator = expr.operator === "||" && !isBooleanType(expr.left.inferredType)
+        ? "??"
+        : expr.operator;
+    // If the left operand is a non-nullable value type, `??` is invalid in C# and the
+    // fallback is unreachable. Emit only the left operand.
+    if (operator === "??" &&
+        expr.left.inferredType &&
+        expr.left.inferredType.kind !== "unionType" &&
+        isDefinitelyValueType(expr.left.inferredType)) {
+        // Conditional access (`?.` / `?[`) produces nullable value types in C# even when the
+        // underlying member type is non-nullable (e.g., `string?.Length` → `int?`).
+        // In that case the fallback is still meaningful and must be preserved.
+        if (!containsConditionalAccess(leftAst)) {
+            return [leftAst, leftContext];
+        }
+    }
+    const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
+    return [
+        {
+            kind: "binaryExpression",
+            operatorToken: operator,
+            left: leftAst,
+            right: rightAst,
+        },
+        rightContext,
+    ];
+};
+//# sourceMappingURL=logical-emitter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logical-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/logical-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C;;;GAGG;AACH,MAAM,yBAAyB,GAAG,CAAC,GAAwB,EAAW,EAAE;IACtE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,mCAAmC;YACtC,OAAO,IAAI,CAAC;QACd,KAAK,wBAAwB;YAC3B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,sBAAsB;YACzB,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,yBAAyB;YAC5B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,yBAAyB;YAC5B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,sBAAsB;YACzB,kDAAkD;YAClD,OAAO,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAErE,qFAAqF;IACrF,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IAEpB,kFAAkF;IAClF,uDAAuD;IACvD,IACE,QAAQ,KAAK,IAAI;QACjB,IAAI,CAAC,IAAI,CAAC,YAAY;QACtB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW;QAC3C,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAC7C,CAAC;QACD,qFAAqF;QACrF,4EAA4E;QAC5E,uEAAuE;QACvE,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE5E,OAAO;QACL;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,QAAQ;YACvB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,QAAQ;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/unary-emitter.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Unary and update operator expression emitters
+ *
+ * NEW NUMERIC SPEC:
+ * - Literals use raw lexeme (no contextual widening)
+ * - Integer casts only from IrCastExpression (not inferred from expectedType)
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+/**
+ * Emit a unary operator expression as CSharpExpressionAst (-, +, !, ~, typeof, void, delete)
+ *
+ * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
+ * Explicit casts come from IrCastExpression nodes.
+ *
+ * @param expr - The unary expression
+ * @param context - Emitter context
+ * @param expectedType - Used for void IIFE return type
+ */
+export declare const emitUnary: (expr: Extract<IrExpression, {
+    kind: "unary";
+}>, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit an update operator expression as CSharpExpressionAst (++, --)
+ */
+export declare const emitUpdate: (expr: Extract<IrExpression, {
+    kind: "update";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=unary-emitter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unary-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/unary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAEhD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CA+NtC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAsCtC,CAAC"}