@tsonic/emitter 0.0.74 → 0.0.75

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

@@ -0,0 +1,165 @@
+/**
+ * Predicate and in-operator union-narrowing guard emission for if-statements.
+ * Handles predicate guards (`if (isUser(account)) { ... }`) and
+ * in-operator guards (`if ("error" in auth) { ... }`).
+ */
+import { buildAnyIsNCondition, buildIsNCondition, buildCastLocalDecl, buildSubsetUnionType, resetBranchFlowState, withComplementNarrowing, withComplementNarrowingForMembers, wrapInBlock, emitForcedBlockWithPreambleAst, emitBranchScopedStatementAst, } from "./branch-context.js";
+import { tryResolvePredicateGuard, tryResolveInGuard, isDefinitelyTerminating, } from "./guard-analysis.js";
+/**
+ * Try to emit a predicate guard narrowing for `if (isUser(account)) { ... }`.
+ * Returns undefined if the condition is not a matching predicate call.
+ */
+export const tryEmitPredicateGuard = (stmt, context) => {
+    if (stmt.condition.kind !== "call")
+        return undefined;
+    const guard = tryResolvePredicateGuard(stmt.condition, context);
+    if (!guard)
+        return undefined;
+    const { originalName, receiverAst, memberN, memberNs, unionArity, runtimeUnionArity, candidateMemberNs, candidateMembers, ctxWithId, escapedNarrow, narrowedMap, targetType, sourceType, sourceMembers, sourceCandidateMemberNs, } = guard;
+    const condAst = buildAnyIsNCondition(receiverAst, memberNs, false);
+    const [thenBlock, thenBodyCtx] = memberN !== undefined
+        ? emitForcedBlockWithPreambleAst([buildCastLocalDecl(escapedNarrow, receiverAst, memberN)], stmt.thenStatement, {
+            ...ctxWithId,
+            narrowedBindings: narrowedMap,
+        })
+        : (() => {
+            const narrowedBindings = new Map(ctxWithId.narrowedBindings ?? []);
+            narrowedBindings.set(originalName, {
+                kind: "runtimeSubset",
+                runtimeMemberNs: memberNs,
+                runtimeUnionArity,
+                storageExprAst: receiverAst,
+                sourceMembers: sourceMembers ? [...sourceMembers] : undefined,
+                sourceCandidateMemberNs: sourceCandidateMemberNs
+                    ? [...sourceCandidateMemberNs]
+                    : undefined,
+                type: targetType,
+                sourceType: sourceType ?? buildSubsetUnionType(candidateMembers),
+            });
+            const [thenStmts, nextThenCtx] = emitBranchScopedStatementAst(stmt.thenStatement, {
+                ...ctxWithId,
+                narrowedBindings,
+            });
+            return [wrapInBlock(thenStmts), nextThenCtx];
+        })();
+    let finalContext = {
+        ...thenBodyCtx,
+        narrowedBindings: ctxWithId.narrowedBindings,
+    };
+    let elseStmt;
+    if (stmt.elseStatement) {
+        const elseCtxBase = memberNs.length === 1 && unionArity === 2 && memberN !== undefined
+            ? withComplementNarrowing(originalName, receiverAst, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, finalContext)
+            : withComplementNarrowingForMembers(originalName, receiverAst, runtimeUnionArity, candidateMemberNs, candidateMembers, memberNs, finalContext);
+        const [elseStmts, elseCtx] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtxBase);
+        elseStmt = wrapInBlock(elseStmts);
+        finalContext = {
+            ...elseCtx,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        };
+        return [
+            [
+                {
+                    kind: "ifStatement",
+                    condition: condAst,
+                    thenStatement: thenBlock,
+                    elseStatement: elseStmt,
+                },
+            ],
+            finalContext,
+        ];
+    }
+    if (isDefinitelyTerminating(stmt.thenStatement)) {
+        finalContext =
+            memberNs.length === 1 && memberN !== undefined
+                ? withComplementNarrowing(originalName, receiverAst, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, finalContext)
+                : withComplementNarrowingForMembers(originalName, receiverAst, runtimeUnionArity, candidateMemberNs, candidateMembers, memberNs, finalContext);
+    }
+    const ifStmt = {
+        kind: "ifStatement",
+        condition: condAst,
+        thenStatement: thenBlock,
+        elseStatement: elseStmt,
+    };
+    return [[ifStmt], finalContext];
+};
+/**
+ * Try to emit an `in`-operator guard narrowing for `if ("error" in auth) { ... }`.
+ * Returns undefined if the condition is not a matching in-guard.
+ */
+export const tryEmitInGuard = (stmt, context) => {
+    const inGuard = tryResolveInGuard(stmt.condition, context);
+    if (!inGuard)
+        return undefined;
+    const { originalName, memberN, unionArity, runtimeUnionArity, candidateMemberNs, candidateMembers, ctxWithId, escapedOrig, escapedNarrow, narrowedMap, } = inGuard;
+    const condAst = buildIsNCondition(escapedOrig, memberN, false);
+    const castStmt = buildCastLocalDecl(escapedNarrow, escapedOrig, memberN);
+    const thenCtx = {
+        ...ctxWithId,
+        narrowedBindings: narrowedMap,
+    };
+    const [thenBlock, thenBodyCtx] = emitForcedBlockWithPreambleAst([castStmt], stmt.thenStatement, thenCtx);
+    const basePostConditionContext = resetBranchFlowState(ctxWithId, thenBodyCtx);
+    let finalContext = basePostConditionContext;
+    let elseStmt;
+    if (stmt.elseStatement) {
+        if (unionArity === 2) {
+            const elseCtx = withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, basePostConditionContext);
+            const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtx);
+            elseStmt = wrapInBlock(elseStmts);
+            finalContext = {
+                ...elseCtxAfter,
+                narrowedBindings: ctxWithId.narrowedBindings,
+            };
+            return [
+                [
+                    {
+                        kind: "ifStatement",
+                        condition: condAst,
+                        thenStatement: thenBlock,
+                        elseStatement: elseStmt,
+                    },
+                ],
+                finalContext,
+            ];
+        }
+        // Can't narrow ELSE safely, emit without narrowing.
+        const [elseStmts, elseCtx] = emitBranchScopedStatementAst(stmt.elseStatement, {
+            ...basePostConditionContext,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        });
+        elseStmt = wrapInBlock(elseStmts);
+        finalContext = {
+            ...elseCtx,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        };
+        return [
+            [
+                {
+                    kind: "ifStatement",
+                    condition: condAst,
+                    thenStatement: thenBlock,
+                    elseStatement: elseStmt,
+                },
+            ],
+            finalContext,
+        ];
+    }
+    // Post-if narrowing for early-exit patterns (2-member unions only)
+    if (isDefinitelyTerminating(stmt.thenStatement)) {
+        finalContext = withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, basePostConditionContext);
+        return [
+            [{ kind: "ifStatement", condition: condAst, thenStatement: thenBlock }],
+            finalContext,
+        ];
+    }
+    finalContext = {
+        ...finalContext,
+        narrowedBindings: ctxWithId.narrowedBindings,
+    };
+    return [
+        [{ kind: "ifStatement", condition: condAst, thenStatement: thenBlock }],
+        finalContext,
+    ];
+};
+//# sourceMappingURL=if-emit-predicate-guards.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-predicate-guards.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-predicate-guards.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EACvB,iCAAiC,EACjC,WAAW,EACX,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAK7B;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IAErD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EACJ,YAAY,EACZ,WAAW,EACX,OAAO,EACP,QAAQ,EACR,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,WAAW,EACX,UAAU,EACV,UAAU,EACV,aAAa,EACb,uBAAuB,GACxB,GAAG,KAAK,CAAC;IAEV,MAAM,OAAO,GAAG,oBAAoB,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEnE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAC5B,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,8BAA8B,CAC5B,CAAC,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,EACzD,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,SAAS;YACZ,gBAAgB,EAAE,WAAW;SAC9B,CACF;QACH,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;YACnE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE;gBACjC,IAAI,EAAE,eAAe;gBACrB,eAAe,EAAE,QAAQ;gBACzB,iBAAiB;gBACjB,cAAc,EAAE,WAAW;gBAC3B,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC7D,uBAAuB,EAAE,uBAAuB;oBAC9C,CAAC,CAAC,CAAC,GAAG,uBAAuB,CAAC;oBAC9B,CAAC,CAAC,SAAS;gBACb,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC;aACjE,CAAC,CAAC;YACH,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC3D,IAAI,CAAC,aAAa,EAClB;gBACE,GAAG,SAAS;gBACZ,gBAAgB;aACjB,CACF,CAAC;YACF,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,WAAW,CAAU,CAAC;QACxD,CAAC,CAAC,EAAE,CAAC;IAEX,IAAI,YAAY,GAAmB;QACjC,GAAG,WAAW;QACd,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;IAEF,IAAI,QAAwC,CAAC;IAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,WAAW,GACf,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS;YAChE,CAAC,CAAC,uBAAuB,CACrB,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,YAAY,CACb;YACH,CAAC,CAAC,iCAAiC,CAC/B,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,QAAQ,EACR,YAAY,CACb,CAAC;QACR,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB,WAAW,CACZ,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,YAAY,GAAG;YACb,GAAG,OAAO;YACV,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CAAC;QACF,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,OAAO;oBAClB,aAAa,EAAE,SAAS;oBACxB,aAAa,EAAE,QAAQ;iBACxB;aACF;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,IAAI,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAChD,YAAY;YACV,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS;gBAC5C,CAAC,CAAC,uBAAuB,CACrB,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,YAAY,CACb;gBACH,CAAC,CAAC,iCAAiC,CAC/B,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,QAAQ,EACR,YAAY,CACb,CAAC;IACV,CAAC;IAED,MAAM,MAAM,GAAuB;QACjC,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,OAAO;QAClB,aAAa,EAAE,SAAS;QACxB,aAAa,EAAE,QAAQ;KACxB,CAAC;IAEF,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,EACJ,YAAY,EACZ,OAAO,EACP,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACT,WAAW,EACX,aAAa,EACb,WAAW,GACZ,GAAG,OAAO,CAAC;IAEZ,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAEzE,MAAM,OAAO,GAAmB;QAC9B,GAAG,SAAS;QACZ,gBAAgB,EAAE,WAAW;KAC9B,CAAC;IAEF,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,8BAA8B,CAC7D,CAAC,QAAQ,CAAC,EACV,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IAEF,MAAM,wBAAwB,GAAG,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC9E,IAAI,YAAY,GAAmB,wBAAwB,CAAC;IAE5D,IAAI,QAAwC,CAAC;IAE7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,uBAAuB,CACrC,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,wBAAwB,CACzB,CAAC;YAEF,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,YAAY,GAAG;gBACb,GAAG,YAAY;gBACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC7C,CAAC;YAEF,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,OAAO;wBAClB,aAAa,EAAE,SAAS;wBACxB,aAAa,EAAE,QAAQ;qBACxB;iBACF;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,oDAAoD;QACpD,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,wBAAwB;YAC3B,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CACF,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,YAAY,GAAG;YACb,GAAG,OAAO;YACV,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CAAC;QAEF,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,OAAO;oBAClB,aAAa,EAAE,SAAS;oBACxB,aAAa,EAAE,QAAQ;iBACxB;aACF;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,IAAI,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAChD,YAAY,GAAG,uBAAuB,CACpC,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,wBAAwB,CACzB,CAAC;QACF,OAAO;YACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;YACvE,YAAY;SACb,CAAC;IACJ,CAAC;IAED,YAAY,GAAG;QACb,GAAG,YAAY;QACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;IACF,OAAO;QACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;QACvE,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,24 @@
+/** Property-truthiness, discriminant-equality, and negated-predicate union-narrowing guard emission. */
+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;
+/** Try to emit a property-truthiness guard for `if (result.success) { ... }`. */
+export declare const tryEmitPropertyTruthinessGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+/**
+ * Try to emit a discriminant-equality guard narrowing for
+ * `if (shape.kind === "circle") { ... }`.
+ * Returns undefined if the condition is not a matching discriminant-equality guard.
+ */
+export declare const tryEmitDiscriminantEqualityGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+/**
+ * Try to emit a negated predicate guard narrowing for
+ * `if (!isUser(account)) { ... }`.
+ * Returns undefined if the condition is not a matching negated predicate call.
+ */
+export declare const tryEmitNegatedPredicateGuard: (stmt: IfStatement, context: EmitterContext) => GuardResult;
+export {};
+//# sourceMappingURL=if-emit-property-discriminant-guards.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-property-discriminant-guards.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-property-discriminant-guards.ts"],"names":[],"mappings":"AAAA,wGAAwG;AAExG,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AA4BpF,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;AAoC/E,iFAAiF;AACjF,eAAO,MAAM,8BAA8B,GACzC,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WA2IF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAC3C,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WAqOF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,WAAW,EACjB,SAAS,cAAc,KACtB,WA6MF,CAAC"}

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

@@ -0,0 +1,391 @@
+/** Property-truthiness, discriminant-equality, and negated-predicate union-narrowing guard emission. */
+import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
+import { makeNarrowedLocalName } from "../../../core/semantic/narrowing-keys.js";
+import { buildRuntimeUnionMatchAst } from "../../../core/semantic/runtime-union-projection.js";
+import { emitCSharpName } from "../../../naming-policy.js";
+import { buildAnyIsNCondition, buildProjectedExprBinding, buildSubsetUnionType, toReceiverAst, buildUnionNarrowAst, resetBranchFlowState, withComplementNarrowing, withComplementNarrowingForMembers, wrapInBlock, emitForcedBlockWithPreambleAst, buildCastLocalDecl, buildIsNCondition, emitBranchScopedStatementAst, } from "./branch-context.js";
+import { tryResolvePredicateGuard, tryResolvePropertyTruthinessGuard, tryResolveDiscriminantEqualityGuard, isDefinitelyTerminating, } from "./guard-analysis.js";
+const buildRuntimeUnionPropertyTruthinessCondition = (receiver, propertyName, wantTruthy, unionArity, context) => {
+    const emittedPropertyName = emitCSharpName(propertyName, "properties", context);
+    const matchAst = buildRuntimeUnionMatchAst(toReceiverAst(receiver), Array.from({ length: unionArity }, (_, index) => {
+        const parameterName = `__tsonic_union_member_${index + 1}`;
+        return {
+            kind: "lambdaExpression",
+            isAsync: false,
+            parameters: [{ name: parameterName }],
+            body: {
+                kind: "memberAccessExpression",
+                expression: {
+                    kind: "identifierExpression",
+                    identifier: parameterName,
+                },
+                memberName: emittedPropertyName,
+            },
+        };
+    }), [{ kind: "predefinedType", keyword: "bool" }]);
+    return wantTruthy
+        ? matchAst
+        : { kind: "prefixUnaryExpression", operatorToken: "!", operand: matchAst };
+};
+/** Try to emit a property-truthiness guard for `if (result.success) { ... }`. */
+export const tryEmitPropertyTruthinessGuard = (stmt, context) => {
+    const propertyTruthinessGuard = tryResolvePropertyTruthinessGuard(stmt.condition, context);
+    if (!propertyTruthinessGuard)
+        return undefined;
+    const { originalName, propertyName, wantTruthy, memberN, unionArity, runtimeUnionArity, candidateMemberNs, candidateMembers, ctxWithId, escapedOrig, escapedNarrow, narrowedMap, } = propertyTruthinessGuard;
+    if (runtimeUnionArity !== unionArity ||
+        candidateMemberNs.length !== unionArity ||
+        !candidateMemberNs.every((candidateMemberN, index) => candidateMemberN === index + 1)) {
+        return undefined;
+    }
+    const condAst = buildRuntimeUnionPropertyTruthinessCondition(escapedOrig, propertyName, wantTruthy, unionArity, context);
+    const castStmt = buildCastLocalDecl(escapedNarrow, escapedOrig, memberN);
+    const thenCtx = {
+        ...ctxWithId,
+        narrowedBindings: narrowedMap,
+    };
+    const [thenBlock, thenBodyCtx] = emitForcedBlockWithPreambleAst([castStmt], stmt.thenStatement, thenCtx);
+    const basePostConditionContext = resetBranchFlowState(ctxWithId, thenBodyCtx);
+    let finalContext = basePostConditionContext;
+    let elseStmt;
+    if (stmt.elseStatement) {
+        if (unionArity === 2) {
+            const elseCtx = withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, basePostConditionContext);
+            const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, elseCtx);
+            elseStmt = wrapInBlock(elseStmts);
+            finalContext = {
+                ...elseCtxAfter,
+                narrowedBindings: ctxWithId.narrowedBindings,
+            };
+            return [
+                [
+                    {
+                        kind: "ifStatement",
+                        condition: condAst,
+                        thenStatement: thenBlock,
+                        elseStatement: elseStmt,
+                    },
+                ],
+                finalContext,
+            ];
+        }
+        const [elseStmts, elseCtx] = emitBranchScopedStatementAst(stmt.elseStatement, {
+            ...basePostConditionContext,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        });
+        elseStmt = wrapInBlock(elseStmts);
+        finalContext = {
+            ...elseCtx,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        };
+        return [
+            [
+                {
+                    kind: "ifStatement",
+                    condition: condAst,
+                    thenStatement: thenBlock,
+                    elseStatement: elseStmt,
+                },
+            ],
+            finalContext,
+        ];
+    }
+    if (isDefinitelyTerminating(stmt.thenStatement)) {
+        finalContext = withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, basePostConditionContext);
+        return [
+            [{ kind: "ifStatement", condition: condAst, thenStatement: thenBlock }],
+            finalContext,
+        ];
+    }
+    finalContext = {
+        ...finalContext,
+        narrowedBindings: ctxWithId.narrowedBindings,
+    };
+    return [
+        [{ kind: "ifStatement", condition: condAst, thenStatement: thenBlock }],
+        finalContext,
+    ];
+};
+/**
+ * Try to emit a discriminant-equality guard narrowing for
+ * `if (shape.kind === "circle") { ... }`.
+ * Returns undefined if the condition is not a matching discriminant-equality guard.
+ */
+export const tryEmitDiscriminantEqualityGuard = (stmt, context) => {
+    const eqGuard = tryResolveDiscriminantEqualityGuard(stmt.condition, context);
+    if (!eqGuard)
+        return undefined;
+    const { originalName, operator, memberN, unionArity, runtimeUnionArity, candidateMemberNs, candidateMembers, ctxWithId, escapedOrig, escapedNarrow, narrowedMap, } = eqGuard;
+    const isInequality = operator === "!==" || operator === "!=";
+    const condAst = buildIsNCondition(escapedOrig, memberN, isInequality);
+    let finalContext = ctxWithId;
+    // Equality: narrow THEN to memberN. Inequality: narrow ELSE to memberN.
+    if (!isInequality) {
+        const castStmt = buildCastLocalDecl(escapedNarrow, escapedOrig, memberN);
+        const thenCtx = {
+            ...ctxWithId,
+            narrowedBindings: narrowedMap,
+        };
+        const [thenBlock, thenBodyCtx] = emitForcedBlockWithPreambleAst([castStmt], stmt.thenStatement, thenCtx);
+        const basePostConditionContext = resetBranchFlowState(ctxWithId, thenBodyCtx);
+        finalContext = basePostConditionContext;
+        let elseStmt;
+        if (stmt.elseStatement) {
+            if (unionArity === 2) {
+                const [elseStmts, elseCtxAfter] = emitBranchScopedStatementAst(stmt.elseStatement, withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, basePostConditionContext));
+                elseStmt = wrapInBlock(elseStmts);
+                finalContext = {
+                    ...elseCtxAfter,
+                    narrowedBindings: ctxWithId.narrowedBindings,
+                };
+                return [
+                    [
+                        {
+                            kind: "ifStatement",
+                            condition: condAst,
+                            thenStatement: thenBlock,
+                            elseStatement: elseStmt,
+                        },
+                    ],
+                    finalContext,
+                ];
+            }
+            const [elseStmts, elseCtx] = emitBranchScopedStatementAst(stmt.elseStatement, {
+                ...basePostConditionContext,
+                narrowedBindings: ctxWithId.narrowedBindings,
+            });
+            elseStmt = wrapInBlock(elseStmts);
+            finalContext = {
+                ...elseCtx,
+                narrowedBindings: ctxWithId.narrowedBindings,
+            };
+            return [
+                [
+                    {
+                        kind: "ifStatement",
+                        condition: condAst,
+                        thenStatement: thenBlock,
+                        elseStatement: elseStmt,
+                    },
+                ],
+                finalContext,
+            ];
+        }
+        // Post-if narrowing for early-exit patterns (2-member unions only)
+        if (isDefinitelyTerminating(stmt.thenStatement)) {
+            finalContext = withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, basePostConditionContext);
+            return [
+                [
+                    {
+                        kind: "ifStatement",
+                        condition: condAst,
+                        thenStatement: thenBlock,
+                    },
+                ],
+                finalContext,
+            ];
+        }
+        finalContext = {
+            ...finalContext,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        };
+        return [
+            [{ kind: "ifStatement", condition: condAst, thenStatement: thenBlock }],
+            finalContext,
+        ];
+    }
+    // Inequality: THEN is "not memberN", ELSE is memberN
+    {
+        let thenStmt;
+        let thenCtx;
+        if (unionArity === 2) {
+            const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, {
+                ...withComplementNarrowing(originalName, escapedOrig, runtimeUnionArity, candidateMemberNs, candidateMembers, memberN, ctxWithId),
+            });
+            thenStmt = wrapInBlock(thenStmts);
+            thenCtx = thenCtxAfter;
+        }
+        else {
+            const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(stmt.thenStatement, ctxWithId);
+            thenStmt = wrapInBlock(thenStmts);
+            thenCtx = thenCtxAfter;
+        }
+        finalContext = thenCtx;
+        let elseStmt;
+        if (stmt.elseStatement) {
+            const castStmt = buildCastLocalDecl(escapedNarrow, escapedOrig, memberN);
+            const [elseBlock, elseBodyCtx] = emitForcedBlockWithPreambleAst([castStmt], stmt.elseStatement, { ...ctxWithId, narrowedBindings: narrowedMap });
+            elseStmt = elseBlock;
+            finalContext = {
+                ...elseBodyCtx,
+                narrowedBindings: ctxWithId.narrowedBindings,
+            };
+            return [
+                [
+                    {
+                        kind: "ifStatement",
+                        condition: condAst,
+                        thenStatement: thenStmt,
+                        elseStatement: elseStmt,
+                    },
+                ],
+                finalContext,
+            ];
+        }
+        // Post-if narrowing for early-exit patterns
+        if (isDefinitelyTerminating(stmt.thenStatement)) {
+            const narrowedBindings = new Map(finalContext.narrowedBindings ?? []);
+            narrowedBindings.set(originalName, buildProjectedExprBinding(buildUnionNarrowAst(escapedOrig, memberN), candidateMembers[candidateMemberNs.findIndex((runtimeMemberN) => runtimeMemberN === memberN)], undefined, toReceiverAst(escapedOrig)));
+            finalContext = { ...finalContext, narrowedBindings };
+            return [
+                [
+                    {
+                        kind: "ifStatement",
+                        condition: condAst,
+                        thenStatement: thenStmt,
+                    },
+                ],
+                finalContext,
+            ];
+        }
+        finalContext = {
+            ...finalContext,
+            narrowedBindings: ctxWithId.narrowedBindings,
+        };
+        return [
+            [{ kind: "ifStatement", condition: condAst, thenStatement: thenStmt }],
+            finalContext,
+        ];
+    }
+};
+/**
+ * Try to emit a negated predicate guard narrowing for
+ * `if (!isUser(account)) { ... }`.
+ * Returns undefined if the condition is not a matching negated predicate call.
+ */
+export const tryEmitNegatedPredicateGuard = (stmt, context) => {
+    const thenStatement = stmt.thenStatement;
+    if (!thenStatement) {
+        return undefined;
+    }
+    if (stmt.condition.kind !== "unary" ||
+        stmt.condition.operator !== "!" ||
+        stmt.condition.expression.kind !== "call") {
+        return undefined;
+    }
+    const innerCall = stmt.condition.expression;
+    const guard = tryResolvePredicateGuard(innerCall, context);
+    if (!guard)
+        return undefined;
+    const { originalName, receiverAst, memberN, memberNs, unionArity, runtimeUnionArity, candidateMemberNs, candidateMembers, ctxWithId, escapedNarrow, narrowedMap, targetType, sourceType, sourceMembers, sourceCandidateMemberNs, } = guard;
+    const condAst = buildAnyIsNCondition(receiverAst, memberNs, true);
+    // THEN branch: for 2-member unions narrow to OTHER member
+    let thenStmt;
+    let thenCtx;
+    if (memberNs.length === 1 && unionArity === 2 && memberN !== undefined) {
+        const otherIndex = candidateMemberNs.findIndex((runtimeMemberN) => runtimeMemberN !== memberN);
+        const otherMemberN = otherIndex >= 0 ? candidateMemberNs[otherIndex] : undefined;
+        const otherMemberType = otherIndex >= 0 ? candidateMembers[otherIndex] : undefined;
+        if (!otherMemberN || !otherMemberType) {
+            throw new Error("ICE: Failed to resolve complement runtime union member for negated predicate guard.");
+        }
+        const nextId = (ctxWithId.tempVarId ?? 0) + 1;
+        const thenCtxWithId = {
+            ...ctxWithId,
+            tempVarId: nextId,
+        };
+        const thenNarrowedName = makeNarrowedLocalName(originalName, otherMemberN, nextId);
+        const escapedThenNarrow = escapeCSharpIdentifier(thenNarrowedName);
+        const thenNarrowedMap = new Map(thenCtxWithId.narrowedBindings ?? []);
+        thenNarrowedMap.set(originalName, {
+            kind: "rename",
+            name: thenNarrowedName,
+            type: otherMemberType,
+            sourceType: buildSubsetUnionType(candidateMembers),
+        });
+        const thenCastStmt = buildCastLocalDecl(escapedThenNarrow, receiverAst, otherMemberN);
+        const [thenBlock, thenBlockCtx] = emitForcedBlockWithPreambleAst([thenCastStmt], thenStatement, { ...thenCtxWithId, narrowedBindings: thenNarrowedMap });
+        thenStmt = thenBlock;
+        thenCtx = thenBlockCtx;
+    }
+    else {
+        const [thenStmts, thenCtxAfter] = emitBranchScopedStatementAst(thenStatement, withComplementNarrowingForMembers(originalName, receiverAst, runtimeUnionArity, candidateMemberNs, candidateMembers, memberNs, context));
+        thenStmt = wrapInBlock(thenStmts);
+        thenCtx = thenCtxAfter;
+    }
+    if (stmt.elseStatement) {
+        const [elseBlock, _elseBodyCtx] = memberN !== undefined
+            ? emitForcedBlockWithPreambleAst([buildCastLocalDecl(escapedNarrow, receiverAst, memberN)], stmt.elseStatement, { ...ctxWithId, narrowedBindings: narrowedMap })
+            : (() => {
+                const narrowedBindings = new Map(ctxWithId.narrowedBindings ?? []);
+                narrowedBindings.set(originalName, {
+                    kind: "runtimeSubset",
+                    runtimeMemberNs: memberNs,
+                    runtimeUnionArity,
+                    storageExprAst: receiverAst,
+                    sourceMembers: sourceMembers ? [...sourceMembers] : undefined,
+                    sourceCandidateMemberNs: sourceCandidateMemberNs
+                        ? [...sourceCandidateMemberNs]
+                        : undefined,
+                    type: targetType,
+                    sourceType: sourceType ?? buildSubsetUnionType(candidateMembers),
+                });
+                const [elseStmts, nextElseCtx] = emitBranchScopedStatementAst(stmt.elseStatement, {
+                    ...ctxWithId,
+                    narrowedBindings,
+                });
+                return [wrapInBlock(elseStmts), nextElseCtx];
+            })();
+        return [
+            [
+                {
+                    kind: "ifStatement",
+                    condition: condAst,
+                    thenStatement: thenStmt,
+                    elseStatement: elseBlock,
+                },
+            ],
+            thenCtx,
+        ];
+    }
+    let finalContext = thenCtx;
+    if (isDefinitelyTerminating(thenStatement)) {
+        const narrowedBindings = new Map(finalContext.narrowedBindings ?? []);
+        if (memberN !== undefined) {
+            const selectedIndex = candidateMemberNs.findIndex((runtimeMemberN) => runtimeMemberN === memberN);
+            const selectedMemberType = selectedIndex >= 0 ? candidateMembers[selectedIndex] : undefined;
+            if (!selectedMemberType) {
+                throw new Error("ICE: Failed to resolve predicate target runtime union member for negated predicate fallthrough.");
+            }
+            narrowedBindings.set(originalName, buildProjectedExprBinding(buildUnionNarrowAst(receiverAst, memberN), selectedMemberType, sourceType, toReceiverAst(receiverAst)));
+        }
+        else {
+            narrowedBindings.set(originalName, {
+                kind: "runtimeSubset",
+                runtimeMemberNs: memberNs,
+                runtimeUnionArity,
+                storageExprAst: receiverAst,
+                sourceMembers: sourceMembers ? [...sourceMembers] : undefined,
+                sourceCandidateMemberNs: sourceCandidateMemberNs
+                    ? [...sourceCandidateMemberNs]
+                    : undefined,
+                type: targetType,
+                sourceType: sourceType ?? buildSubsetUnionType(candidateMembers),
+            });
+        }
+        finalContext = { ...finalContext, narrowedBindings };
+        return [
+            [{ kind: "ifStatement", condition: condAst, thenStatement: thenStmt }],
+            finalContext,
+        ];
+    }
+    finalContext = {
+        ...finalContext,
+        narrowedBindings: ctxWithId.narrowedBindings,
+    };
+    return [
+        [{ kind: "ifStatement", condition: condAst, thenStatement: thenStmt }],
+        finalContext,
+    ];
+};
+//# sourceMappingURL=if-emit-property-discriminant-guards.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-property-discriminant-guards.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-property-discriminant-guards.ts"],"names":[],"mappings":"AAAA,wGAAwG;AAMxG,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,oDAAoD,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,oBAAoB,EACpB,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,uBAAuB,EACvB,iCAAiC,EACjC,WAAW,EACX,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,wBAAwB,EACxB,iCAAiC,EACjC,mCAAmC,EACnC,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAK7B,MAAM,4CAA4C,GAAG,CACnD,QAAgB,EAChB,YAAoB,EACpB,UAAmB,EACnB,UAAkB,EAClB,OAAuB,EACF,EAAE;IACvB,MAAM,mBAAmB,GAAG,cAAc,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,yBAAyB,CACxC,aAAa,CAAC,QAAQ,CAAC,EACvB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC9C,MAAM,aAAa,GAAG,yBAAyB,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3D,OAAO;YACL,IAAI,EAAE,kBAA2B;YACjC,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;YACrC,IAAI,EAAE;gBACJ,IAAI,EAAE,wBAAiC;gBACvC,UAAU,EAAE;oBACV,IAAI,EAAE,sBAA+B;oBACrC,UAAU,EAAE,aAAa;iBAC1B;gBACD,UAAU,EAAE,mBAAmB;aAChC;SACF,CAAC;IACJ,CAAC,CAAC,EACF,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAC9C,CAAC;IAEF,OAAO,UAAU;QACf,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/E,CAAC,CAAC;AAEF,iFAAiF;AACjF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,uBAAuB,GAAG,iCAAiC,CAC/D,IAAI,CAAC,SAAS,EACd,OAAO,CACR,CAAC;IACF,IAAI,CAAC,uBAAuB;QAAE,OAAO,SAAS,CAAC;IAE/C,MAAM,EACJ,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,OAAO,EACP,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACT,WAAW,EACX,aAAa,EACb,WAAW,GACZ,GAAG,uBAAuB,CAAC;IAE5B,IACE,iBAAiB,KAAK,UAAU;QAChC,iBAAiB,CAAC,MAAM,KAAK,UAAU;QACvC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,KAAK,KAAK,GAAG,CAAC,CAAC,EACrF,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,4CAA4C,CAC1D,WAAW,EACX,YAAY,EACZ,UAAU,EACV,UAAU,EACV,OAAO,CACR,CAAC;IACF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAEzE,MAAM,OAAO,GAAmB;QAC9B,GAAG,SAAS;QACZ,gBAAgB,EAAE,WAAW;KAC9B,CAAC;IAEF,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,8BAA8B,CAC7D,CAAC,QAAQ,CAAC,EACV,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;IAEF,MAAM,wBAAwB,GAAG,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC9E,IAAI,YAAY,GAAmB,wBAAwB,CAAC;IAC5D,IAAI,QAAwC,CAAC;IAE7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,uBAAuB,CACrC,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,wBAAwB,CACzB,CAAC;YAEF,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,YAAY,GAAG;gBACb,GAAG,YAAY;gBACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC7C,CAAC;YAEF,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,OAAO;wBAClB,aAAa,EAAE,SAAS;wBACxB,aAAa,EAAE,QAAQ;qBACxB;iBACF;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB;YACE,GAAG,wBAAwB;YAC3B,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CACF,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,YAAY,GAAG;YACb,GAAG,OAAO;YACV,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CAAC;QAEF,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,OAAO;oBAClB,aAAa,EAAE,SAAS;oBACxB,aAAa,EAAE,QAAQ;iBACxB;aACF;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,IAAI,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAChD,YAAY,GAAG,uBAAuB,CACpC,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,wBAAwB,CACzB,CAAC;QACF,OAAO;YACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;YACvE,YAAY;SACb,CAAC;IACJ,CAAC;IAED,YAAY,GAAG;QACb,GAAG,YAAY;QACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;IACF,OAAO;QACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;QACvE,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,OAAO,GAAG,mCAAmC,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,EACJ,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACT,WAAW,EACX,aAAa,EACb,WAAW,GACZ,GAAG,OAAO,CAAC;IAEZ,MAAM,YAAY,GAAG,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,CAAC;IAC7D,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAEtE,IAAI,YAAY,GAAmB,SAAS,CAAC;IAE7C,wEAAwE;IACxE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACzE,MAAM,OAAO,GAAmB;YAC9B,GAAG,SAAS;YACZ,gBAAgB,EAAE,WAAW;SAC9B,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,8BAA8B,CAC7D,CAAC,QAAQ,CAAC,EACV,IAAI,CAAC,aAAa,EAClB,OAAO,CACR,CAAC;QACF,MAAM,wBAAwB,GAAG,oBAAoB,CACnD,SAAS,EACT,WAAW,CACZ,CAAC;QACF,YAAY,GAAG,wBAAwB,CAAC;QAExC,IAAI,QAAwC,CAAC;QAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,uBAAuB,CACrB,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,wBAAwB,CACzB,CACF,CAAC;gBACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBAClC,YAAY,GAAG;oBACb,GAAG,YAAY;oBACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;iBAC7C,CAAC;gBACF,OAAO;oBACL;wBACE;4BACE,IAAI,EAAE,aAAa;4BACnB,SAAS,EAAE,OAAO;4BAClB,aAAa,EAAE,SAAS;4BACxB,aAAa,EAAE,QAAQ;yBACxB;qBACF;oBACD,YAAY;iBACb,CAAC;YACJ,CAAC;YAED,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,4BAA4B,CACvD,IAAI,CAAC,aAAa,EAClB;gBACE,GAAG,wBAAwB;gBAC3B,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC7C,CACF,CAAC;YACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;YAClC,YAAY,GAAG;gBACb,GAAG,OAAO;gBACV,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC7C,CAAC;YACF,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,OAAO;wBAClB,aAAa,EAAE,SAAS;wBACxB,aAAa,EAAE,QAAQ;qBACxB;iBACF;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,mEAAmE;QACnE,IAAI,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAChD,YAAY,GAAG,uBAAuB,CACpC,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,wBAAwB,CACzB,CAAC;YACF,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,OAAO;wBAClB,aAAa,EAAE,SAAS;qBACzB;iBACF;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,YAAY,GAAG;YACb,GAAG,YAAY;YACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CAAC;QACF,OAAO;YACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;YACvE,YAAY;SACb,CAAC;IACJ,CAAC;IAED,qDAAqD;IACrD,CAAC;QACC,IAAI,QAA4B,CAAC;QACjC,IAAI,OAAuB,CAAC;QAE5B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB;gBACE,GAAG,uBAAuB,CACxB,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,EACP,SAAS,CACV;aACF,CACF,CAAC;YACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;YAClC,OAAO,GAAG,YAAY,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,IAAI,CAAC,aAAa,EAClB,SAAS,CACV,CAAC;YACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;YAClC,OAAO,GAAG,YAAY,CAAC;QACzB,CAAC;QAED,YAAY,GAAG,OAAO,CAAC;QAEvB,IAAI,QAAwC,CAAC;QAC7C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YACzE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,8BAA8B,CAC7D,CAAC,QAAQ,CAAC,EACV,IAAI,CAAC,aAAa,EAClB,EAAE,GAAG,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAChD,CAAC;YACF,QAAQ,GAAG,SAAS,CAAC;YACrB,YAAY,GAAG;gBACb,GAAG,WAAW;gBACd,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;aAC7C,CAAC;YACF,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,OAAO;wBAClB,aAAa,EAAE,QAAQ;wBACvB,aAAa,EAAE,QAAQ;qBACxB;iBACF;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,4CAA4C;QAC5C,IAAI,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAChD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;YACtE,gBAAgB,CAAC,GAAG,CAClB,YAAY,EACZ,yBAAyB,CACvB,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,EACzC,gBAAgB,CACd,iBAAiB,CAAC,SAAS,CACzB,CAAC,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,OAAO,CAC/C,CACF,EACD,SAAS,EACT,aAAa,CAAC,WAAW,CAAC,CAC3B,CACF,CAAC;YACF,YAAY,GAAG,EAAE,GAAG,YAAY,EAAE,gBAAgB,EAAE,CAAC;YACrD,OAAO;gBACL;oBACE;wBACE,IAAI,EAAE,aAAa;wBACnB,SAAS,EAAE,OAAO;wBAClB,aAAa,EAAE,QAAQ;qBACxB;iBACF;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;QAED,YAAY,GAAG;YACb,GAAG,YAAY;YACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;SAC7C,CAAC;QACF,OAAO;YACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;YACtE,YAAY;SACb,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAiB,EACjB,OAAuB,EACV,EAAE;IACf,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;IACzC,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO;QAC/B,IAAI,CAAC,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC/B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACzC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;IAC5C,MAAM,KAAK,GAAG,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EACJ,YAAY,EACZ,WAAW,EACX,OAAO,EACP,QAAQ,EACR,UAAU,EACV,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,WAAW,EACX,UAAU,EACV,UAAU,EACV,aAAa,EACb,uBAAuB,GACxB,GAAG,KAAK,CAAC;IAEV,MAAM,OAAO,GAAG,oBAAoB,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAElE,0DAA0D;IAC1D,IAAI,QAA4B,CAAC;IACjC,IAAI,OAAuB,CAAC;IAE5B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACvE,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAC5C,CAAC,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,OAAO,CAC/C,CAAC;QACF,MAAM,YAAY,GAChB,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,MAAM,eAAe,GACnB,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,CAAC,YAAY,IAAI,CAAC,eAAe,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACb,qFAAqF,CACtF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,SAAS,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,aAAa,GAAmB;YACpC,GAAG,SAAS;YACZ,SAAS,EAAE,MAAM;SAClB,CAAC;QAEF,MAAM,gBAAgB,GAAG,qBAAqB,CAC5C,YAAY,EACZ,YAAY,EACZ,MAAM,CACP,CAAC;QACF,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;QAEnE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;QACtE,eAAe,CAAC,GAAG,CAAC,YAAY,EAAE;YAChC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,oBAAoB,CAAC,gBAAgB,CAAC;SACnD,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,kBAAkB,CACrC,iBAAiB,EACjB,WAAW,EACX,YAAY,CACb,CAAC;QAEF,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,8BAA8B,CAC9D,CAAC,YAAY,CAAC,EACd,aAAa,EACb,EAAE,GAAG,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,CACxD,CAAC;QACF,QAAQ,GAAG,SAAS,CAAC;QACrB,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,4BAA4B,CAC5D,aAAa,EACb,iCAAiC,CAC/B,YAAY,EACZ,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,QAAQ,EACR,OAAO,CACR,CACF,CAAC;QACF,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QAClC,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAC7B,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,8BAA8B,CAC5B,CAAC,kBAAkB,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,EACzD,IAAI,CAAC,aAAa,EAClB,EAAE,GAAG,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAChD;YACH,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;gBACnE,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE;oBACjC,IAAI,EAAE,eAAe;oBACrB,eAAe,EAAE,QAAQ;oBACzB,iBAAiB;oBACjB,cAAc,EAAE,WAAW;oBAC3B,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC7D,uBAAuB,EAAE,uBAAuB;wBAC9C,CAAC,CAAC,CAAC,GAAG,uBAAuB,CAAC;wBAC9B,CAAC,CAAC,SAAS;oBACb,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC;iBACjE,CAAC,CAAC;gBACH,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC3D,IAAI,CAAC,aAAa,EAClB;oBACE,GAAG,SAAS;oBACZ,gBAAgB;iBACjB,CACF,CAAC;gBACF,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,WAAW,CAAU,CAAC;YACxD,CAAC,CAAC,EAAE,CAAC;QAEX,OAAO;YACL;gBACE;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,OAAO;oBAClB,aAAa,EAAE,QAAQ;oBACvB,aAAa,EAAE,SAAS;iBACzB;aACF;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,YAAY,GAAG,OAAO,CAAC;IAC3B,IAAI,uBAAuB,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,aAAa,GAAG,iBAAiB,CAAC,SAAS,CAC/C,CAAC,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,OAAO,CAC/C,CAAC;YACF,MAAM,kBAAkB,GACtB,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACnE,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,iGAAiG,CAClG,CAAC;YACJ,CAAC;YAED,gBAAgB,CAAC,GAAG,CAClB,YAAY,EACZ,yBAAyB,CACvB,mBAAmB,CAAC,WAAW,EAAE,OAAO,CAAC,EACzC,kBAAkB,EAClB,UAAU,EACV,aAAa,CAAC,WAAW,CAAC,CAC3B,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,GAAG,CAAC,YAAY,EAAE;gBACjC,IAAI,EAAE,eAAe;gBACrB,eAAe,EAAE,QAAQ;gBACzB,iBAAiB;gBACjB,cAAc,EAAE,WAAW;gBAC3B,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC7D,uBAAuB,EAAE,uBAAuB;oBAC9C,CAAC,CAAC,CAAC,GAAG,uBAAuB,CAAC;oBAC9B,CAAC,CAAC,SAAS;gBACb,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,UAAU,IAAI,oBAAoB,CAAC,gBAAgB,CAAC;aACjE,CAAC,CAAC;QACL,CAAC;QAED,YAAY,GAAG,EAAE,GAAG,YAAY,EAAE,gBAAgB,EAAE,CAAC;QACrD,OAAO;YACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;YACtE,YAAY;SACb,CAAC;IACJ,CAAC;IAED,YAAY,GAAG;QACb,GAAG,YAAY;QACf,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;IACF,OAAO;QACL,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;QACtE,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Type-based guard emission cases for if-statements — facade re-exports.
+ *
+ * Implementations live in:
+ *   - if-emit-instanceof-guards.ts
+ *   - if-emit-typeof-array-guards.ts
+ */
+export { tryEmitInstanceofGuard, tryEmitNegatedInstanceofGuard, tryEmitNullableGuard, } from "./if-emit-instanceof-guards.js";
+export { tryEmitArrayIsArrayGuard, tryEmitTypeofGuard, } from "./if-emit-typeof-array-guards.js";
+//# sourceMappingURL=if-emit-type-guards.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-type-guards.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-type-guards.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,kCAAkC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Type-based guard emission cases for if-statements — facade re-exports.
+ *
+ * Implementations live in:
+ *   - if-emit-instanceof-guards.ts
+ *   - if-emit-typeof-array-guards.ts
+ */
+export { tryEmitInstanceofGuard, tryEmitNegatedInstanceofGuard, tryEmitNullableGuard, } from "./if-emit-instanceof-guards.js";
+export { tryEmitArrayIsArrayGuard, tryEmitTypeofGuard, } from "./if-emit-typeof-array-guards.js";
+//# sourceMappingURL=if-emit-type-guards.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"if-emit-type-guards.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emit-type-guards.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,kCAAkC,CAAC"}