@tsonic/emitter 0.0.76 → 0.0.77

package/dist/statements/control/conditionals/guard-detectors-structural.js

@@ -1,95 +1,56 @@
 /**
- * Structural guard detectors: in-guard, predicate-guard, and instanceof-guard.
- * Handles tryResolveInGuard, tryResolvePredicateGuard, and tryResolveInstanceofGuard.
+ * Structural guard detectors: predicate guards and instanceof guards.
  */
 import { emitExpressionAst } from "../../../expression-emitter.js";
 import { emitIdentifier } from "../../../expressions/identifiers.js";
 import { resolveIdentifierRuntimeCarrierType } from "../../../expressions/direct-storage-types.js";
 import { emitTypeAst } from "../../../type-emitter.js";
-import { hasDeterministicPropertyMembership, splitRuntimeNullishUnionMembers, } from "../../../core/semantic/type-resolution.js";
+import { splitRuntimeNullishUnionMembers } from "../../../core/semantic/type-resolution.js";
 import { findExactRuntimeUnionMemberIndices, findRuntimeUnionMemberIndices, findRuntimeUnionInstanceofMemberIndices, } from "../../../core/semantic/runtime-unions.js";
 import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
 import { emitRemappedLocalName } from "../../../core/format/local-names.js";
 import { buildRuntimeSubsetExpressionAst } from "../../../core/semantic/narrowing-builders.js";
+import { willCarryAsRuntimeUnion } from "../../../core/semantic/union-semantics.js";
 import { getMemberAccessNarrowKey, makeNarrowedLocalName, } from "../../../core/semantic/narrowing-keys.js";
 import { normalizeInstanceofTargetType } from "../../../core/semantic/instanceof-targets.js";
 import { unwrapTransparentNarrowingTarget } from "../../../core/semantic/transparent-expressions.js";
 import { buildSubsetUnionType } from "./branch-context.js";
-import { extractTransparentIdentifierTarget, resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, withoutNarrowedBinding, } from "./guard-types.js";
-/**
- * Try to extract guard info from an `("prop" in x)` binary expression.
- */
-export const tryResolveInGuard = (condition, context) => {
-    if (condition.kind !== "binary")
-        return undefined;
-    if (condition.operator !== "in")
-        return undefined;
-    // LHS must be a string literal
-    if (condition.left.kind !== "literal")
-        return undefined;
-    if (typeof condition.left.value !== "string")
-        return undefined;
-    // RHS must be a bindable identifier, even if transparent assertion wrappers
-    // were introduced around it during earlier contextual typing/narrowing passes.
-    const target = extractTransparentIdentifierTarget(condition.right);
-    if (!target)
-        return undefined;
-    const propertyName = condition.left.value;
-    const originalName = target.name;
-    const unionSourceType = condition.right.inferredType ?? target.inferredType;
-    if (!unionSourceType)
-        return undefined;
-    const frame = resolveGuardRuntimeUnionFrame(originalName, unionSourceType, target, context);
-    if (!frame)
-        return undefined;
-    const { members, candidateMemberNs, runtimeUnionArity } = frame;
-    const unionArity = members.length;
-    if (unionArity < 2)
-        return undefined;
-    // Find which union members contain the property.
-    const matchingIndices = [];
-    const matchingMemberNs = [];
-    for (let i = 0; i < members.length; i++) {
-        const member = members[i];
-        if (!member || member.kind !== "referenceType")
-            continue;
-        if (hasDeterministicPropertyMembership(member, propertyName, context) === true) {
-            matchingIndices.push(i);
-            matchingMemberNs.push(candidateMemberNs[i] ?? i + 1);
-        }
+import { resolveGuardRuntimeUnionFrame, buildRenameNarrowedMap, withoutNarrowedBinding, } from "./guard-types.js";
+const getRuntimeCarrierBindingType = (binding, context) => [binding?.sourceType, binding?.type].find((candidate) => candidate !== undefined && willCarryAsRuntimeUnion(candidate, context));
+const preserveIncomingNarrowedBindings = (incomingContext, emittedContext) => {
+    if (!incomingContext.narrowedBindings) {
+        return emittedContext;
     }
-    // Only support the common "exactly one matching member" narrowing case.
-    if (matchingMemberNs.length !== 1)
-        return undefined;
-    const memberN = matchingMemberNs[0];
-    if (!memberN)
-        return undefined;
-    const matchingIndex = matchingIndices[0];
-    if (matchingIndex === undefined)
+    const narrowedBindings = new Map(incomingContext.narrowedBindings);
+    for (const [key, binding] of emittedContext.narrowedBindings ?? []) {
+        narrowedBindings.set(key, binding);
+    }
+    return { ...emittedContext, narrowedBindings };
+};
+const getPredicateReceiverAstFromExistingBinding = (binding, context) => {
+    if (!binding) {
         return undefined;
-    const nextId = (context.tempVarId ?? 0) + 1;
-    const ctxWithId = { ...context, tempVarId: nextId };
-    const narrowedName = makeNarrowedLocalName(originalName, memberN ?? "subset", nextId);
-    const escapedOrig = emitRemappedLocalName(originalName, context);
-    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const memberType = members[matchingIndex];
-    if (!memberType)
+    }
+    if (binding.kind === "runtimeSubset") {
+        return binding.storageExprAst;
+    }
+    if (binding.kind !== "expr") {
         return undefined;
-    const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, memberType, unionSourceType, ctxWithId);
-    return {
-        originalName,
-        propertyName,
-        memberN,
-        unionArity,
-        runtimeUnionArity,
-        candidateMemberNs,
-        candidateMembers: members,
-        ctxWithId,
-        narrowedName,
-        escapedOrig,
-        escapedNarrow,
-        narrowedMap,
-    };
+    }
+    if (binding.type && willCarryAsRuntimeUnion(binding.type, context)) {
+        return binding.exprAst;
+    }
+    if (binding.carrierExprAst &&
+        binding.carrierType &&
+        willCarryAsRuntimeUnion(binding.carrierType, context)) {
+        return binding.carrierExprAst;
+    }
+    if (binding.carrierExprAst &&
+        binding.sourceType &&
+        willCarryAsRuntimeUnion(binding.sourceType, context)) {
+        return binding.carrierExprAst;
+    }
+    return undefined;
 };
 /**
  * Try to extract guard info from a predicate call expression.
@@ -137,12 +98,16 @@ export const tryResolvePredicateGuard = (call, context) => {
     const nextId = (context.tempVarId ?? 0) + 1;
     const ctxWithId = { ...context, tempVarId: nextId };
     const narrowedName = makeNarrowedLocalName(originalName, memberN ?? "subset", nextId);
+    const currentSubsetBinding = context.narrowedBindings?.get(originalName);
     const rawContext = withoutNarrowedBinding(context, originalName);
-    const [argAst] = emitExpressionAst(target, rawContext, unionSourceType);
+    const existingReceiverAst = target.kind === "identifier"
+        ? getPredicateReceiverAstFromExistingBinding(currentSubsetBinding, context)
+        : undefined;
+    const [argAst] = existingReceiverAst
+        ? [existingReceiverAst, context]
+        : emitExpressionAst(target, rawContext, unionSourceType);
     const escapedNarrow = escapeCSharpIdentifier(narrowedName);
-    const currentSubsetBinding = context.narrowedBindings?.get(originalName);
-    const sourceType = currentSubsetBinding?.sourceType ??
-        currentSubsetBinding?.type ??
+    const sourceType = getRuntimeCarrierBindingType(currentSubsetBinding, context) ??
         buildSubsetUnionType(frame.members) ??
         unionSourceType;
     const narrowedMap = buildRenameNarrowedMap(originalName, narrowedName, narrowing.targetType, sourceType, ctxWithId);
@@ -227,14 +192,14 @@ export const tryResolveInstanceofGuard = (condition, context) => {
     const [rhsAst, rhsCtxAfterExpr] = emitExpressionAst(condition.right, ctxWithId);
     const inferredRhsType = normalizeInstanceofTargetType(condition.right.inferredType);
     let rhsTypeAst;
-    let ctxAfterRhs = rhsCtxAfterExpr;
+    let ctxAfterRhs = preserveIncomingNarrowedBindings(context, rhsCtxAfterExpr);
     if (rhsAst.kind === "typeReferenceExpression") {
         rhsTypeAst = rhsAst.type;
     }
     else if (inferredRhsType) {
-        const [emittedTypeAst, nextCtx] = emitTypeAst(inferredRhsType, rhsCtxAfterExpr);
+        const [emittedTypeAst, nextCtx] = emitTypeAst(inferredRhsType, ctxAfterRhs);
         rhsTypeAst = emittedTypeAst;
-        ctxAfterRhs = nextCtx;
+        ctxAfterRhs = preserveIncomingNarrowedBindings(context, nextCtx);
     }
     if (!rhsTypeAst) {
         return undefined;

package/dist/statements/control/conditionals/guard-detectors-structural.js.map

@@ -1 +1 @@
-{"version":3,"file":"guard-detectors-structural.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,mCAAmC,EAAE,MAAM,8CAA8C,CAAC;AACnG,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,EACL,kCAAkC,EAClC,+BAA+B,GAChC,MAAM,2CAA2C,CAAC;AACnD,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,uCAAuC,GACxC,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,+BAA+B,EAAE,MAAM,8CAA8C,CAAC;AAC/F,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAM3D,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAuB,EACvB,OAAuB,EACE,EAAE;IAC3B,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAElD,+BAA+B;IAC/B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/D,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,kCAAkC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC;IAEjC,MAAM,eAAe,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC5E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,MAAM,EACN,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,iDAAiD;IACjD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QACzD,IACE,kCAAkC,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,KAAK,IAAI,EAC1E,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CACxC,YAAY,EACZ,OAAO,IAAI,QAAQ,EACnB,MAAM,CACP,CAAC;IACF,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,eAAe,EACf,SAAS,CACV,CAAC;IAEF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,gBAAgB,EAAE,OAAO;QACzB,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACA,EAAE;IACzB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAChE,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACjD,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,eAAe,GAAG,6BAA6B,CACnD,KAAK,CAAC,OAAO,EACb,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,QAAQ,GAAG,eAAe;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;SAC3D,MAAM,CAAC,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,OAAO,GACX,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS;QAC/C,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IAExC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CACxC,YAAY,EACZ,OAAO,IAAI,QAAQ,EACnB,MAAM,CACP,CAAC;IACF,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,oBAAoB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACzE,MAAM,UAAU,GACd,oBAAoB,EAAE,UAAU;QAChC,oBAAoB,EAAE,IAAI;QAC1B,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC;QACnC,eAAe,CAAC;IAClB,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,sBAAsB,GAC1B,oBAAoB,EAAE,IAAI,KAAK,eAAe;QAC9C,oBAAoB,CAAC,aAAa;QAClC,oBAAoB,CAAC,uBAAuB;QAC5C,oBAAoB,CAAC,aAAa,CAAC,MAAM;YACvC,oBAAoB,CAAC,uBAAuB,CAAC,MAAM,CAAC;IACxD,MAAM,aAAa,GAAG,sBAAsB;QAC1C,CAAC,CAAC,oBAAoB,CAAC,aAAa;QACpC,CAAC,CAAC,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;YAChD,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAAG,sBAAsB;QACpD,CAAC,CAAC,oBAAoB,CAAC,uBAAuB;QAC9C,CAAC,CAAC,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;YAC1D,CAAC,CAAC,KAAK,CAAC,iBAAiB;YACzB,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,YAAY;QACZ,WAAW,EAAE,MAAM;QACnB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,OAAO;QACP,QAAQ;QACR,UAAU;QACV,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,gBAAgB,EAAE,KAAK,CAAC,OAAO;QAC/B,SAAS;QACT,YAAY;QACZ,aAAa;QACb,WAAW;QACX,UAAU;QACV,aAAa;QACb,uBAAuB;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAAuB,EACvB,OAAuB,EACU,EAAE;IACnC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC3E,MAAM,WAAW,GACf,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,IAAI,IAAI,eAAe,CAAC;IACvE,MAAM,qBAAqB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;QAED,IAAI,qBAAqB,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3C,OAAO,CAAC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;QAC3D,CAAC;QAED,IAAI,qBAAqB,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,+BAA+B,CAC/C,MAAM,EACN,qBAAqB,EACrB,OAAO,CACR,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,WAAW,GACf,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,SAAS,GAAmB,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAExE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,iBAAiB,CACjD,SAAS,CAAC,KAAK,EACf,SAAS,CACV,CAAC;IAEF,MAAM,eAAe,GAAG,6BAA6B,CACnD,SAAS,CAAC,KAAK,CAAC,YAAY,CAC7B,CAAC;IACF,IAAI,UAAqC,CAAC;IAC1C,IAAI,WAAW,GAAG,eAAe,CAAC;IAElC,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC9C,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;SAAM,IAAI,eAAe,EAAE,CAAC;QAC3B,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,GAAG,WAAW,CAC3C,eAAe,EACf,eAAe,CAChB,CAAC;QACF,UAAU,GAAG,cAAc,CAAC;QAC5B,WAAW,GAAG,OAAO,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,iBAAiB,GACrB,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAC3B,CAAC,CAAC,mCAAmC,CAAC,MAAM,EAAE,OAAO,CAAC;QACtD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,UAAU;QACvD,eAAe,CAAC;IAClB,MAAM,oBAAoB,GAAG,CAAC,WAAW,EAAE,iBAAiB,EAAE,eAAe,CAAC;SAC3E,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;SACnE,IAAI,CACH,CAAC,SAAS,EAAE,EAAE,CACZ,+BAA+B,CAAC,SAAS,CAAC,EAAE,iBAAiB,KAAK,IAAI,CACzE,CAAC;IACJ,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAChE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,eAAe,IAAI,SAAS;QAClC,UAAU,EAAE,iBAAiB;KAC9B,CAAC,CAAC;IACH,MAAM,iBAAiB,GACrB,WAAW,IAAI,eAAe;QAC5B,CAAC,CAAC,6BAA6B,CAC3B,YAAY,EACZ,WAAW,EACX,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACjD,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,eAAe;QAClC,CAAC,CAAC,uCAAuC,CACrC,iBAAiB,CAAC,OAAO,EACzB,eAAe,EACf,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,uBAAuB,GAC3B,iBAAiB;QACjB,iBAAiB,KAAK,SAAS;QAC/B,eAAe;QACf,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,kCAAkC,CAChC,CAAC,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAC9C,eAAe,EACf,OAAO,CACR,CAAC,MAAM,KAAK,CAAC;QAChB,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,OAAO,GACX,iBAAiB,IAAI,iBAAiB,KAAK,SAAS;QAClD,CAAC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,iBAAiB,CAAC;YACvD,iBAAiB,GAAG,CAAC,CAAC;QACxB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,WAAW,GACf,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;QAC/C,CAAC,CAAC;YACE,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,WAAW;SACxB;QACH,CAAC,CAAC,MAAM,CAAC;IAEb,OAAO;QACL,YAAY;QACZ,WAAW;QACX,UAAU;QACV,SAAS;QACT,WAAW;QACX,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;QACX,UAAU,EAAE,eAAe,IAAI,SAAS;QACxC,OAAO;QACP,uBAAuB;QACvB,oBAAoB;QACpB,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;QACvD,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;QACvD,gBAAgB,EAAE,iBAAiB,EAAE,OAAO;KAC7C,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"guard-detectors-structural.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors-structural.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,mCAAmC,EAAE,MAAM,8CAA8C,CAAC;AACnG,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAKvD,OAAO,EAAE,+BAA+B,EAAE,MAAM,2CAA2C,CAAC;AAC5F,OAAO,EACL,kCAAkC,EAClC,6BAA6B,EAC7B,uCAAuC,GACxC,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,+BAA+B,EAAE,MAAM,8CAA8C,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EACL,6BAA6B,EAC7B,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,4BAA4B,GAAG,CACnC,OAAoC,EACpC,OAAuB,EACH,EAAE,CACtB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CACvC,CAAC,SAAS,EAAuB,EAAE,CACjC,SAAS,KAAK,SAAS,IAAI,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CACzE,CAAC;AAEJ,MAAM,gCAAgC,GAAG,CACvC,eAA+B,EAC/B,cAA8B,EACd,EAAE;IAClB,IAAI,CAAC,eAAe,CAAC,gBAAgB,EAAE,CAAC;QACtC,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC;IACnE,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,cAAc,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;QACnE,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,EAAE,GAAG,cAAc,EAAE,gBAAgB,EAAE,CAAC;AACjD,CAAC,CAAC;AAEF,MAAM,0CAA0C,GAAG,CACjD,OAAoC,EACpC,OAAuB,EACU,EAAE;IACnC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,cAAc,CAAC;IAChC,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,IAAI,uBAAuB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACnE,OAAO,OAAO,CAAC,OAAO,CAAC;IACzB,CAAC;IAED,IACE,OAAO,CAAC,cAAc;QACtB,OAAO,CAAC,WAAW;QACnB,uBAAuB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,EACrD,CAAC;QACD,OAAO,OAAO,CAAC,cAAc,CAAC;IAChC,CAAC;IAED,IACE,OAAO,CAAC,cAAc;QACtB,OAAO,CAAC,UAAU;QAClB,uBAAuB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,EACpD,CAAC;QACD,OAAO,OAAO,CAAC,cAAc,CAAC;IAChC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACA,EAAE;IACzB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAChE,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,KAAK,GAAG,6BAA6B,CACzC,YAAY,EACZ,eAAe,EACf,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACjD,OAAO,CACR,CAAC;IACF,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,eAAe,GAAG,6BAA6B,CACnD,KAAK,CAAC,OAAO,EACb,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,QAAQ,GAAG,eAAe;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;SAC3D,MAAM,CAAC,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,OAAO,GACX,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS;QAC/C,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IAExC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,qBAAqB,CACxC,YAAY,EACZ,OAAO,IAAI,QAAQ,EACnB,MAAM,CACP,CAAC;IACF,MAAM,oBAAoB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACjE,MAAM,mBAAmB,GACvB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,0CAA0C,CACxC,oBAAoB,EACpB,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,CAAC,MAAM,CAAC,GAAG,mBAAmB;QAClC,CAAC,CAAE,CAAC,mBAAmB,EAAE,OAAO,CAAW;QAC3C,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,UAAU,GACd,4BAA4B,CAAC,oBAAoB,EAAE,OAAO,CAAC;QAC3D,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC;QACnC,eAAe,CAAC;IAClB,MAAM,WAAW,GAAG,sBAAsB,CACxC,YAAY,EACZ,YAAY,EACZ,SAAS,CAAC,UAAU,EACpB,UAAU,EACV,SAAS,CACV,CAAC;IACF,MAAM,sBAAsB,GAC1B,oBAAoB,EAAE,IAAI,KAAK,eAAe;QAC9C,oBAAoB,CAAC,aAAa;QAClC,oBAAoB,CAAC,uBAAuB;QAC5C,oBAAoB,CAAC,aAAa,CAAC,MAAM;YACvC,oBAAoB,CAAC,uBAAuB,CAAC,MAAM,CAAC;IACxD,MAAM,aAAa,GAAG,sBAAsB;QAC1C,CAAC,CAAC,oBAAoB,CAAC,aAAa;QACpC,CAAC,CAAC,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;YAChD,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAAG,sBAAsB;QACpD,CAAC,CAAC,oBAAoB,CAAC,uBAAuB;QAC9C,CAAC,CAAC,KAAK,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;YAC1D,CAAC,CAAC,KAAK,CAAC,iBAAiB;YACzB,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,YAAY;QACZ,WAAW,EAAE,MAAM;QACnB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,OAAO;QACP,QAAQ;QACR,UAAU;QACV,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,gBAAgB,EAAE,KAAK,CAAC,OAAO;QAC/B,SAAS;QACT,YAAY;QACZ,aAAa;QACb,WAAW;QACX,UAAU;QACV,aAAa;QACb,uBAAuB;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAAuB,EACvB,OAAuB,EACU,EAAE;IACnC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC;IAC3E,MAAM,WAAW,GACf,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,IAAI,IAAI,eAAe,CAAC;IACvE,MAAM,qBAAqB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,OAAO,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;QAED,IAAI,qBAAqB,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3C,OAAO,CAAC,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;QAC3D,CAAC;QAED,IAAI,qBAAqB,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,+BAA+B,CAC/C,MAAM,EACN,qBAAqB,EACrB,OAAO,CACR,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,WAAW,GACf,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,SAAS,GAAmB,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAExE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,iBAAiB,CACjD,SAAS,CAAC,KAAK,EACf,SAAS,CACV,CAAC;IAEF,MAAM,eAAe,GAAG,6BAA6B,CACnD,SAAS,CAAC,KAAK,CAAC,YAAY,CAC7B,CAAC;IACF,IAAI,UAAqC,CAAC;IAC1C,IAAI,WAAW,GAAG,gCAAgC,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAE7E,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC9C,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,CAAC;SAAM,IAAI,eAAe,EAAE,CAAC;QAC3B,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QAC5E,UAAU,GAAG,cAAc,CAAC;QAC5B,WAAW,GAAG,gCAAgC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,MAAM,YAAY,GAAG,qBAAqB,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,iBAAiB,GACrB,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAC3B,CAAC,CAAC,mCAAmC,CAAC,MAAM,EAAE,OAAO,CAAC;QACtD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,UAAU;QACvD,eAAe,CAAC;IAClB,MAAM,oBAAoB,GAAG,CAAC,WAAW,EAAE,iBAAiB,EAAE,eAAe,CAAC;SAC3E,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;SACnE,IAAI,CACH,CAAC,SAAS,EAAE,EAAE,CACZ,+BAA+B,CAAC,SAAS,CAAC,EAAE,iBAAiB,KAAK,IAAI,CACzE,CAAC;IACJ,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAChE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,eAAe,IAAI,SAAS;QAClC,UAAU,EAAE,iBAAiB;KAC9B,CAAC,CAAC;IACH,MAAM,iBAAiB,GACrB,WAAW,IAAI,eAAe;QAC5B,CAAC,CAAC,6BAA6B,CAC3B,YAAY,EACZ,WAAW,EACX,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACjD,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,eAAe;QAClC,CAAC,CAAC,uCAAuC,CACrC,iBAAiB,CAAC,OAAO,EACzB,eAAe,EACf,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,uBAAuB,GAC3B,iBAAiB;QACjB,iBAAiB,KAAK,SAAS;QAC/B,eAAe;QACf,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,kCAAkC,CAChC,CAAC,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAC9C,eAAe,EACf,OAAO,CACR,CAAC,MAAM,KAAK,CAAC;QAChB,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,OAAO,GACX,iBAAiB,IAAI,iBAAiB,KAAK,SAAS;QAClD,CAAC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,iBAAiB,CAAC;YACvD,iBAAiB,GAAG,CAAC,CAAC;QACxB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,WAAW,GACf,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;QAC/C,CAAC,CAAC;YACE,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,WAAW;SACxB;QACH,CAAC,CAAC,MAAM,CAAC;IAEb,OAAO;QACL,YAAY;QACZ,WAAW;QACX,UAAU;QACV,SAAS;QACT,WAAW;QACX,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;QACX,UAAU,EAAE,eAAe,IAAI,SAAS;QACxC,OAAO;QACP,uBAAuB;QACvB,oBAAoB;QACpB,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;QACvD,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;QACvD,gBAAgB,EAAE,iBAAiB,EAAE,OAAO;KAC7C,CAAC;AACJ,CAAC,CAAC"}

package/dist/statements/control/conditionals/guard-detectors.d.ts

@@ -6,6 +6,6 @@
  *   - guard-detectors-discriminant.ts
  *   - guard-detectors-structural.ts
  */
-export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyTruthinessGuard, } from "./guard-detectors-discriminant.js";
-export { tryResolveInGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors-structural.js";
+export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyExistenceGuard, tryResolvePropertyTruthinessGuard, } from "./guard-detectors-discriminant.js";
+export { tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors-structural.js";
 //# sourceMappingURL=guard-detectors.d.ts.map

package/dist/statements/control/conditionals/guard-detectors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard-detectors.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"guard-detectors.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,mCAAmC,EACnC,gCAAgC,EAChC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC"}

package/dist/statements/control/conditionals/guard-detectors.js

@@ -6,6 +6,6 @@
  *   - guard-detectors-discriminant.ts
  *   - guard-detectors-structural.ts
  */
-export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyTruthinessGuard, } from "./guard-detectors-discriminant.js";
-export { tryResolveInGuard, tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors-structural.js";
+export { tryResolveDiscriminantEqualityGuard, tryResolvePropertyExistenceGuard, tryResolvePropertyTruthinessGuard, } from "./guard-detectors-discriminant.js";
+export { tryResolvePredicateGuard, tryResolveInstanceofGuard, } from "./guard-detectors-structural.js";
 //# sourceMappingURL=guard-detectors.js.map

package/dist/statements/control/conditionals/guard-detectors.js.map

@@ -1 +1 @@
-{"version":3,"file":"guard-detectors.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"guard-detectors.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,mCAAmC,EACnC,gCAAgC,EAChC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC"}

package/dist/statements/control/conditionals/guard-extraction.d.ts

@@ -15,16 +15,14 @@ export declare const tryExtractArrayIsArrayGuard: (condition: Extract<IrStatemen
     }>;
     readonly narrowsInThen: boolean;
 } | undefined;
-export type TypeofGuardRefinement = {
+export declare const tryExtractDirectTypeofGuard: (expr: Extract<IrStatement, {
+    kind: "ifStatement";
+}>["condition"]) => {
     readonly bindingKey: string;
     readonly targetExpr: Extract<IrExpression, {
         kind: "identifier" | "memberAccess";
     }>;
     readonly tag: string;
-    readonly matchTag: boolean;
-};
-export declare const collectTypeofGuardRefinements: (condition: Extract<IrStatement, {
-    kind: "ifStatement";
-}>["condition"], branch: "truthy" | "falsy") => readonly TypeofGuardRefinement[];
-export declare const applyTypeofGuardRefinements: (baseContext: EmitterContext, refinements: readonly TypeofGuardRefinement[]) => EmitterContext;
+    readonly matchesInTruthyBranch: boolean;
+} | undefined;
 //# sourceMappingURL=guard-extraction.d.ts.map

package/dist/statements/control/conditionals/guard-extraction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard-extraction.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,YAAY,EACZ,WAAW,EACX,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AA8BnD,eAAO,MAAM,6BAA6B,GACxC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAYF,CAAC;AAkDF,eAAO,MAAM,sBAAsB,GACjC,aAAa,MAAM,GAAG,SAAS,EAC/B,WAAW,OAAO,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SAiCX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,aAAa,MAAM,GAAG,SAAS,EAC/B,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAoBX,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,KAEnE;IACE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,GACD,SA0DH,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAkEF,eAAO,MAAM,6BAA6B,GACxC,WAAW,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,EACrE,QAAQ,QAAQ,GAAG,OAAO,KACzB,SAAS,qBAAqB,EAmChC,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,aAAa,cAAc,EAC3B,aAAa,SAAS,qBAAqB,EAAE,KAC5C,cAsJF,CAAC"}
+{"version":3,"file":"guard-extraction.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,YAAY,EACZ,WAAW,EACX,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AASnD,eAAO,MAAM,6BAA6B,GACxC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAYF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,aAAa,MAAM,GAAG,SAAS,EAC/B,WAAW,OAAO,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SAqBX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,aAAa,MAAM,GAAG,SAAS,EAC/B,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAoBX,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,KAEnE;IACE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,GACD,SA0DH,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,KAE9D;IACE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;CACzC,GACD,SAkDH,CAAC"}

package/dist/statements/control/conditionals/guard-extraction.js

@@ -2,17 +2,10 @@
  * Guard extraction and typeof refinement helpers for if-statement emission.
  */
 import { normalizedUnionType, } from "@tsonic/frontend";
-import { emitTypeAst } from "../../../type-emitter.js";
-import { resolveTypeAlias, stripNullish, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, matchesTypeofTag, } from "../../../core/semantic/type-resolution.js";
+import { resolveTypeAlias, stripNullish, } from "../../../core/semantic/type-resolution.js";
 import { isAssignable } from "../../../core/semantic/index.js";
 import { unwrapTransparentNarrowingTarget } from "../../../core/semantic/transparent-expressions.js";
 import { getMemberAccessNarrowKey } from "../../../core/semantic/narrowing-keys.js";
-import { emitExpressionAst } from "../../../expression-emitter.js";
-import { resolveRuntimeUnionFrame } from "./guard-analysis.js";
-import { buildProjectedExprBinding, buildUnionNarrowAst, withoutNarrowedBinding, } from "./branch-context.js";
-import { buildRuntimeUnionComplementBinding, buildRuntimeUnionSubsetBinding, resolveRuntimeSubsetSourceInfo, } from "../../../core/semantic/narrowing-builders.js";
-import { isBroadObjectSlotType, isJsValueReferenceType, } from "../../../core/semantic/js-value-types.js";
-import { getContextualTypeVisitKey } from "../../../core/semantic/deterministic-type-keys.js";
 export const isArrayLikeNarrowingCandidate = (type, context) => {
     const resolved = resolveTypeAlias(stripNullish(type), context);
     if (resolved.kind === "arrayType" || resolved.kind === "tupleType") {
@@ -24,51 +17,18 @@ export const isArrayLikeNarrowingCandidate = (type, context) => {
     }
     return false;
 };
-const isBroadJsValueType = (type) => isJsValueReferenceType(type);
-const canNarrowBroadRuntimeValueToArray = (type, context, seen = new Set()) => {
-    const resolved = resolveTypeAlias(stripNullish(type), context);
-    const key = getContextualTypeVisitKey(resolved, context);
-    if (seen.has(key)) {
-        return false;
-    }
-    if (resolved.kind === "unknownType" ||
-        resolved.kind === "anyType" ||
-        resolved.kind === "objectType" ||
-        (resolved.kind === "referenceType" && resolved.name === "object") ||
-        isBroadJsValueType(resolved) ||
-        isBroadObjectSlotType(resolved, context)) {
-        return true;
-    }
-    if (resolved.kind !== "unionType") {
-        return false;
-    }
-    const nextSeen = new Set(seen);
-    nextSeen.add(key);
-    return resolved.types.some((member) => !!member &&
-        !isArrayLikeNarrowingCandidate(member, context) &&
-        canNarrowBroadRuntimeValueToArray(member, context, nextSeen));
-};
-const JS_VALUE_ARRAY_TYPE = {
-    kind: "arrayType",
-    elementType: {
-        kind: "referenceType",
-        name: "JsValue",
-        resolvedClrType: "Tsonic.Runtime.JsValue",
-    },
-};
 export const narrowTypeByArrayShape = (currentType, wantArray, context) => {
     if (!currentType)
         return undefined;
     const resolved = resolveTypeAlias(stripNullish(currentType), context);
     if (resolved.kind === "unionType") {
-        const hasBroadArrayFallback = wantArray && canNarrowBroadRuntimeValueToArray(resolved, context);
         const kept = resolved.types.filter((member) => {
             if (!member)
                 return false;
             const isArrayLike = isArrayLikeNarrowingCandidate(member, context);
             return wantArray ? isArrayLike : !isArrayLike;
         });
-        const narrowed = hasBroadArrayFallback ? [...kept, JS_VALUE_ARRAY_TYPE] : kept;
+        const narrowed = kept;
         if (narrowed.length === 0)
             return undefined;
         if (narrowed.length === 1)
@@ -77,14 +37,6 @@ export const narrowTypeByArrayShape = (currentType, wantArray, context) => {
     }
     const isArrayLike = isArrayLikeNarrowingCandidate(resolved, context);
     if (wantArray) {
-        if (resolved.kind === "unknownType" ||
-            resolved.kind === "anyType" ||
-            resolved.kind === "objectType" ||
-            (resolved.kind === "referenceType" && resolved.name === "object") ||
-            isBroadJsValueType(resolved) ||
-            isBroadObjectSlotType(resolved, context)) {
-            return JS_VALUE_ARRAY_TYPE;
-        }
         return isArrayLike ? resolved : undefined;
     }
     return isArrayLike ? undefined : resolved;
@@ -157,7 +109,7 @@ export const tryExtractArrayIsArrayGuard = (condition) => {
     }
     return undefined;
 };
-const tryExtractDirectTypeofGuard = (expr) => {
+export const tryExtractDirectTypeofGuard = (expr) => {
     if (expr.kind !== "binary")
         return undefined;
     if (expr.operator !== "===" &&
@@ -194,111 +146,4 @@ const tryExtractDirectTypeofGuard = (expr) => {
         matchesInTruthyBranch: expr.operator === "===" || expr.operator === "==",
     };
 };
-export const collectTypeofGuardRefinements = (condition, branch) => {
-    const direct = tryExtractDirectTypeofGuard(condition);
-    if (direct) {
-        return [
-            {
-                bindingKey: direct.bindingKey,
-                targetExpr: direct.targetExpr,
-                tag: direct.tag,
-                matchTag: branch === "truthy"
-                    ? direct.matchesInTruthyBranch
-                    : !direct.matchesInTruthyBranch,
-            },
-        ];
-    }
-    if (condition.kind !== "logical") {
-        return [];
-    }
-    if (branch === "truthy" && condition.operator === "&&") {
-        return [
-            ...collectTypeofGuardRefinements(condition.left, branch),
-            ...collectTypeofGuardRefinements(condition.right, branch),
-        ];
-    }
-    if (branch === "falsy" && condition.operator === "||") {
-        return [
-            ...collectTypeofGuardRefinements(condition.left, branch),
-            ...collectTypeofGuardRefinements(condition.right, branch),
-        ];
-    }
-    return [];
-};
-export const applyTypeofGuardRefinements = (baseContext, refinements) => {
-    let currentContext = baseContext;
-    for (const refinement of refinements) {
-        const currentType = currentContext.narrowedBindings?.get(refinement.bindingKey)?.type ??
-            refinement.targetExpr.inferredType;
-        const narrowedType = refinement.matchTag
-            ? narrowTypeByTypeofTag(currentType, refinement.tag, currentContext)
-            : narrowTypeByNotTypeofTag(currentType, refinement.tag, currentContext);
-        if (!narrowedType) {
-            continue;
-        }
-        const [rawTargetAst, rawTargetContext] = emitExpressionAst(refinement.targetExpr, withoutNarrowedBinding(currentContext, refinement.bindingKey));
-        const runtimeFrameContext = {
-            ...rawTargetContext,
-            narrowedBindings: currentContext.narrowedBindings,
-        };
-        const runtimeUnionFrame = currentType &&
-            resolveRuntimeUnionFrame(refinement.bindingKey, currentType, runtimeFrameContext);
-        const matchingRuntimeMemberIndex = runtimeUnionFrame?.members.findIndex((member) => matchesTypeofTag(member, refinement.tag, rawTargetContext)) ?? -1;
-        const nextBindings = new Map(rawTargetContext.narrowedBindings ?? []);
-        if (runtimeUnionFrame &&
-            matchingRuntimeMemberIndex >= 0 &&
-            runtimeUnionFrame.members.filter((member) => matchesTypeofTag(member, refinement.tag, rawTargetContext)).length === 1) {
-            const memberN = runtimeUnionFrame.candidateMemberNs[matchingRuntimeMemberIndex] ??
-                matchingRuntimeMemberIndex + 1;
-            const memberType = runtimeUnionFrame.members[matchingRuntimeMemberIndex] ?? narrowedType;
-            if (refinement.matchTag) {
-                const existingBinding = currentContext.narrowedBindings?.get(refinement.bindingKey);
-                const sourceInfo = currentType && runtimeUnionFrame
-                    ? resolveRuntimeSubsetSourceInfo(refinement.bindingKey, currentType, runtimeUnionFrame, currentContext)
-                    : undefined;
-                const subsetBinding = buildRuntimeUnionSubsetBinding(rawTargetAst, runtimeUnionFrame, existingBinding?.sourceType ??
-                    existingBinding?.type ??
-                    currentType ??
-                    narrowedType, narrowedType, rawTargetContext, sourceInfo);
-                if (subsetBinding) {
-                    const [binding, subsetContext] = subsetBinding;
-                    nextBindings.set(refinement.bindingKey, binding);
-                    currentContext = {
-                        ...subsetContext,
-                        narrowedBindings: nextBindings,
-                    };
-                    continue;
-                }
-                nextBindings.set(refinement.bindingKey, buildProjectedExprBinding(buildUnionNarrowAst(rawTargetAst, memberN), memberType, currentType, rawTargetAst));
-                currentContext = {
-                    ...rawTargetContext,
-                    narrowedBindings: nextBindings,
-                };
-                continue;
-            }
-            const complementBinding = buildRuntimeUnionComplementBinding(rawTargetAst, runtimeUnionFrame, currentType ?? narrowedType, narrowedType, memberN, rawTargetContext, currentType
-                ? resolveRuntimeSubsetSourceInfo(refinement.bindingKey, currentType, runtimeUnionFrame, currentContext)
-                : undefined);
-            if (complementBinding) {
-                nextBindings.set(refinement.bindingKey, complementBinding);
-                currentContext = {
-                    ...rawTargetContext,
-                    narrowedBindings: nextBindings,
-                };
-                continue;
-            }
-        }
-        const [narrowedTypeAst, nextContext] = emitTypeAst(narrowedType, rawTargetContext);
-        nextBindings.set(refinement.bindingKey, buildProjectedExprBinding({
-            kind: "castExpression",
-            type: narrowedTypeAst,
-            expression: rawTargetAst,
-        }, narrowedType, currentType, rawTargetAst));
-        currentContext = {
-            ...nextContext,
-            narrowedBindings: nextBindings,
-        };
-    }
-    return currentContext;
-};
 //# sourceMappingURL=guard-extraction.js.map

package/dist/statements/control/conditionals/guard-extraction.js.map

@@ -1 +1 @@
-{"version":3,"file":"guard-extraction.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,8BAA8B,GAC/B,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,mDAAmD,CAAC;AAE9F,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,EAChE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAW,EAAE,CACnD,sBAAsB,CAAC,IAAI,CAAC,CAAC;AAE/B,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;QAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QACjE,kBAAkB,CAAC,QAAQ,CAAC;QAC5B,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,EACxC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CACxB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,CAAC,MAAM;QACR,CAAC,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC;QAC/C,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAC/D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAW;IAClC,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE;QACX,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS;QACf,eAAe,EAAE,wBAAwB;KAC1C;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,WAA+B,EAC/B,SAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,qBAAqB,GACzB,SAAS,IAAI,iCAAiC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,WAAW,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAChD,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,WAAW,GAAG,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,SAAS,EAAE,CAAC;QACd,IACE,QAAQ,CAAC,IAAI,KAAK,aAAa;YAC/B,QAAQ,CAAC,IAAI,KAAK,SAAS;YAC3B,QAAQ,CAAC,IAAI,KAAK,YAAY;YAC9B,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;YACjE,kBAAkB,CAAC,QAAQ,CAAC;YAC5B,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,EACxC,CAAC;YACD,OAAO,mBAAmB,CAAC;QAC7B,CAAC;QACD,OAAO,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,WAA+B,EAC/B,UAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,eAAe,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAE3E,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;YACrE,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,CAAC,YAAY,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,YAAY,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAAqE,EAUzD,EAAE;IACd,MAAM,aAAa,GAAG,CACpB,IAAsB,EAUV,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzD,IACE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EACnC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,OAAO;YACL,YAAY;YACZ,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,IAAI;SACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,GAAG,KAAK;gBACR,aAAa,EAAE,KAAK;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAYF,MAAM,2BAA2B,GAAG,CAClC,IAAgE,EAWpD,EAAE;IACd,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAsB,EACtB,KAAwB,EAUZ,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,OAAO;YACL,UAAU;YACV,UAAU,EAAE,MAAM;YAClB,GAAG,EAAE,KAAK,CAAC,KAAK;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GACf,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO;QACL,GAAG,WAAW;QACd,qBAAqB,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;KACzE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAqE,EACrE,MAA0B,EACQ,EAAE;IACpC,MAAM,MAAM,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL;gBACE,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,QAAQ,EACN,MAAM,KAAK,QAAQ;oBACjB,CAAC,CAAC,MAAM,CAAC,qBAAqB;oBAC9B,CAAC,CAAC,CAAC,MAAM,CAAC,qBAAqB;aACpC;SACF,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACvD,OAAO;YACL,GAAG,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC;YACxD,GAAG,6BAA6B,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO;YACL,GAAG,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC;YACxD,GAAG,6BAA6B,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,WAA2B,EAC3B,WAA6C,EAC7B,EAAE;IAClB,IAAI,cAAc,GAAG,WAAW,CAAC;IAEjC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,WAAW,GACf,cAAc,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI;YACjE,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC;QACrC,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ;YACtC,CAAC,CAAC,qBAAqB,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,EAAE,cAAc,CAAC;YACpE,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC1E,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QAED,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,iBAAiB,CACxD,UAAU,CAAC,UAAU,EACrB,sBAAsB,CAAC,cAAc,EAAE,UAAU,CAAC,UAAU,CAAC,CAC9D,CAAC;QAEF,MAAM,mBAAmB,GAAG;YAC1B,GAAG,gBAAgB;YACnB,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;SAClD,CAAC;QACF,MAAM,iBAAiB,GACrB,WAAW;YACX,wBAAwB,CACtB,UAAU,CAAC,UAAU,EACrB,WAAW,EACX,mBAAmB,CACpB,CAAC;QACJ,MAAM,0BAA0B,GAC9B,iBAAiB,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAC9C,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAC3D,IAAI,CAAC,CAAC,CAAC;QAEV,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;QAEtE,IACE,iBAAiB;YACjB,0BAA0B,IAAI,CAAC;YAC/B,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1C,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAC3D,CAAC,MAAM,KAAK,CAAC,EACd,CAAC;YACD,MAAM,OAAO,GACX,iBAAiB,CAAC,iBAAiB,CAAC,0BAA0B,CAAC;gBAC/D,0BAA0B,GAAG,CAAC,CAAC;YACjC,MAAM,UAAU,GACd,iBAAiB,CAAC,OAAO,CAAC,0BAA0B,CAAC,IAAI,YAAY,CAAC;YAExE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,eAAe,GAAG,cAAc,CAAC,gBAAgB,EAAE,GAAG,CAC1D,UAAU,CAAC,UAAU,CACtB,CAAC;gBACF,MAAM,UAAU,GACd,WAAW,IAAI,iBAAiB;oBAC9B,CAAC,CAAC,8BAA8B,CAC5B,UAAU,CAAC,UAAU,EACrB,WAAW,EACX,iBAAiB,EACjB,cAAc,CACf;oBACH,CAAC,CAAC,SAAS,CAAC;gBAChB,MAAM,aAAa,GAAG,8BAA8B,CAClD,YAAY,EACZ,iBAAiB,EACjB,eAAe,EAAE,UAAU;oBACzB,eAAe,EAAE,IAAI;oBACrB,WAAW;oBACX,YAAY,EACd,YAAY,EACZ,gBAAgB,EAChB,UAAU,CACX,CAAC;gBACF,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,aAAa,CAAC;oBAC/C,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACjD,cAAc,GAAG;wBACf,GAAG,aAAa;wBAChB,gBAAgB,EAAE,YAAY;qBAC/B,CAAC;oBACF,SAAS;gBACX,CAAC;gBAED,YAAY,CAAC,GAAG,CACd,UAAU,CAAC,UAAU,EACrB,yBAAyB,CACvB,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,EAC1C,UAAU,EACV,WAAW,EACX,YAAY,CACb,CACF,CAAC;gBACF,cAAc,GAAG;oBACf,GAAG,gBAAgB;oBACnB,gBAAgB,EAAE,YAAY;iBAC/B,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,YAAY,EACZ,iBAAiB,EACjB,WAAW,IAAI,YAAY,EAC3B,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,WAAW;gBACT,CAAC,CAAC,8BAA8B,CAC5B,UAAU,CAAC,UAAU,EACrB,WAAW,EACX,iBAAiB,EACjB,cAAc,CACf;gBACH,CAAC,CAAC,SAAS,CACd,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;gBAC3D,cAAc,GAAG;oBACf,GAAG,gBAAgB;oBACnB,gBAAgB,EAAE,YAAY;iBAC/B,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QAED,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,gBAAgB,CACjB,CAAC;QACF,YAAY,CAAC,GAAG,CACd,UAAU,CAAC,UAAU,EACrB,yBAAyB,CACvB;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,YAAY;SACzB,EACD,YAAY,EACZ,WAAW,EACX,YAAY,CACb,CACF,CAAC;QACF,cAAc,GAAG;YACf,GAAG,WAAW;YACd,gBAAgB,EAAE,YAAY;SAC/B,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC"}
+{"version":3,"file":"guard-extraction.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-extraction.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAIL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,gBAAgB,EAChB,YAAY,GACb,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AACrG,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AAEpF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,EAChE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,WAA+B,EAC/B,SAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,WAAW,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAChD,CAAC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC;QACtB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,WAAW,GAAG,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,WAA+B,EAC/B,UAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,eAAe,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAE3E,IAAI,eAAe,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;YACrE,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,CAAC,YAAY,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,YAAY,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAAqE,EAUzD,EAAE;IACd,MAAM,aAAa,GAAG,CACpB,IAAsB,EAUV,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzD,IACE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EACnC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,OAAO;YACL,YAAY;YACZ,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,IAAI;SACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,GAAG,KAAK;gBACR,aAAa,EAAE,KAAK;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAgE,EAWpD,EAAE;IACd,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAsB,EACtB,KAAwB,EAUZ,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,OAAO;YACL,UAAU;YACV,UAAU,EAAE,MAAM;YAClB,GAAG,EAAE,KAAK,CAAC,KAAK;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GACf,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO;QACL,GAAG,WAAW;QACd,qBAAqB,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;KACzE,CAAC;AACJ,CAAC,CAAC"}

package/dist/statements/control/conditionals/guard-types.d.ts

@@ -56,32 +56,6 @@ export type InstanceofGuardInfo = {
     readonly candidateMemberNs?: readonly number[];
     readonly candidateMembers?: readonly IrType[];
 };
-/**
- * Information extracted from an `("prop" in x)` condition.
- *
- * This is used for union narrowing over structural union members (Union<T1..Tn>):
- *   if ("error" in auth) { ... } → if (auth.IsN()) { var auth__N_k = auth.AsN(); ... }
- *
- * NOTE: We only support the common "single matching member" narrowing case today:
- * - RHS must be an identifier
- * - RHS inferred type must resolve to a carried runtime union (arity 2+)
- * - LHS must be a string literal
- * - The property must exist on exactly ONE union member (so narrowing is single-type)
- */
-export type InGuardInfo = {
-    readonly originalName: string;
-    readonly propertyName: string;
-    readonly memberN: number;
-    readonly unionArity: number;
-    readonly runtimeUnionArity: number;
-    readonly candidateMemberNs: readonly number[];
-    readonly candidateMembers: readonly IrType[];
-    readonly ctxWithId: EmitterContext;
-    readonly narrowedName: string;
-    readonly escapedOrig: string;
-    readonly escapedNarrow: string;
-    readonly narrowedMap: Map<string, NarrowedBinding>;
-};
 /**
  * Information extracted from a discriminant literal equality check:
  *   if (x.kind === "circle") { ... }
@@ -137,6 +111,21 @@ export type PropertyTruthinessGuardInfo = {
     readonly escapedNarrow: string;
     readonly narrowedMap: Map<string, NarrowedBinding>;
 };
+export type PropertyExistenceGuardInfo = {
+    readonly originalName: string;
+    readonly propertyName: string;
+    readonly wantPresent: boolean;
+    readonly memberN: number;
+    readonly unionArity: number;
+    readonly runtimeUnionArity: number;
+    readonly candidateMemberNs: readonly number[];
+    readonly candidateMembers: readonly IrType[];
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+};
 export type RuntimeUnionFrame = NarrowedUnionMembers;
 /**
  * Information extracted from a nullable guard condition.
@@ -147,6 +136,7 @@ export type NullableGuardInfo = {
     readonly targetExpr: Extract<IrExpression, {
         kind: "identifier" | "memberAccess";
     }>;
+    readonly sourceType: IrType;
     readonly strippedType: IrType;
     readonly narrowsInThen: boolean;
     readonly isValueType: boolean;

package/dist/statements/control/conditionals/guard-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard-types.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAOpE,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,qDAAqD,CAAC;AAS7D,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,2CAA2C,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAAM,GAAG,SAwCX,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,YAAY,KACjB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAAG,SAGlD,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,OAAO,CAC3C,YAAY,EACZ;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CACzB,GAAG;IACF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;CAC5B,CAAC;AAEF,eAAO,MAAM,oCAAoC,GAC/C,MAAM,YAAY,KAEhB;IACE,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC,CAAC;CAClE,GACD,SAeH,CAAC;AAEF,eAAO,MAAM,wBAAwB,8GAA8B,CAAC;AAEpE,eAAO,MAAM,6BAA6B,GACxC,cAAc,MAAM,EACpB,eAAe,MAAM,EACrB,kBAAkB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAAG,SAAS,EAC3E,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAgBtB,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,EACpB,YAAY,MAAM,EAClB,YAAY,MAAM,GAAG,SAAS,EAC9B,WAAW,cAAc,KACxB,GAAG,CAAC,MAAM,EAAE,eAAe,CAW7B,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,cAWF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,OAAO,MAAM,GAAG,MAAM,GAAG,OAAO,KAC/B,OAIF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAeF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAcF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAc3D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAgDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAiBtB,CAAC"}
+{"version":3,"file":"guard-types.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAOpE,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,qDAAqD,CAAC;AAU7D,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,2CAA2C,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAErD;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAAM,GAAG,SAwCX,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,YAAY,KACjB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAAG,SAGlD,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,OAAO,CAC3C,YAAY,EACZ;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CACzB,GAAG;IACF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;CAC5B,CAAC;AAEF,eAAO,MAAM,oCAAoC,GAC/C,MAAM,YAAY,KAEhB;IACE,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC,CAAC;CAClE,GACD,SAeH,CAAC;AAEF,eAAO,MAAM,wBAAwB,8GAA8B,CAAC;AAEpE,eAAO,MAAM,6BAA6B,GACxC,cAAc,MAAM,EACpB,eAAe,MAAM,EACrB,kBAAkB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAAG,SAAS,EAC3E,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAgBtB,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,EACpB,YAAY,MAAM,EAClB,YAAY,MAAM,GAAG,SAAS,EAC9B,WAAW,cAAc,KACxB,GAAG,CAAC,MAAM,EAAE,eAAe,CAW7B,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,cAWF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,OAAO,MAAM,GAAG,MAAM,GAAG,OAAO,KAC/B,OAIF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAeF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAcF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAc3D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAwEtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAiBtB,CAAC"}