@tsonic/emitter 0.0.73 → 0.0.75

package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Array.isArray and typeof guard emission cases for if-statements.
+ * Handles Array.isArray guards and typeof guards.
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+import type { CSharpStatementAst } from "../../../core/format/backend-ast/types.js";
+type IfStatement = Extract<IrStatement, {
+    kind: "ifStatement";
+}>;
+type GuardResult = [readonly CSharpStatementAst[], EmitterContext] | undefined;
+/**
+ * Array.isArray guard emission.
+ * Handles `if (Array.isArray(x)) { ... }` and `if (!Array.isArray(x)) { ... }`.
+ */
+export declare const tryEmitArrayIsArrayGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+/**
+ * Case E: typeof narrowing on plain locals/parameters, including
+ * compound `&&` truthy branches and `||` fallthrough/else branches.
+ */
+export declare const tryEmitTypeofGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+export {};
+//# sourceMappingURL=if-emit-typeof-array-guards.d.ts.map

package/dist/statements/control/conditionals/if-emit-typeof-array-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-typeof-array-guards.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-typeof-array-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AAsCpF,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC;AACjE,KAAK,WAAW,GAAG,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAAC,GAAG,SAAS,CAAC;AAE/E;;;GAGG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WAkTF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WAkIF,CAAC"}

package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js

@@ -0,0 +1,264 @@
+/**
+ * Array.isArray and typeof guard emission cases for if-statements.
+ * Handles Array.isArray guards and typeof guards.
+ */
+import { emitExpressionAst } from "../../../expression-emitter.js";
+import { emitTypeAst } from "../../../type-emitter.js";
+import { emitBooleanConditionAst } from "../../../core/semantic/boolean-context.js";
+import { applyConditionBranchNarrowing } from "../../../core/semantic/condition-branch-narrowing.js";
+import { currentNarrowedType } from "../../../core/semantic/narrowing-builders.js";
+import { willCarryAsRuntimeUnion } from "../../../core/semantic/union-semantics.js";
+import { resolveRuntimeCarrierExpressionAst, resolveDirectStorageExpressionType, resolveIdentifierRuntimeCarrierType, } from "../../../expressions/direct-storage-types.js";
+import { isDefinitelyTerminating, resolveRuntimeUnionFrame, } from "./guard-analysis.js";
+import { tryExtractArrayIsArrayGuard, collectTypeofGuardRefinements, narrowTypeByArrayShape, isArrayLikeNarrowingCandidate, } from "./guard-extraction.js";
+import { buildExprBinding, buildIsNCondition, wrapInBlock, withComplementNarrowing, withRuntimeUnionMemberNarrowing, applyExprFallthroughNarrowing, emitExprAstCb, mergeBranchExitContext, mergeBranchContextMeta, resetBranchFlowState, emitBranchScopedStatementAst, } from "./branch-context.js";
+import { resolveRuntimeArrayMemberStorageType, SYSTEM_ARRAY_STORAGE_TYPE, } from "../../../core/semantic/broad-array-storage.js";
+/**
+ * Array.isArray guard emission.
+ * Handles `if (Array.isArray(x)) { ... }` and `if (!Array.isArray(x)) { ... }`.
+ */
+export const tryEmitArrayIsArrayGuard = (stmt, context) => {
+    const arrayIsArrayGuard = tryExtractArrayIsArrayGuard(stmt.condition);
+    if (!arrayIsArrayGuard)
+        return undefined;
+    const [emittedTargetAst, condCtxAfterCond] = emitExpressionAst(arrayIsArrayGuard.targetExpr, context);
+    const effectiveTargetType = currentNarrowedType(arrayIsArrayGuard.originalName, arrayIsArrayGuard.targetExpr.inferredType, condCtxAfterCond);
+    const identifierCarrierStorageType = arrayIsArrayGuard.targetExpr.kind === "identifier"
+        ? resolveIdentifierRuntimeCarrierType(arrayIsArrayGuard.targetExpr, condCtxAfterCond)
+        : undefined;
+    const directStorageType = arrayIsArrayGuard.targetExpr.kind === "identifier"
+        ? (condCtxAfterCond.localValueTypes?.get(arrayIsArrayGuard.targetExpr.name) ?? identifierCarrierStorageType)
+        : resolveDirectStorageExpressionType(arrayIsArrayGuard.targetExpr, emittedTargetAst, condCtxAfterCond);
+    const runtimeCarrierAst = (identifierCarrierStorageType &&
+        willCarryAsRuntimeUnion(identifierCarrierStorageType, condCtxAfterCond)
+        ? resolveRuntimeCarrierExpressionAst(arrayIsArrayGuard.targetExpr, condCtxAfterCond)
+        : undefined) ??
+        (directStorageType
+            ? resolveRuntimeCarrierExpressionAst(arrayIsArrayGuard.targetExpr, condCtxAfterCond)
+            : undefined) ??
+        emittedTargetAst;
+    const runtimeCarrierType = identifierCarrierStorageType &&
+        willCarryAsRuntimeUnion(identifierCarrierStorageType, condCtxAfterCond)
+        ? identifierCarrierStorageType
+        : directStorageType
+            ? willCarryAsRuntimeUnion(directStorageType, condCtxAfterCond)
+                ? directStorageType
+                : undefined
+            : effectiveTargetType &&
+                willCarryAsRuntimeUnion(effectiveTargetType, condCtxAfterCond)
+                ? effectiveTargetType
+                : undefined;
+    const runtimeUnionFrame = runtimeCarrierType &&
+        resolveRuntimeUnionFrame(arrayIsArrayGuard.originalName, runtimeCarrierType, condCtxAfterCond);
+    const runtimeArrayPairs = runtimeUnionFrame?.members.flatMap((member, index) => {
+        if (!member || !isArrayLikeNarrowingCandidate(member, condCtxAfterCond)) {
+            return [];
+        }
+        const runtimeMemberN = runtimeUnionFrame.candidateMemberNs[index];
+        if (!runtimeMemberN) {
+            return [];
+        }
+        return [{ memberType: member, runtimeMemberN }];
+    }) ?? [];
+    const narrowedType = narrowTypeByArrayShape(arrayIsArrayGuard.targetExpr.inferredType, arrayIsArrayGuard.narrowsInThen, condCtxAfterCond);
+    if (!narrowedType)
+        return undefined;
+    const runtimeArrayPair = runtimeArrayPairs.length === 1 ? runtimeArrayPairs[0] : undefined;
+    if (runtimeUnionFrame &&
+        runtimeArrayPair &&
+        runtimeUnionFrame.runtimeUnionArity >= 2) {
+        const [, condCtxAfterCondAst] = emitBooleanConditionAst(stmt.condition, emitExprAstCb, condCtxAfterCond);
+        const arrayBranchContext = withRuntimeUnionMemberNarrowing(arrayIsArrayGuard.originalName, runtimeCarrierAst, runtimeArrayPair.runtimeMemberN, runtimeArrayPair.memberType, runtimeCarrierType, condCtxAfterCondAst, resolveRuntimeArrayMemberStorageType(runtimeArrayPair.memberType, condCtxAfterCondAst));
+        const nonArrayBranchContext = withComplementNarrowing(arrayIsArrayGuard.originalName, runtimeCarrierAst, runtimeUnionFrame.runtimeUnionArity, runtimeUnionFrame.candidateMemberNs, runtimeUnionFrame.members, runtimeArrayPair.runtimeMemberN, condCtxAfterCondAst);
+        const thenCtx = arrayIsArrayGuard.narrowsInThen &&
+            runtimeUnionFrame.runtimeUnionArity >= 2
+            ? arrayBranchContext
+            : nonArrayBranchContext;
+        const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, thenCtx);
+        const thenStatementAst = wrapInBlock(thenStmts);
+        const thenTerminates = isDefinitelyTerminating(stmt.thenStatement);
+        const basePostConditionContext = resetBranchFlowState(condCtxAfterCondAst, thenCtxAfter);
+        const fallthroughContext = arrayIsArrayGuard.narrowsInThen
+            ? nonArrayBranchContext
+            : arrayBranchContext;
+        let finalContext = thenTerminates
+            ? mergeBranchContextMeta(fallthroughContext, thenCtxAfter)
+            : mergeBranchExitContext(condCtxAfterCondAst, thenCtxAfter, fallthroughContext);
+        let elseStmt;
+        if (stmt.elseStatement) {
+            const elseCtx = {
+                ...(arrayIsArrayGuard.narrowsInThen
+                    ? nonArrayBranchContext
+                    : arrayBranchContext),
+                tempVarId: basePostConditionContext.tempVarId,
+                usings: basePostConditionContext.usings,
+                usedLocalNames: basePostConditionContext.usedLocalNames,
+            };
+            const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtx);
+            elseStmt = wrapInBlock(elseStmts);
+            const elseTerminates = isDefinitelyTerminating(stmt.elseStatement);
+            if (thenTerminates && !elseTerminates) {
+                finalContext = mergeBranchContextMeta(elseCtxAfter, thenCtxAfter);
+            }
+            else if (!thenTerminates && elseTerminates) {
+                finalContext = mergeBranchContextMeta(thenCtxAfter, elseCtxAfter);
+            }
+            else {
+                finalContext = mergeBranchExitContext(condCtxAfterCondAst, thenCtxAfter, elseCtxAfter);
+            }
+        }
+        const runtimeCondAst = buildIsNCondition(runtimeCarrierAst, runtimeArrayPair.runtimeMemberN, !arrayIsArrayGuard.narrowsInThen);
+        return [
+            [
+                {
+                    kind: "ifStatement",
+                    condition: runtimeCondAst,
+                    thenStatement: thenStatementAst,
+                    elseStatement: elseStmt,
+                },
+            ],
+            finalContext,
+        ];
+    }
+    const narrowedMap = new Map(condCtxAfterCond.narrowedBindings ?? []);
+    const [narrowedTypeAst, narrowedTypeCtx] = emitTypeAst(narrowedType, condCtxAfterCond);
+    narrowedMap.set(arrayIsArrayGuard.originalName, buildExprBinding({
+        kind: "castExpression",
+        type: narrowedTypeAst,
+        expression: emittedTargetAst,
+    }, narrowedType, undefined, emittedTargetAst, SYSTEM_ARRAY_STORAGE_TYPE));
+    const [condAst, condCtxAfterCondAst] = emitBooleanConditionAst(stmt.condition, emitExprAstCb, condCtxAfterCond);
+    const thenBaseCtx = {
+        ...narrowedTypeCtx,
+        ...condCtxAfterCondAst,
+        narrowedBindings: arrayIsArrayGuard.narrowsInThen
+            ? narrowedMap
+            : condCtxAfterCond.narrowedBindings,
+    };
+    const thenCtx = thenBaseCtx;
+    const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, thenCtx);
+    const thenStatementAst = wrapInBlock(thenStmts);
+    const thenTerminates = isDefinitelyTerminating(stmt.thenStatement);
+    const basePostConditionContext = resetBranchFlowState(condCtxAfterCond, thenCtxAfter);
+    const elseBaseCtx = {
+        ...basePostConditionContext,
+        narrowedBindings: arrayIsArrayGuard.narrowsInThen
+            ? condCtxAfterCond.narrowedBindings
+            : narrowedMap,
+    };
+    const fallthroughContext = elseBaseCtx;
+    let finalContext = thenTerminates
+        ? fallthroughContext
+        : mergeBranchExitContext(condCtxAfterCond, thenCtxAfter, fallthroughContext);
+    let elseStmt;
+    if (stmt.elseStatement) {
+        const elseCtx = elseBaseCtx;
+        const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtx);
+        elseStmt = wrapInBlock(elseStmts);
+        const elseTerminates = isDefinitelyTerminating(stmt.elseStatement);
+        if (thenTerminates && !elseTerminates) {
+            finalContext = mergeBranchContextMeta(elseCtxAfter, thenCtxAfter);
+        }
+        else if (!thenTerminates && elseTerminates) {
+            finalContext = mergeBranchContextMeta(thenCtxAfter, elseCtxAfter);
+        }
+        else {
+            finalContext = mergeBranchExitContext(condCtxAfterCond, thenCtxAfter, elseCtxAfter);
+        }
+    }
+    if (!stmt.elseStatement && thenTerminates) {
+        const complementType = narrowTypeByArrayShape(arrayIsArrayGuard.targetExpr.inferredType, !arrayIsArrayGuard.narrowsInThen, condCtxAfterCond);
+        if (complementType) {
+            finalContext = applyExprFallthroughNarrowing(arrayIsArrayGuard.originalName, emittedTargetAst, complementType, condCtxAfterCond, finalContext, SYSTEM_ARRAY_STORAGE_TYPE);
+        }
+    }
+    return [
+        [
+            {
+                kind: "ifStatement",
+                condition: condAst,
+                thenStatement: thenStatementAst,
+                elseStatement: elseStmt,
+            },
+        ],
+        finalContext,
+    ];
+};
+/**
+ * Case E: typeof narrowing on plain locals/parameters, including
+ * compound `&&` truthy branches and `||` fallthrough/else branches.
+ */
+export const tryEmitTypeofGuard = (stmt, context) => {
+    const truthyTypeofRefinements = collectTypeofGuardRefinements(stmt.condition, "truthy");
+    const falsyTypeofRefinements = collectTypeofGuardRefinements(stmt.condition, "falsy");
+    if (truthyTypeofRefinements.length === 0 &&
+        falsyTypeofRefinements.length === 0) {
+        return undefined;
+    }
+    const [condAst, condCtxAfterCond] = emitBooleanConditionAst(stmt.condition, emitExprAstCb, context);
+    const preservedNarrowedBindings = context.narrowedBindings;
+    const semanticCondContext = {
+        ...condCtxAfterCond,
+        narrowedBindings: preservedNarrowedBindings,
+    };
+    const thenCtx = truthyTypeofRefinements.length > 0
+        ? applyConditionBranchNarrowing(stmt.condition, "truthy", semanticCondContext, emitExprAstCb)
+        : semanticCondContext;
+    const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, thenCtx);
+    const thenTerminates = isDefinitelyTerminating(stmt.thenStatement);
+    const basePostConditionContext = resetBranchFlowState(semanticCondContext, thenCtxAfter);
+    const elseBaseContext = {
+        ...semanticCondContext,
+        tempVarId: basePostConditionContext.tempVarId,
+        usings: basePostConditionContext.usings,
+        usedLocalNames: basePostConditionContext.usedLocalNames,
+        narrowedBindings: preservedNarrowedBindings,
+    };
+    const falsyFallthroughContext = falsyTypeofRefinements.length > 0
+        ? (applyConditionBranchNarrowing(stmt.condition, "falsy", elseBaseContext, emitExprAstCb) ?? elseBaseContext)
+        : elseBaseContext;
+    let finalContext = thenTerminates
+        ? falsyFallthroughContext
+        : mergeBranchExitContext(semanticCondContext, thenCtxAfter, falsyFallthroughContext);
+    let elseStmt;
+    if (stmt.elseStatement) {
+        const elseCtx = falsyTypeofRefinements.length > 0
+            ? applyConditionBranchNarrowing(stmt.condition, "falsy", elseBaseContext, emitExprAstCb)
+            : elseBaseContext;
+        const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtx);
+        elseStmt = wrapInBlock(elseStmts);
+        const elseTerminates = isDefinitelyTerminating(stmt.elseStatement);
+        if (thenTerminates && !elseTerminates) {
+            finalContext = mergeBranchContextMeta(elseCtxAfter, thenCtxAfter);
+        }
+        else if (!thenTerminates && elseTerminates) {
+            finalContext = mergeBranchContextMeta(thenCtxAfter, elseCtxAfter);
+        }
+        else {
+            finalContext = mergeBranchExitContext(semanticCondContext, thenCtxAfter, elseCtxAfter);
+        }
+    }
+    if (!stmt.elseStatement &&
+        thenTerminates &&
+        falsyTypeofRefinements.length > 0) {
+        finalContext = applyConditionBranchNarrowing(stmt.condition, "falsy", {
+            ...semanticCondContext,
+            tempVarId: finalContext.tempVarId,
+            usings: finalContext.usings,
+            usedLocalNames: finalContext.usedLocalNames,
+            narrowedBindings: preservedNarrowedBindings,
+        }, emitExprAstCb);
+    }
+    return [
+        [
+            {
+                kind: "ifStatement",
+                condition: condAst,
+                thenStatement: wrapInBlock(thenStmts),
+                elseStatement: elseStmt,
+            },
+        ],
+        finalContext,
+    ];
+};
+//# sourceMappingURL=if-emit-typeof-array-guards.js.map

package/dist/statements/control/conditionals/if-emit-typeof-array-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-typeof-array-guards.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-typeof-array-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EAAE,6BAA6B,EAAE,MAAM,sDAAsD,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,mCAAmC,GACpC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,2BAA2B,EAC3B,6BAA6B,EAC7B,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,uBAAuB,EACvB,+BAA+B,EAC/B,6BAA6B,EAC7B,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,oCAAoC,EACpC,yBAAyB,GAC1B,MAAM,+CAA+C,CAAC;AAKvD;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,IAAI,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,iBAAiB,CAC5D,iBAAiB,CAAC,UAAU,EAC5B,OAAO,CACR,CAAC;IACF,MAAM,mBAAmB,GAAG,mBAAmB,CAC7C,iBAAiB,CAAC,YAAY,EAC9B,iBAAiB,CAAC,UAAU,CAAC,YAAY,EACzC,gBAAgB,CACjB,CAAC;IACF,MAAM,4BAA4B,GAChC,iBAAiB,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QAChD,CAAC,CAAC,mCAAmC,CACjC,iBAAiB,CAAC,UAAU,EAC5B,gBAAgB,CACjB;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,iBAAiB,GACrB,iBAAiB,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QAChD,CAAC,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,GAAG,CACpC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAClC,IAAI,4BAA4B,CAAC;QACpC,CAAC,CAAC,kCAAkC,CAChC,iBAAiB,CAAC,UAAU,EAC5B,gBAAgB,EAChB,gBAAgB,CACjB,CAAC;IACR,MAAM,iBAAiB,GACrB,CAAC,4BAA4B;QAC7B,uBAAuB,CAAC,4BAA4B,EAAE,gBAAgB,CAAC;QACrE,CAAC,CAAC,kCAAkC,CAChC,iBAAiB,CAAC,UAAU,EAC5B,gBAAgB,CACjB;QACH,CAAC,CAAC,SAAS,CAAC;QACd,CAAC,iBAAiB;YAChB,CAAC,CAAC,kCAAkC,CAChC,iBAAiB,CAAC,UAAU,EAC5B,gBAAgB,CACjB;YACH,CAAC,CAAC,SAAS,CAAC;QACd,gBAAgB,CAAC;IACnB,MAAM,kBAAkB,GACtB,4BAA4B;QAC5B,uBAAuB,CAAC,4BAA4B,EAAE,gBAAgB,CAAC;QACrE,CAAC,CAAC,4BAA4B;QAC9B,CAAC,CAAC,iBAAiB;YACjB,CAAC,CAAC,uBAAuB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;gBAC5D,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,mBAAmB;gBACjB,uBAAuB,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;gBAChE,CAAC,CAAC,mBAAmB;gBACrB,CAAC,CAAC,SAAS,CAAC;IACpB,MAAM,iBAAiB,GACrB,kBAAkB;QAClB,wBAAwB,CACtB,iBAAiB,CAAC,YAAY,EAC9B,kBAAkB,EAClB,gBAAgB,CACjB,CAAC;IACJ,MAAM,iBAAiB,GACrB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACnD,IAAI,CAAC,MAAM,IAAI,CAAC,6BAA6B,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACxE,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,cAAc,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClE,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,IAAI,EAAE,CAAC;IACX,MAAM,YAAY,GAAG,sBAAsB,CACzC,iBAAiB,CAAC,UAAU,CAAC,YAAY,EACzC,iBAAiB,CAAC,aAAa,EAC/B,gBAAgB,CACjB,CAAC;IAEF,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,gBAAgB,GACpB,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEpE,IACE,iBAAiB;QACjB,gBAAgB;QAChB,iBAAiB,CAAC,iBAAiB,IAAI,CAAC,EACxC,CAAC;QACD,MAAM,CAAC,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACrD,IAAI,CAAC,SAAS,EACd,aAAa,EACb,gBAAgB,CACjB,CAAC;QAEF,MAAM,kBAAkB,GAAG,+BAA+B,CACxD,iBAAiB,CAAC,YAAY,EAC9B,iBAAiB,EACjB,gBAAgB,CAAC,cAAc,EAC/B,gBAAgB,CAAC,UAAU,EAC3B,kBAAkB,EAClB,mBAAmB,EACnB,oCAAoC,CAClC,gBAAgB,CAAC,UAAU,EAC3B,mBAAmB,CACpB,CACF,CAAC;QACF,MAAM,qBAAqB,GAAG,uBAAuB,CACnD,iBAAiB,CAAC,YAAY,EAC9B,iBAAiB,EACjB,iBAAiB,CAAC,iBAAiB,EACnC,iBAAiB,CAAC,iBAAiB,EACnC,iBAAiB,CAAC,OAAO,EACzB,gBAAgB,CAAC,cAAc,EAC/B,mBAAmB,CACpB,CAAC;QAEF,MAAM,OAAO,GACX,iBAAiB,CAAC,aAAa;YAC/B,iBAAiB,CAAC,iBAAiB,IAAI,CAAC;YACtC,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,qBAAqB,CAAC;QAC5B,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;QACF,MAAM,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnE,MAAM,wBAAwB,GAAG,oBAAoB,CACnD,mBAAmB,EACnB,YAAY,CACb,CAAC;QACF,MAAM,kBAAkB,GAAmB,iBAAiB,CAAC,aAAa;YACxE,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,kBAAkB,CAAC;QACvB,IAAI,YAAY,GAAmB,cAAc;YAC/C,CAAC,CAAC,sBAAsB,CAAC,kBAAkB,EAAE,YAAY,CAAC;YAC1D,CAAC,CAAC,sBAAsB,CACpB,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,CACnB,CAAC;QAEN,IAAI,QAAwC,CAAC;QAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,OAAO,GAAmB;gBAC9B,GAAG,CAAC,iBAAiB,CAAC,aAAa;oBACjC,CAAC,CAAC,qBAAqB;oBACvB,CAAC,CAAC,kBAAkB,CAAC;gBACvB,SAAS,EAAE,wBAAwB,CAAC,SAAS;gBAC7C,MAAM,EAAE,wBAAwB,CAAC,MAAM;gBACvC,cAAc,EAAE,wBAAwB,CAAC,cAAc;aACxD,CAAC;YACF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;YACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;YAClC,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAEnE,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YACpE,CAAC;iBAAM,IAAI,CAAC,cAAc,IAAI,cAAc,EAAE,CAAC;gBAC7C,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACN,YAAY,GAAG,sBAAsB,CACnC,mBAAmB,EACnB,YAAY,EACZ,YAAY,CACb,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,iBAAiB,CACtC,iBAAiB,EACjB,gBAAgB,CAAC,cAAc,EAC/B,CAAC,iBAAiB,CAAC,aAAa,CACjC,CAAC;QAEF,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,cAAc;oBACzB,aAAa,EAAE,gBAAgB;oBAC/B,aAAa,EAAE,QAAQ;iBACxB;aACF;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,GAAG,WAAW,CACpD,YAAY,EACZ,gBAAgB,CACjB,CAAC;IACF,WAAW,CAAC,GAAG,CACb,iBAAiB,CAAC,YAAY,EAC9B,gBAAgB,CACd;QACE,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,gBAAgB;KAC7B,EACD,YAAY,EACZ,SAAS,EACT,gBAAgB,EAChB,yBAAyB,CAC1B,CACF,CAAC;IAEF,MAAM,CAAC,OAAO,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CAC5D,IAAI,CAAC,SAAS,EACd,aAAa,EACb,gBAAgB,CACjB,CAAC;IAEF,MAAM,WAAW,GAAmB;QAClC,GAAG,eAAe;QAClB,GAAG,mBAAmB;QACtB,gBAAgB,EAAE,iBAAiB,CAAC,aAAa;YAC/C,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,gBAAgB,CAAC,gBAAgB;KACtC,CAAC;IACF,MAAM,OAAO,GAAG,WAAW,CAAC;IAC5B,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IACF,MAAM,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,wBAAwB,GAAG,oBAAoB,CACnD,gBAAgB,EAChB,YAAY,CACb,CAAC;IACF,MAAM,WAAW,GAAmB;QAClC,GAAG,wBAAwB;QAC3B,gBAAgB,EAAE,iBAAiB,CAAC,aAAa;YAC/C,CAAC,CAAC,gBAAgB,CAAC,gBAAgB;YACnC,CAAC,CAAC,WAAW;KAChB,CAAC;IACF,MAAM,kBAAkB,GAAG,WAAW,CAAC;IAEvC,IAAI,YAAY,GAAmB,cAAc;QAC/C,CAAC,CAAC,kBAAkB;QACpB,CAAC,CAAC,sBAAsB,CACpB,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,CACnB,CAAC;IAEN,IAAI,QAAwC,CAAC;IAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,WAAW,CAAC;QAC5B,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEnE,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,CAAC,cAAc,IAAI,cAAc,EAAE,CAAC;YAC7C,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,sBAAsB,CACnC,gBAAgB,EAChB,YAAY,EACZ,YAAY,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,cAAc,EAAE,CAAC;QAC1C,MAAM,cAAc,GAAG,sBAAsB,CAC3C,iBAAiB,CAAC,UAAU,CAAC,YAAY,EACzC,CAAC,iBAAiB,CAAC,aAAa,EAChC,gBAAgB,CACjB,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,YAAY,GAAG,6BAA6B,CAC1C,iBAAiB,CAAC,YAAY,EAC9B,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,yBAAyB,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL;YACE;gBACE,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,OAAO;gBAClB,aAAa,EAAE,gBAAgB;gBAC/B,aAAa,EAAE,QAAQ;aACxB;SACF;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,uBAAuB,GAAG,6BAA6B,CAC3D,IAAI,CAAC,SAAS,EACd,QAAQ,CACT,CAAC;IACF,MAAM,sBAAsB,GAAG,6BAA6B,CAC1D,IAAI,CAAC,SAAS,EACd,OAAO,CACR,CAAC;IACF,IACE,uBAAuB,CAAC,MAAM,KAAK,CAAC;QACpC,sBAAsB,CAAC,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,gBAAgB,CAAC,GAAG,uBAAuB,CACzD,IAAI,CAAC,SAAS,EACd,aAAa,EACb,OAAO,CACR,CAAC;IACF,MAAM,yBAAyB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC3D,MAAM,mBAAmB,GAAmB;QAC1C,GAAG,gBAAgB;QACnB,gBAAgB,EAAE,yBAAyB;KAC5C,CAAC;IAEF,MAAM,OAAO,GACX,uBAAuB,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC,6BAA6B,CAC3B,IAAI,CAAC,SAAS,EACd,QAAQ,EACR,mBAAmB,EACnB,aAAa,CACd;QACH,CAAC,CAAC,mBAAmB,CAAC;IAC1B,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,wBAAwB,GAAG,oBAAoB,CACnD,mBAAmB,EACnB,YAAY,CACb,CAAC;IACF,MAAM,eAAe,GAAmB;QACtC,GAAG,mBAAmB;QACtB,SAAS,EAAE,wBAAwB,CAAC,SAAS;QAC7C,MAAM,EAAE,wBAAwB,CAAC,MAAM;QACvC,cAAc,EAAE,wBAAwB,CAAC,cAAc;QACvD,gBAAgB,EAAE,yBAAyB;KAC5C,CAAC;IACF,MAAM,uBAAuB,GAC3B,sBAAsB,CAAC,MAAM,GAAG,CAAC;QAC/B,CAAC,CAAC,CAAC,6BAA6B,CAC5B,IAAI,CAAC,SAAS,EACd,OAAO,EACP,eAAe,EACf,aAAa,CACd,IAAI,eAAe,CAAC;QACvB,CAAC,CAAC,eAAe,CAAC;IACtB,IAAI,YAAY,GAAmB,cAAc;QAC/C,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,sBAAsB,CACpB,mBAAmB,EACnB,YAAY,EACZ,uBAAuB,CACxB,CAAC;IAEN,IAAI,QAAwC,CAAC;IAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,OAAO,GACX,sBAAsB,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAC,6BAA6B,CAC3B,IAAI,CAAC,SAAS,EACd,OAAO,EACP,eAAe,EACf,aAAa,CACd;YACH,CAAC,CAAC,eAAe,CAAC;QACtB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,cAAc,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAEnE,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,CAAC,cAAc,IAAI,cAAc,EAAE,CAAC;YAC7C,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,sBAAsB,CACnC,mBAAmB,EACnB,YAAY,EACZ,YAAY,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,CAAC,IAAI,CAAC,aAAa;QACnB,cAAc;QACd,sBAAsB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;QACD,YAAY,GAAG,6BAA6B,CAC1C,IAAI,CAAC,SAAS,EACd,OAAO,EACP;YACE,GAAG,mBAAmB;YACtB,SAAS,EAAE,YAAY,CAAC,SAAS;YACjC,MAAM,EAAE,YAAY,CAAC,MAAM;YAC3B,cAAc,EAAE,YAAY,CAAC,cAAc;YAC3C,gBAAgB,EAAE,yBAAyB;SAC5C,EACD,aAAa,CACd,CAAC;IACJ,CAAC;IAED,OAAO;QACL;YACE;gBACE,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,OAAO;gBAClB,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC;gBACrC,aAAa,EAAE,QAAQ;aACxB;SACF;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/statements/control/conditionals/if-emit-union-guards.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Union-narrowing guard emission cases for if-statements — facade re-exports.
+ *
+ * Implementations live in:
+ *   - if-emit-predicate-guards.ts
+ *   - if-emit-property-discriminant-guards.ts
+ */
+export { tryEmitPredicateGuard, tryEmitInGuard, } from "./if-emit-predicate-guards.js";
+export { tryEmitPropertyTruthinessGuard, tryEmitDiscriminantEqualityGuard, tryEmitNegatedPredicateGuard, } from "./if-emit-property-discriminant-guards.js";
+//# sourceMappingURL=if-emit-union-guards.d.ts.map

package/dist/statements/control/conditionals/if-emit-union-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-union-guards.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-union-guards.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,qBAAqB,EACrB,cAAc,GACf,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,EAC9B,gCAAgC,EAChC,4BAA4B,GAC7B,MAAM,2CAA2C,CAAC"}

package/dist/statements/control/conditionals/if-emit-union-guards.js

@@ -0,0 +1,10 @@
+/**
+ * Union-narrowing guard emission cases for if-statements — facade re-exports.
+ *
+ * Implementations live in:
+ *   - if-emit-predicate-guards.ts
+ *   - if-emit-property-discriminant-guards.ts
+ */
+export { tryEmitPredicateGuard, tryEmitInGuard, } from "./if-emit-predicate-guards.js";
+export { tryEmitPropertyTruthinessGuard, tryEmitDiscriminantEqualityGuard, tryEmitNegatedPredicateGuard, } from "./if-emit-property-discriminant-guards.js";
+//# sourceMappingURL=if-emit-union-guards.js.map

package/dist/statements/control/conditionals/if-emit-union-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-union-guards.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-union-guards.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,qBAAqB,EACrB,cAAc,GACf,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,8BAA8B,EAC9B,gCAAgC,EAChC,4BAA4B,GAC7B,MAAM,2CAA2C,CAAC"}

package/dist/statements/control/conditionals/if-emitter.d.ts

@@ -1,12 +1,15 @@
 /**
- * If-statement emitter with union/instanceof/nullable guard narrowing.
- * Returns CSharpStatementAst nodes.
+ * If-statement emitter — main dispatch orchestrator.
+ *
+ * Routes if-statement guards to specialized sub-emitters for union-narrowing
+ * and type-based guards, handles compound AND cases inline, and falls through
+ * to standard condition-narrowing emission.
  */
 import { IrStatement } from "@tsonic/frontend";
 import { EmitterContext } from "../../../types.js";
 import type { CSharpStatementAst } from "../../../core/format/backend-ast/types.js";
 /**
- * Emit an if statement as AST
+ * Emit an if-statement with guard-based union/instanceof/nullable narrowing.
  */
 export declare const emitIfStatementAst: (stmt: Extract<IrStatement, {
     kind: "ifStatement";

package/dist/statements/control/conditionals/if-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"if-emitter.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAmB,MAAM,mBAAmB,CAAC;AAIpE,OAAO,KAAK,EAEV,kBAAkB,EAEnB,MAAM,2CAA2C,CAAC;AAkVnD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAmpChD,CAAC"}
+{"version":3,"file":"if-emitter.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAEV,kBAAkB,EACnB,MAAM,2CAA2C,CAAC;AAkCnD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CA4NhD,CAAC"}