@tsonic/emitter 0.0.76 → 0.0.77

package/dist/core/semantic/narrowing-builder-core.js

@@ -5,7 +5,7 @@
  * simple AST builders for union narrowing, binding management helpers,
  * nullish guard construction/stripping, and type-narrowing predicates.
  */
-import { normalizedUnionType, } from "@tsonic/frontend";
+import { normalizedUnionType } from "@tsonic/frontend";
 import { identifierExpression } from "../format/backend-ast/builders.js";
 import { emitTypeAst } from "../../type-emitter.js";
 import { nullLiteral } from "../format/backend-ast/builders.js";
@@ -13,8 +13,6 @@ import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
 import { stripNullish, resolveTypeAlias, unionMemberMatchesTarget, } from "./type-resolution.js";
 import { resolveNarrowedUnionMembers, } from "./narrowed-union-resolution.js";
 import { tryBuildRuntimeMaterializationAst, } from "./runtime-reification.js";
-import { isBroadObjectSlotType, isJsValueReferenceType, } from "./js-value-types.js";
-import { getContextualTypeVisitKey } from "./deterministic-type-keys.js";
 export const toReceiverAst = (receiver) => typeof receiver === "string"
     ? { kind: "identifierExpression", identifier: receiver }
     : receiver;
@@ -30,6 +28,77 @@ export const buildUnionNarrowAst = (receiver, memberN) => ({
         arguments: [],
     },
 });
+const unwrapProjectionAst = (ast) => {
+    let current = ast;
+    while (current.kind === "parenthesizedExpression" ||
+        current.kind === "castExpression") {
+        current = current.expression;
+    }
+    return current;
+};
+const tryReadRuntimeUnionFactoryMemberN = (ast) => {
+    const current = unwrapProjectionAst(ast);
+    if (current.kind !== "invocationExpression" ||
+        current.expression.kind !== "memberAccessExpression") {
+        return undefined;
+    }
+    const match = /^From([1-9][0-9]*)$/.exec(current.expression.memberName);
+    return match?.[1] ? Number.parseInt(match[1], 10) : undefined;
+};
+const unwrapParenthesizedAst = (ast) => {
+    let current = ast;
+    while (current.kind === "parenthesizedExpression") {
+        current = current.expression;
+    }
+    return current;
+};
+const stableCarrierExpressionKey = (ast) => {
+    const current = unwrapParenthesizedAst(ast);
+    switch (current.kind) {
+        case "identifierExpression":
+            return `id:${current.identifier}`;
+        case "memberAccessExpression": {
+            const receiverKey = stableCarrierExpressionKey(current.expression);
+            return receiverKey
+                ? `member:${receiverKey}.${current.memberName}`
+                : undefined;
+        }
+        case "elementAccessExpression": {
+            const receiverKey = stableCarrierExpressionKey(current.expression);
+            const argumentKeys = current.arguments.map(stableCarrierExpressionKey);
+            return receiverKey &&
+                argumentKeys.every((key) => key !== undefined)
+                ? `element:${receiverKey}[${argumentKeys.join(",")}]`
+                : undefined;
+        }
+        case "castExpression":
+        case "asExpression":
+            return stableCarrierExpressionKey(current.expression);
+        case "suppressNullableWarningExpression":
+            return stableCarrierExpressionKey(current.expression);
+        default:
+            return undefined;
+    }
+};
+export const tryMapProjectedRuntimeMemberN = (receiver, sourceMemberN) => {
+    if (typeof receiver === "string") {
+        return undefined;
+    }
+    const current = unwrapProjectionAst(receiver);
+    if (current.kind !== "invocationExpression" ||
+        current.expression.kind !== "memberAccessExpression" ||
+        current.expression.memberName !== "Match") {
+        return undefined;
+    }
+    const lambda = current.arguments[sourceMemberN - 1];
+    if (!lambda || lambda.kind !== "lambdaExpression") {
+        return undefined;
+    }
+    return lambda.body.kind === "blockStatement"
+        ? undefined
+        : tryReadRuntimeUnionFactoryMemberN(lambda.body);
+};
+export const buildMappedUnionNarrowAst = (receiver, sourceMemberN) => buildUnionNarrowAst(receiver, tryMapProjectedRuntimeMemberN(receiver, sourceMemberN) ?? sourceMemberN);
 export const buildSubsetUnionType = (members) => {
     if (members.length === 0)
         return undefined;
@@ -71,6 +140,9 @@ export const resolveRuntimeSubsetSourceInfo = (bindingKey, currentType, runtimeU
             sourceCandidateMemberNs: hasExplicitSourceFrame
                 ? existingBinding.sourceCandidateMemberNs
                 : undefined,
+            runtimeUnionArity: hasExplicitSourceFrame
+                ? existingBinding.runtimeUnionArity
+                : undefined,
         };
     }
     const canReuseFrameAsSource = runtimeUnionFrame.runtimeUnionArity === runtimeUnionFrame.members.length &&
@@ -84,6 +156,9 @@ export const resolveRuntimeSubsetSourceInfo = (bindingKey, currentType, runtimeU
         sourceCandidateMemberNs: canReuseFrameAsSource
             ? runtimeUnionFrame.candidateMemberNs
             : undefined,
+        runtimeUnionArity: canReuseFrameAsSource
+            ? runtimeUnionFrame.runtimeUnionArity
+            : undefined,
     };
 };
 export const buildExprBinding = (exprAst, type, sourceType, storageExprAst, storageType, carrierExprAst, carrierType) => ({
@@ -96,7 +171,7 @@ export const buildExprBinding = (exprAst, type, sourceType, storageExprAst, stor
     type,
     sourceType,
 });
-export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType, carrierType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst, carrierType);
+export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType, carrierType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst, carrierType ?? sourceType);
 export const resolveExistingNarrowingSourceType = (bindingKey, currentType, context) => context.narrowedBindings?.get(bindingKey)?.sourceType ?? currentType;
 export const buildRuntimeSubsetExpressionAst = (expr, narrowed, context) => {
     const sourceType = narrowed.sourceType ?? expr.inferredType;
@@ -110,6 +185,7 @@ export const buildRuntimeSubsetExpressionAst = (expr, narrowed, context) => {
         ? {
             members: narrowed.sourceMembers,
             candidateMemberNs: narrowed.sourceCandidateMemberNs,
+            runtimeUnionArity: narrowed.runtimeUnionArity,
         }
         : undefined;
     return tryBuildRuntimeMaterializationAst(identifierExpression(escapeCSharpIdentifier(expr.name)), sourceType, subsetType, context, emitTypeAst, new Set(narrowed.runtimeMemberNs), sourceFrame);
@@ -139,13 +215,6 @@ export const buildConditionalNullishGuardAst = (sourceAst, whenNonNull, targetTy
     ];
 };
 export const tryStripConditionalNullishGuardAst = (exprAst) => {
-    const unwrapParenthesizedAst = (ast) => {
-        let current = ast;
-        while (current.kind === "parenthesizedExpression") {
-            current = current.expression;
-        }
-        return current;
-    };
     const unwrapObjectCastAst = (ast) => {
         const current = unwrapParenthesizedAst(ast);
         if (current.kind === "castExpression" &&
@@ -175,8 +244,11 @@ export const tryStripConditionalNullishGuardAst = (exprAst) => {
         return undefined;
     }
     const returnedExpression = unwrapParenthesizedAst(current.whenFalse);
-    if (JSON.stringify(unwrapParenthesizedAst(checkedExpression)) !==
-        JSON.stringify(returnedExpression)) {
+    const checkedExpressionKey = stableCarrierExpressionKey(checkedExpression);
+    const returnedExpressionKey = stableCarrierExpressionKey(returnedExpression);
+    if (!checkedExpressionKey ||
+        !returnedExpressionKey ||
+        checkedExpressionKey !== returnedExpressionKey) {
         const originalCheckedExpression = unwrapParenthesizedAst(condition.left);
         if (originalCheckedExpression.kind !== "castExpression" ||
             originalCheckedExpression.type.kind !== "predefinedType" ||
@@ -186,119 +258,6 @@ export const tryStripConditionalNullishGuardAst = (exprAst) => {
     }
     return current.whenFalse;
 };
-export const isArrayLikeNarrowingCandidate = (type, context) => {
-    const resolved = resolveTypeAlias(stripNullish(type), context);
-    if (resolved.kind === "arrayType" || resolved.kind === "tupleType") {
-        return true;
-    }
-    if (resolved.kind === "referenceType" &&
-        (resolved.name === "Array" || resolved.name === "ReadonlyArray")) {
-        return true;
-    }
-    return false;
-};
-const hasArrayLikeNarrowingCandidate = (type, context, seen = new Set()) => {
-    const resolved = resolveTypeAlias(stripNullish(type), context);
-    if (isArrayLikeNarrowingCandidate(resolved, context)) {
-        return true;
-    }
-    if (resolved.kind !== "unionType") {
-        return false;
-    }
-    const key = getContextualTypeVisitKey(resolved, context);
-    if (seen.has(key)) {
-        return false;
-    }
-    const nextSeen = new Set(seen);
-    nextSeen.add(key);
-    return resolved.types.some((member) => hasArrayLikeNarrowingCandidate(member, context, nextSeen));
-};
-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, seen = new Set()) => {
-    if (!currentType)
-        return undefined;
-    const resolved = resolveTypeAlias(stripNullish(currentType), context);
-    if (resolved.kind === "unionType") {
-        const key = getContextualTypeVisitKey(resolved, context);
-        if (seen.has(key)) {
-            return undefined;
-        }
-        const nextSeen = new Set(seen);
-        nextSeen.add(key);
-        const hasBroadArrayFallback = wantArray && canNarrowBroadRuntimeValueToArray(resolved, context, seen);
-        const kept = resolved.types.flatMap((member) => {
-            if (!member)
-                return [];
-            const isArrayLike = isArrayLikeNarrowingCandidate(member, context);
-            if (isArrayLike) {
-                return wantArray ? [member] : [];
-            }
-            const resolvedMember = resolveTypeAlias(stripNullish(member), context);
-            if (resolvedMember.kind === "unionType") {
-                const nested = narrowTypeByArrayShape(member, wantArray, context, nextSeen);
-                if (!nested) {
-                    return [];
-                }
-                if (!wantArray &&
-                    !hasArrayLikeNarrowingCandidate(resolvedMember, context, nextSeen)) {
-                    return [member];
-                }
-                return [nested];
-            }
-            return wantArray ? [] : [member];
-        });
-        const narrowed = hasBroadArrayFallback ? [...kept, JS_VALUE_ARRAY_TYPE] : kept;
-        if (narrowed.length === 0)
-            return undefined;
-        if (narrowed.length === 1)
-            return narrowed[0];
-        return normalizedUnionType(narrowed);
-    }
-    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;
-};
 export const narrowTypeByNotAssignableTarget = (currentType, targetType, context) => {
     if (!currentType || !targetType)
         return undefined;

package/dist/core/semantic/narrowing-builder-core.js.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-builder-core.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGL,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,2BAA2B,GAE5B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,iCAAiC,GAClC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAiBzE,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAsC,EACjB,EAAE,CACvB,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACxD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAsC,EACtC,OAAe,EACM,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,UAAU,EAAE;QACV,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;YACnC,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA0B,EACN,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,UAAkB,EAClB,OAAwB,EACxB,OAAuB,EACP,EAAE;IAClB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACjE,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,UAAkB,EAClB,WAAmB,EACnB,iBAAoC,EACpC,OAAuB,EACE,EAAE;IAC3B,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,eAAe,EAAE,IAAI,KAAK,eAAe,IAAI,eAAe,CAAC,UAAU,EAAE,CAAC;QAC5E,MAAM,sBAAsB,GAC1B,eAAe,CAAC,aAAa;YAC7B,eAAe,CAAC,uBAAuB;YACvC,eAAe,CAAC,aAAa,CAAC,MAAM;gBAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM,CAAC;QAEnD,OAAO;YACL,UAAU,EAAE,eAAe,CAAC,UAAU;YACtC,aAAa,EAAE,sBAAsB;gBACnC,CAAC,CAAC,eAAe,CAAC,aAAa;gBAC/B,CAAC,CAAC,SAAS;YACb,uBAAuB,EAAE,sBAAsB;gBAC7C,CAAC,CAAC,eAAe,CAAC,uBAAuB;gBACzC,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IAED,MAAM,qBAAqB,GACzB,iBAAiB,CAAC,iBAAiB,KAAK,iBAAiB,CAAC,OAAO,CAAC,MAAM;QACxE,iBAAiB,CAAC,OAAO,CAAC,MAAM;YAC9B,iBAAiB,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAE/C,OAAO;QACL,UAAU,EAAE,eAAe,EAAE,UAAU,IAAI,WAAW;QACtD,aAAa,EAAE,qBAAqB;YAClC,CAAC,CAAC,iBAAiB,CAAC,OAAO;YAC3B,CAAC,CAAC,SAAS;QACb,uBAAuB,EAAE,qBAAqB;YAC5C,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;YACrC,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAoC,EACpC,WAAoB,EACpB,cAAoC,EACpC,WAAoB,EACwB,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,cAAc;IACd,cAAc;IACd,WAAW;IACX,WAAW;IACX,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAmC,EACnC,WAAoB,EACpB,WAAoB,EACwB,EAAE,CAC9C,gBAAgB,CACd,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,WAAW,IAAI,IAAI,EACnB,cAAc,EACd,WAAW,CACZ,CAAC;AAEJ,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,UAAkB,EAClB,WAA+B,EAC/B,OAAuB,EACH,EAAE,CACtB,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,IAAI,WAAW,CAAC;AAEvE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EAC4B,EAAE;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GACf,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,uBAAuB;QAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM;QACvE,CAAC,CAAC;YACE,OAAO,EAAE,QAAQ,CAAC,aAAa;YAC/B,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB;SACpD;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO,iCAAiC,CACtC,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACvD,UAAU,EACV,UAAU,EACV,OAAO,EACP,WAAW,EACX,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjC,WAAW,CACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,SAA8B,EAC9B,WAAgC,EAChC,UAAkB,EAClB,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAC9C,YAAY,CAAC,UAAU,CAAC,EACxB,OAAO,CACR,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,SAAS,EAAE;gBACT,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oBACnD,UAAU,EAAE,SAAS;iBACtB;gBACD,KAAK,EAAE,WAAW,EAAE;aACrB;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,aAAa;aACpB;YACD,SAAS,EAAE,WAAW;SACvB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,OAA4B,EACK,EAAE;IACnC,MAAM,sBAAsB,GAAG,CAC7B,GAAwB,EACH,EAAE;QACvB,IAAI,OAAO,GAAG,GAAG,CAAC;QAClB,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YAClD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAC1B,GAAwB,EACH,EAAE;QACvB,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;QAC5C,IACE,OAAO,CAAC,IAAI,KAAK,gBAAgB;YACjC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;YACtC,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,EACjC,CAAC;YACD,OAAO,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAClD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,IACE,SAAS,CAAC,IAAI,KAAK,kBAAkB;QACrC,SAAS,CAAC,aAAa,KAAK,IAAI,EAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAE9D,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACrE,IACE,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,iBAAiB,CAAC,CAAC;QACzD,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAClC,CAAC;QACD,MAAM,yBAAyB,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACzE,IACE,yBAAyB,CAAC,IAAI,KAAK,gBAAgB;YACnD,yBAAyB,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;YACxD,yBAAyB,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,EACnD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,SAAS,CAAC;AAC3B,CAAC,CAAC;AAEF,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,8BAA8B,GAAG,CACrC,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,IAAI,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,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;IACD,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,CAAC,CAAC,MAAM,EAAE,EAAE,CACpC,8BAA8B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAC1D,CAAC;AACJ,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,EACvB,OAAO,IAAI,GAAG,EAAU,EACJ,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,GAAG,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,qBAAqB,GACzB,SAAS,IAAI,iCAAiC,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAqB,EAAE;YAChE,IAAI,CAAC,MAAM;gBAAE,OAAO,EAAE,CAAC;YACvB,MAAM,WAAW,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnE,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,CAAC;YAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,sBAAsB,CACnC,MAAM,EACN,SAAS,EACT,OAAO,EACP,QAAQ,CACT,CAAC;gBACF,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,IACE,CAAC,SAAS;oBACV,CAAC,8BAA8B,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,EAClE,CAAC;oBACD,OAAO,CAAC,MAAM,CAAC,CAAC;gBAClB,CAAC;gBACD,OAAO,CAAC,MAAM,CAAC,CAAC;YAClB,CAAC;YAED,OAAO,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnC,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,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;QACpE,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,wBAAwB,CAAC,eAAe,EAAE,cAAc,EAAE,OAAO,CAAC;QACvE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,UAAkB,EAClB,YAAgC,EAChC,OAAuB,EACH,EAAE,CACtB,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,IAAI,YAAY,CAAC;AAElE,MAAM,CAAC,MAAM,wBAAwB,GAAG,2BAA2B,CAAC;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/D,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AACjE,CAAC,CAAC"}
+{"version":3,"file":"narrowing-builder-core.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAwB,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAG7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,2BAA2B,GAE5B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,iCAAiC,GAClC,MAAM,0BAA0B,CAAC;AAkBlC,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAsC,EACjB,EAAE,CACvB,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,EAAE;IACxD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAsC,EACtC,OAAe,EACM,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,UAAU,EAAE;QACV,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC;YACnC,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd;CACF,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,GAAwB,EAAuB,EAAE;IAC5E,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,OACE,OAAO,CAAC,IAAI,KAAK,yBAAyB;QAC1C,OAAO,CAAC,IAAI,KAAK,gBAAgB,EACjC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,GAAwB,EACJ,EAAE;IACtB,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACzC,IACE,OAAO,CAAC,IAAI,KAAK,sBAAsB;QACvC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EACpD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACxE,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,GAAwB,EACH,EAAE;IACvB,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAClD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,GAAwB,EACJ,EAAE;IACtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,sBAAsB;YACzB,OAAO,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;QACpC,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,WAAW,GAAG,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACnE,OAAO,WAAW;gBAChB,CAAC,CAAC,UAAU,WAAW,IAAI,OAAO,CAAC,UAAU,EAAE;gBAC/C,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,WAAW,GAAG,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACnE,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;YACvE,OAAO,WAAW;gBAChB,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;gBAC7D,CAAC,CAAC,WAAW,WAAW,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;gBACrD,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD,KAAK,mCAAmC;YACtC,OAAO,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAAsC,EACtC,aAAqB,EACD,EAAE;IACtB,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IACE,OAAO,CAAC,IAAI,KAAK,sBAAsB;QACvC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACpD,OAAO,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC1C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,iCAAiC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,QAAsC,EACtC,aAAqB,EACA,EAAE,CACvB,mBAAmB,CACjB,QAAQ,EACR,6BAA6B,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,aAAa,CACxE,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAA0B,EACN,EAAE;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,UAAkB,EACF,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAEpC,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,UAAkB,EAClB,OAAwB,EACxB,OAAuB,EACP,EAAE;IAClB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IACjE,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,UAAkB,EAClB,WAAmB,EACnB,iBAAoC,EACpC,OAAuB,EACE,EAAE;IAC3B,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,eAAe,EAAE,IAAI,KAAK,eAAe,IAAI,eAAe,CAAC,UAAU,EAAE,CAAC;QAC5E,MAAM,sBAAsB,GAC1B,eAAe,CAAC,aAAa;YAC7B,eAAe,CAAC,uBAAuB;YACvC,eAAe,CAAC,aAAa,CAAC,MAAM;gBAClC,eAAe,CAAC,uBAAuB,CAAC,MAAM,CAAC;QAEnD,OAAO;YACL,UAAU,EAAE,eAAe,CAAC,UAAU;YACtC,aAAa,EAAE,sBAAsB;gBACnC,CAAC,CAAC,eAAe,CAAC,aAAa;gBAC/B,CAAC,CAAC,SAAS;YACb,uBAAuB,EAAE,sBAAsB;gBAC7C,CAAC,CAAC,eAAe,CAAC,uBAAuB;gBACzC,CAAC,CAAC,SAAS;YACb,iBAAiB,EAAE,sBAAsB;gBACvC,CAAC,CAAC,eAAe,CAAC,iBAAiB;gBACnC,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IAED,MAAM,qBAAqB,GACzB,iBAAiB,CAAC,iBAAiB,KAAK,iBAAiB,CAAC,OAAO,CAAC,MAAM;QACxE,iBAAiB,CAAC,OAAO,CAAC,MAAM;YAC9B,iBAAiB,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAE/C,OAAO;QACL,UAAU,EAAE,eAAe,EAAE,UAAU,IAAI,WAAW;QACtD,aAAa,EAAE,qBAAqB;YAClC,CAAC,CAAC,iBAAiB,CAAC,OAAO;YAC3B,CAAC,CAAC,SAAS;QACb,uBAAuB,EAAE,qBAAqB;YAC5C,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;YACrC,CAAC,CAAC,SAAS;QACb,iBAAiB,EAAE,qBAAqB;YACtC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;YACrC,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAoC,EACpC,WAAoB,EACpB,cAAoC,EACpC,WAAoB,EACwB,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM;IACZ,OAAO;IACP,cAAc;IACd,cAAc;IACd,WAAW;IACX,WAAW;IACX,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAA4B,EAC5B,IAAwB,EACxB,UAA8B,EAC9B,cAAmC,EACnC,WAAoB,EACpB,WAAoB,EACwB,EAAE,CAC9C,gBAAgB,CACd,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,WAAW,IAAI,IAAI,EACnB,cAAc,EACd,WAAW,IAAI,UAAU,CAC1B,CAAC;AAEJ,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,UAAkB,EAClB,WAA+B,EAC/B,OAAuB,EACH,EAAE,CACtB,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,IAAI,WAAW,CAAC;AAEvE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EAC4B,EAAE;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GACf,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,uBAAuB;QAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM;QACvE,CAAC,CAAC;YACE,OAAO,EAAE,QAAQ,CAAC,aAAa;YAC/B,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB;YACnD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC9C;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO,iCAAiC,CACtC,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACvD,UAAU,EACV,UAAU,EACV,OAAO,EACP,WAAW,EACX,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjC,WAAW,CACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,SAA8B,EAC9B,WAAgC,EAChC,UAAkB,EAClB,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAC9C,YAAY,CAAC,UAAU,CAAC,EACxB,OAAO,CACR,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,SAAS,EAAE;gBACT,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oBACnD,UAAU,EAAE,SAAS;iBACtB;gBACD,KAAK,EAAE,WAAW,EAAE;aACrB;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,aAAa;aACpB;YACD,SAAS,EAAE,WAAW;SACvB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,OAA4B,EACK,EAAE;IACnC,MAAM,mBAAmB,GAAG,CAC1B,GAAwB,EACH,EAAE;QACvB,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;QAC5C,IACE,OAAO,CAAC,IAAI,KAAK,gBAAgB;YACjC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;YACtC,OAAO,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,EACjC,CAAC;YACD,OAAO,sBAAsB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAClD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,IACE,SAAS,CAAC,IAAI,KAAK,kBAAkB;QACrC,SAAS,CAAC,aAAa,KAAK,IAAI,EAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAE9D,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACrE,MAAM,oBAAoB,GAAG,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;IAC3E,MAAM,qBAAqB,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,CAAC;IAC7E,IACE,CAAC,oBAAoB;QACrB,CAAC,qBAAqB;QACtB,oBAAoB,KAAK,qBAAqB,EAC9C,CAAC;QACD,MAAM,yBAAyB,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACzE,IACE,yBAAyB,CAAC,IAAI,KAAK,gBAAgB;YACnD,yBAAyB,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;YACxD,yBAAyB,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,EACnD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,SAAS,CAAC;AAC3B,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,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;QACpE,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,wBAAwB,CAAC,eAAe,EAAE,cAAc,EAAE,OAAO,CAAC;QACvE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,UAAkB,EAClB,YAAgC,EAChC,OAAuB,EACH,EAAE,CACtB,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,IAAI,YAAY,CAAC;AAElE,MAAM,CAAC,MAAM,wBAAwB,GAAG,2BAA2B,CAAC;AAEpE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/D,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AACjE,CAAC,CAAC"}

package/dist/core/semantic/narrowing-builder-core.test.js

@@ -1,5 +1,6 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
+import { semanticTypeMap, storageCarrierMap } from "../../types.js";
 import { applyBinding } from "./narrowing-builder-core.js";
 describe("narrowing builder core", () => {
     it("keeps declared local symbol tables unchanged when applying flow narrowing", () => {
@@ -19,8 +20,8 @@ describe("narrowing builder core", () => {
             isStatic: false,
             isAsync: false,
             usings: new Set(),
-            localSemanticTypes: new Map([["cur", valueType]]),
-            localValueTypes: new Map([["cur", valueType]]),
+            localSemanticTypes: semanticTypeMap([["cur", valueType]]),
+            localValueTypes: storageCarrierMap([["cur", valueType]]),
         };
         const binding = {
             kind: "expr",

package/dist/core/semantic/narrowing-builder-core.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-builder-core.test.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAG9B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,WAAW;SAC7B,CAAC;QACF,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;YACjB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,OAAO,GAAmB;YAC9B,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAAE;YACpE,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,kBAAkB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACjD,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;SAC/C,CAAC;QAEF,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,MAAe;YACrB,OAAO,EAAE;gBACP,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE,WAAW;aACxB;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE,KAAK;aAClB;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE,KAAK;aAClB;YACD,WAAW,EAAE,aAAa;YAC1B,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,SAAS;SACtB,CAAC;QAEF,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAE1D,MAAM,CAAC,WAAW,CAAC,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5E,MAAM,CAAC,WAAW,CAAC,eAAe,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACzE,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"narrowing-builder-core.test.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAG9B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,WAAW;SAC7B,CAAC;QACF,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;YACjB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,OAAO,GAAmB;YAC9B,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAAE;YACpE,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;YACzB,kBAAkB,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACzD,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;SACzD,CAAC;QAEF,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,MAAe;YACrB,OAAO,EAAE;gBACP,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE,WAAW;aACxB;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE,KAAK;aAClB;YACD,cAAc,EAAE;gBACd,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE,KAAK;aAClB;YACD,WAAW,EAAE,aAAa;YAC1B,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,SAAS;SACtB,CAAC;QAEF,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAE1D,MAAM,CAAC,WAAW,CAAC,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5E,MAAM,CAAC,WAAW,CAAC,eAAe,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACzE,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/narrowing-builder-unions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-builder-unions.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-unions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,gCAAgC,CAAC;AAmBxC,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,aAAa,EAYnB,MAAM,6BAA6B,CAAC;AAGrC,eAAO,MAAM,kCAAkC,GAC7C,UAAU,mBAAmB,EAC7B,mBAAmB,iBAAiB,EACpC,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,iBAAiB,MAAM,EACvB,SAAS,cAAc,EACvB,aAAa,uBAAuB,KACnC,eAAe,GAAG,SAgIpB,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,aAAa,mBAAmB,EAChC,mBAAmB,iBAAiB,EACpC,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,SAAS,cAAc,EACvB,aAAa,uBAAuB,KACnC,CAAC,eAAe,EAAE,cAAc,CAAC,GAAG,SAqLtC,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,YAAY,MAAM,EAClB,YAAY,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;CAAE,CAAC,EAC1E,cAAc,MAAM,EACpB,SAAS,cAAc,EACvB,aAAa,aAAa,EAC1B,cAAc,MAAM,KACnB,cA2NF,CAAC"}
+{"version":3,"file":"narrowing-builder-unions.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-unions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,gCAAgC,CAAC;AAqBxC,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,aAAa,EAYnB,MAAM,6BAA6B,CAAC;AA4CrC,eAAO,MAAM,kCAAkC,GAC7C,UAAU,mBAAmB,EAC7B,mBAAmB,iBAAiB,EACpC,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,iBAAiB,MAAM,EACvB,SAAS,cAAc,EACvB,aAAa,uBAAuB,KACnC,eAAe,GAAG,SAgIpB,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,aAAa,mBAAmB,EAChC,mBAAmB,iBAAiB,EACpC,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,SAAS,cAAc,EACvB,aAAa,uBAAuB,KACnC,CAAC,eAAe,EAAE,cAAc,CAAC,GAAG,SAsLtC,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,YAAY,MAAM,EAClB,YAAY,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;CAAE,CAAC,EAC1E,cAAc,MAAM,EACpB,SAAS,cAAc,EACvB,aAAa,aAAa,EAC1B,cAAc,MAAM,KACnB,cAkPF,CAAC"}

package/dist/core/semantic/narrowing-builder-unions.js

@@ -9,7 +9,7 @@
 import { identifierExpression } from "../format/backend-ast/builders.js";
 import { emitTypeAst } from "../../type-emitter.js";
 import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
-import { splitRuntimeNullishUnionMembers, resolveTypeAlias, unionMemberMatchesTarget, } from "./type-resolution.js";
+import { isDefinitelyValueType, splitRuntimeNullishUnionMembers, resolveTypeAlias, stripNullish, unionMemberMatchesTarget, } from "./type-resolution.js";
 import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
 import { buildRuntimeUnionLayout } from "./runtime-unions.js";
 import { buildInvalidRuntimeUnionCastExpression, tryBuildRuntimeUnionProjectionToLayoutAst, } from "./runtime-union-projection.js";
@@ -17,8 +17,32 @@ import { materializeDirectNarrowingAst } from "./materialized-narrowing.js";
 import { tryBuildRuntimeMaterializationAst } from "./runtime-reification.js";
 import { willCarryAsRuntimeUnion } from "./union-semantics.js";
 import { resolveIdentifierRuntimeCarrierType } from "./direct-storage-ir-types.js";
-import { buildUnionNarrowAst, buildSubsetUnionType, toReceiverAst, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, buildConditionalNullishGuardAst, currentNarrowedType, resolveRuntimeSubsetSourceInfo, resolveRuntimeUnionFrame, } from "./narrowing-builder-core.js";
+import { buildMappedUnionNarrowAst, buildSubsetUnionType, toReceiverAst, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, buildConditionalNullishGuardAst, currentNarrowedType, resolveRuntimeSubsetSourceInfo, resolveRuntimeUnionFrame, } from "./narrowing-builder-core.js";
 import { areIrTypesEquivalent } from "./type-equivalence.js";
+const getNullableValueStorageProjectionSourceType = (targetExpr, narrowedType, context) => {
+    if (targetExpr.kind !== "identifier") {
+        return undefined;
+    }
+    const storageType = context.localValueTypes?.get(targetExpr.name) ??
+        context.localSemanticTypes?.get(targetExpr.name);
+    const storageSplit = storageType
+        ? splitRuntimeNullishUnionMembers(storageType)
+        : undefined;
+    if (!storageSplit?.hasRuntimeNullish ||
+        storageSplit.nonNullishMembers.length !== 1) {
+        return undefined;
+    }
+    const [storageBase] = storageSplit.nonNullishMembers;
+    if (!storageBase) {
+        return undefined;
+    }
+    const resolvedStorageBase = resolveTypeAlias(stripNullish(storageBase), context);
+    const resolvedNarrowedType = resolveTypeAlias(stripNullish(narrowedType), context);
+    return isDefinitelyValueType(resolvedNarrowedType) &&
+        areIrTypesEquivalent(resolvedStorageBase, resolvedNarrowedType, context)
+        ? storageType
+        : undefined;
+};
 export const buildRuntimeUnionComplementBinding = (receiver, runtimeUnionFrame, sourceType, narrowedType, selectedMemberN, context, sourceInfo) => {
     const remainingPairs = runtimeUnionFrame.candidateMemberNs.flatMap((runtimeMemberN, index) => {
         if (runtimeMemberN === selectedMemberN) {
@@ -40,7 +64,7 @@ export const buildRuntimeUnionComplementBinding = (receiver, runtimeUnionFrame,
         if (!remaining)
             return undefined;
         const carrierSourceType = sourceInfo?.sourceType ?? sourceType;
-        const narrowedExpr = buildUnionNarrowAst(receiver, remaining.runtimeMemberN);
+        const narrowedExpr = buildMappedUnionNarrowAst(receiver, remaining.runtimeMemberN);
         if (!hasRuntimeNullish) {
             return buildProjectedExprBinding(narrowedExpr, narrowedType, carrierSourceType, toReceiverAst(receiver), undefined, carrierSourceType);
         }
@@ -131,7 +155,7 @@ export const buildRuntimeUnionSubsetBinding = (receiverAst, runtimeUnionFrame, s
             return undefined;
         }
         return [
-            buildProjectedExprBinding(buildUnionNarrowAst(narrowedReceiverAst, selected.runtimeMemberN), narrowedType, narrowedReceiverSourceType, narrowedReceiverAst, undefined, narrowedReceiverSourceType),
+            buildProjectedExprBinding(buildMappedUnionNarrowAst(narrowedReceiverAst, selected.runtimeMemberN), narrowedType, narrowedReceiverSourceType, narrowedReceiverAst, undefined, narrowedReceiverSourceType),
             narrowedReceiverContext,
         ];
     }
@@ -152,7 +176,7 @@ export const buildRuntimeUnionSubsetBinding = (receiverAst, runtimeUnionFrame, s
         ? {
             members: sourceInfo.sourceMembers,
             candidateMemberNs: sourceInfo.sourceCandidateMemberNs,
-            runtimeUnionArity: sourceInfo.sourceCandidateMemberNs.length,
+            runtimeUnionArity: sourceInfo.runtimeUnionArity ?? runtimeUnionFrame.runtimeUnionArity,
         }
         : runtimeUnionFrame.runtimeUnionArity ===
             runtimeUnionFrame.members.length &&
@@ -209,12 +233,19 @@ export const buildRuntimeUnionSubsetBinding = (receiverAst, runtimeUnionFrame, s
 };
 export const applyDirectTypeNarrowing = (bindingKey, targetExpr, narrowedType, context, emitExprAst, storageType) => {
     const existingBinding = context.narrowedBindings?.get(bindingKey);
+    const nullableValueStorageProjectionSourceType = getNullableValueStorageProjectionSourceType(targetExpr, narrowedType, context);
     if (existingBinding?.type &&
-        areIrTypesEquivalent(resolveTypeAlias(existingBinding.type, context), resolveTypeAlias(narrowedType, context), context)) {
+        areIrTypesEquivalent(resolveTypeAlias(existingBinding.type, context), resolveTypeAlias(narrowedType, context), context) &&
+        !nullableValueStorageProjectionSourceType) {
         return context;
     }
     const currentType = currentNarrowedType(bindingKey, resolveEffectiveExpressionType(targetExpr, context) ??
         targetExpr.inferredType, context);
+    if (currentType &&
+        areIrTypesEquivalent(resolveTypeAlias(currentType, context), resolveTypeAlias(narrowedType, context), context) &&
+        !nullableValueStorageProjectionSourceType) {
+        return context;
+    }
     const [rawTargetAst, rawTargetContext] = emitExprAst(targetExpr, withoutNarrowedBinding(context, bindingKey));
     const identifierStorageType = targetExpr.kind === "identifier"
         ? rawTargetContext.localValueTypes?.get(targetExpr.name)
@@ -223,6 +254,7 @@ export const applyDirectTypeNarrowing = (bindingKey, targetExpr, narrowedType, c
         ? resolveIdentifierRuntimeCarrierType(targetExpr, rawTargetContext)
         : undefined;
     const rawCarrierType = identifierCarrierType ??
+        nullableValueStorageProjectionSourceType ??
         currentType ??
         targetExpr.inferredType ??
         identifierStorageType;
@@ -282,7 +314,11 @@ export const applyDirectTypeNarrowing = (bindingKey, targetExpr, narrowedType, c
                 }
                 return [existingCarrierAst, context, exprCarrierType];
             }
-            return [existingBinding.exprAst, context, exprCarrierType];
+            return [
+                existingBinding.carrierExprAst ?? existingBinding.exprAst,
+                context,
+                exprCarrierType,
+            ];
         }
         if (existingBinding.kind === "runtimeSubset") {
             const subsetCarrierType = existingBinding.sourceType ??

package/dist/core/semantic/narrowing-builder-unions.js.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-builder-unions.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-unions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,+BAA+B,EAC/B,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,yCAAyC,GAC1C,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,iCAAiC,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,mCAAmC,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAIL,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,+BAA+B,EAC/B,mBAAmB,EACnB,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,QAA6B,EAC7B,iBAAoC,EACpC,UAAkB,EAClB,YAAoB,EACpB,eAAuB,EACvB,OAAuB,EACvB,UAAoC,EACP,EAAE;IAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAChE,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACxB,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CACF,CAAC;IAEF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC;IAE5D,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,iBAAiB,GAAG,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC;QAE/D,MAAM,YAAY,GAAG,mBAAmB,CACtC,QAAQ,EACR,SAAS,CAAC,cAAc,CACzB,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,yBAAyB,CAC9B,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,aAAa,CAAC,QAAQ,CAAC,EACvB,SAAS,EACT,iBAAiB,CAClB,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAG,+BAA+B,CACrD,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,OAAO,CACR,CAAC;QACF,OAAO,yBAAyB,CAC9B,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,aAAa,CAAC,QAAQ,CAAC,EACvB,SAAS,EACT,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,iBAAiB,GAAG,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC;QAC/D,MAAM,WAAW,GACf,UAAU,EAAE,aAAa;YACzB,UAAU,CAAC,uBAAuB;YAClC,UAAU,CAAC,aAAa,CAAC,MAAM;gBAC7B,UAAU,CAAC,uBAAuB,CAAC,MAAM;YACzC,CAAC,CAAC;gBACE,OAAO,EAAE,UAAU,CAAC,aAAa;gBACjC,iBAAiB,EAAE,UAAU,CAAC,uBAAuB;aACtD;YACH,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;gBACjC,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBAClC,CAAC,CAAC;oBACE,OAAO,EAAE,iBAAiB,CAAC,OAAO;oBAClC,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;iBACvD;gBACH,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,sBAAsB,GAAG,IAAI,GAAG,CACpC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAClD,CAAC;QACF,MAAM,YAAY,GAAG,iCAAiC,CACpD,QAAQ,EACR,iBAAiB,EACjB,YAAY,EACZ,OAAO,EACP,WAAW,EACX,sBAAsB,EACtB,WAAW,CACZ,CAAC;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAG,+BAA+B,CACrD,QAAQ,EACR,YAAY,CAAC,CAAC,CAAC,EACf,YAAY,EACZ,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;QACF,OAAO,yBAAyB,CAC9B,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,aAAa,CAAC,QAAQ,CAAC,EACvB,SAAS,EACT,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;QACtD,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,UAAU,EAAE,aAAa;YACtC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC;YAC/B,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,KAAK,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBACxE,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC;gBAChC,CAAC,CAAC,SAAS;QACf,uBAAuB,EAAE,UAAU,EAAE,uBAAuB;YAC1D,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,uBAAuB,CAAC;YACzC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;gBACjC,iBAAiB,CAAC,iBAAiB,CAAC,MAAM;gBAC5C,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,iBAAiB,CAAC;gBAC1C,CAAC,CAAC,SAAS;QACf,IAAI,EAAE,YAAY;QAClB,UAAU,EAAE,UAAU,EAAE,UAAU,IAAI,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,WAAgC,EAChC,iBAAoC,EACpC,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACvB,UAAoC,EACW,EAAE;IACjD,MAAM,cAAc,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,uBAAuB,GAC3B,cAAc,CAAC,IAAI,KAAK,aAAa;QACrC,cAAc,CAAC,IAAI,KAAK,SAAS;QACjC,cAAc,CAAC,IAAI,KAAK,YAAY;QACpC,CAAC,cAAc,CAAC,IAAI,KAAK,eAAe;YACtC,cAAc,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACtC,IAAI,mBAAmB,GAAG,WAAW,CAAC;IACtC,IAAI,uBAAuB,GAAG,OAAO,CAAC;IACtC,IAAI,0BAA0B,GAAG,UAAU,CAAC;IAC5C,IAAI,uBAAuB,EAAE,CAAC;QAC5B,MAAM,kBAAkB,GACtB,oBAAoB,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC;QAChE,MAAM,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,GAC9C,6BAA6B,CAC3B,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,OAAO,CACR,CAAC;QACJ,mBAAmB,GAAG,iBAAiB,CAAC;QACxC,uBAAuB,GAAG,qBAAqB,CAAC;QAChD,0BAA0B,GAAG,kBAAkB,CAAC;IAClD,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GACpB,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5D,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,YAAY,CAAC;QACjE,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,aAAa,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAC/D,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACxB,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,wBAAwB,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC;YACpE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;YAClC,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CACF,CAAC;IAEF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,yBAAyB,CACvB,mBAAmB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,cAAc,CAAC,EACjE,YAAY,EACZ,0BAA0B,EAC1B,mBAAmB,EACnB,SAAS,EACT,0BAA0B,CAC3B;YACD,uBAAuB;SACxB,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,gBAAgB,EAChB,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAC9C,6BAA6B,CAC3B,mBAAmB,EACnB,0BAA0B,EAC1B,YAAY,EACZ,uBAAuB,CACxB,CAAC;QACJ,OAAO;YACL,yBAAyB,CACvB,mBAAmB,EACnB,YAAY,EACZ,0BAA0B,EAC1B,mBAAmB,EACnB,SAAS,EACT,0BAA0B,CAC3B;YACD,mBAAmB;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;IAC9C,MAAM,sBAAsB,GAAG,IAAI,GAAG,CACpC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CACjD,CAAC;IACF,MAAM,mBAAmB,GACvB,UAAU,EAAE,aAAa;QACzB,UAAU,CAAC,uBAAuB;QAClC,UAAU,CAAC,aAAa,CAAC,MAAM;YAC7B,UAAU,CAAC,uBAAuB,CAAC,MAAM;QACzC,CAAC,CAAC;YACE,OAAO,EAAE,UAAU,CAAC,aAAa;YACjC,iBAAiB,EAAE,UAAU,CAAC,uBAAuB;YACrD,iBAAiB,EAAE,UAAU,CAAC,uBAAuB,CAAC,MAAM;SAC7D;QACH,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;YAC/B,iBAAiB,CAAC,OAAO,CAAC,MAAM;YAClC,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBAC9B,iBAAiB,CAAC,iBAAiB,CAAC,MAAM;YAC9C,CAAC,CAAC;gBACE,OAAO,EAAE,iBAAiB,CAAC,OAAO;gBAClC,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;gBACtD,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;aACvD;YACH,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,aAAa,GACjB,mBAAmB,EAAE,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC;IAC5D,MAAM,uBAAuB,GAC3B,mBAAmB,EAAE,iBAAiB;QACtC,iBAAiB,CAAC,iBAAiB,CAAC;IACtC,MAAM,uBAAuB,GAC3B,mBAAmB,EAAE,iBAAiB;QACtC,iBAAiB,CAAC,iBAAiB,CAAC;IAEtC,MAAM,oBAAoB,GAAoB,EAAE,CAAC;IACjD,IAAI,mBAAmB,GAAG,iBAAiB,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;QACxE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,mBAAmB,GAAG,WAAW,CAAC;IACpC,CAAC;IAED,MAAM,eAAe,GAAG,yCAAyC,CAAC;QAChE,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE;YACZ,OAAO,EAAE,aAAa;YACtB,cAAc,EAAE,oBAAoB;YACpC,uBAAuB,EAAE,oBAAoB;YAC7C,iBAAiB,EAAE,uBAAuB;SAC3C;QACD,YAAY,EAAE,YAAY;QAC1B,OAAO,EAAE,mBAAmB;QAC5B,iBAAiB,EAAE,uBAAuB;QAC1C,sBAAsB,EAAE,sBAAsB;QAC9C,sBAAsB,EAAE,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YACnE,aAAa;YACb,WAAW;SACZ;QACD,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;QACpE,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;KACrE,CAAC,CAAC;IACH,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,eAAe,CAAC;IAElD,MAAM,OAAO,GAAG,KAAK,EAAE,iBAAiB;QACtC,CAAC,CAAC,+BAA+B,CAC7B,mBAAmB,EACnB,SAAS,EACT,YAAY,EACZ,YAAY,CACb,CAAC,CAAC,CAAC;QACN,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,yBAAyB,CACvB,OAAO,EACP,YAAY,EACZ,0BAA0B,EAC1B,mBAAmB,EACnB,SAAS,EACT,0BAA0B,CAC3B;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,UAAkB,EAClB,UAA0E,EAC1E,YAAoB,EACpB,OAAuB,EACvB,WAA0B,EAC1B,WAAoB,EACJ,EAAE;IAClB,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClE,IACE,eAAe,EAAE,IAAI;QACrB,oBAAoB,CAClB,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,EAC/C,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,EACvC,OAAO,CACR,EACD,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,WAAW,GAAG,mBAAmB,CACrC,UAAU,EACV,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;QACjD,UAAU,CAAC,YAAY,EACzB,OAAO,CACR,CAAC;IACF,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,WAAW,CAClD,UAAU,EACV,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,CAC5C,CAAC;IACF,MAAM,qBAAqB,GACzB,UAAU,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QACxD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,qBAAqB,GACzB,UAAU,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,CAAC,mCAAmC,CAAC,UAAU,EAAE,gBAAgB,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,cAAc,GAClB,qBAAqB;QACrB,WAAW;QACX,UAAU,CAAC,YAAY;QACvB,qBAAqB,CAAC;IACxB,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;QACtD,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,OAAO,CAAC,YAAY,EAAE,gBAAgB,EAAE,cAAc,CAAU,CAAC;QACnE,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO;gBACL,oBAAoB,CAAC,sBAAsB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAClE,OAAO;gBACP,eAAe,CAAC,IAAI;oBAClB,eAAe,CAAC,UAAU;oBAC1B,WAAW;oBACX,UAAU,CAAC,YAAY;aACjB,CAAC;QACb,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpC,MAAM,eAAe,GAAG,eAAe,CAAC,cAAc;gBACpD,CAAC,CAAC,CAAC,eAAe,CAAC,WAAW;oBAC5B,eAAe,CAAC,UAAU;oBAC1B,qBAAqB;oBACrB,eAAe,CAAC,IAAI;oBACpB,eAAe,CAAC,WAAW;oBAC3B,WAAW;oBACX,UAAU,CAAC,YAAY,CAAC;gBAC1B,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU;oBAC3B,qBAAqB;oBACrB,eAAe,CAAC,IAAI;oBACpB,WAAW;oBACX,UAAU,CAAC,YAAY,CAAC,CAAC;YAC7B,MAAM,gBAAgB,GAAG,WAAW;gBAClC,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC;gBAC5D,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,eAAe,CAAC,cAAc,IAAI,gBAAgB,EAAE,CAAC;gBACvD,MAAM,kBAAkB,GACtB,eAAe,CAAC,cAAc,IAAI,eAAe,CAAC,cAAc,CAAC;gBACnE,MAAM,mBAAmB,GACvB,eAAe,CAAC,IAAI;oBACpB,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAClD,MAAM,mBAAmB,GACvB,WAAW,IAAI,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;gBACxD,MAAM,yBAAyB,GAC7B,eAAe,CAAC,UAAU;oBAC1B,gBAAgB,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBACxD,MAAM,kCAAkC,GACtC,CAAC,CAAC,eAAe,CAAC,UAAU;oBAC5B,uBAAuB,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC/D,MAAM,kCAAkC,GACtC,mBAAmB,KAAK,SAAS;oBACjC,mBAAmB,KAAK,SAAS;oBACjC,oBAAoB,CAClB,mBAAmB,EACnB,mBAAmB,EACnB,OAAO,CACR;oBACD,yBAAyB,KAAK,SAAS;oBACvC,CAAC,oBAAoB,CACnB,yBAAyB,EACzB,mBAAmB,EACnB,OAAO,CACR;oBACD,kCAAkC,CAAC;gBACrC,IAAI,kCAAkC,EAAE,CAAC;oBACvC,OAAO,CAAC,kBAAkB,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;gBACjE,CAAC;gBACD,IACE,mBAAmB,KAAK,SAAS;oBACjC,mBAAmB,KAAK,SAAS;oBACjC,oBAAoB,CAClB,mBAAmB,EACnB,mBAAmB,EACnB,OAAO,CACR,EACD,CAAC;oBACD,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;gBACtE,CAAC;gBACD,OAAO,CAAC,kBAAkB,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;YACjE,CAAC;YAED,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;QACtE,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC7C,MAAM,iBAAiB,GACrB,eAAe,CAAC,UAAU;gBAC1B,eAAe,CAAC,IAAI;gBACpB,WAAW;gBACX,UAAU,CAAC,YAAY,CAAC;YAC1B,OAAO;gBACL,eAAe,CAAC,cAAc,IAAI,YAAY;gBAC9C,OAAO;gBACP,iBAAiB;aACT,CAAC;QACb,CAAC;QAED,OAAO,CAAC,YAAY,EAAE,gBAAgB,EAAE,cAAc,CAAU,CAAC;IACnE,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,iBAAiB,GAAG,WAAW;QACnC,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,iBAAiB,GACrB,WAAW,IAAI,WAAW,IAAI,UAAU,CAAC,YAAY,CAAC;IACxD,MAAM,uBAAuB,GAC3B,WAAW,IAAI,iBAAiB;QAC9B,CAAC,CAAC,8BAA8B,CAC5B,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,iBAAiB,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,8BAA8B,CAClD,UAAU,EACV,iBAAiB,EACjB,iBAAiB,IAAI,WAAW,EAChC,YAAY,EACZ,cAAc,EACd,uBAAuB,CACxB,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,aAAa,CAAC;YAC/C,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAC9C,6BAA6B,CAC3B,UAAU,EACV,iBAAiB,EACjB,YAAY,EACZ,cAAc,CACf,CAAC;IACJ,MAAM,iBAAiB,GACrB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc;YAC/B,eAAe,CAAC,cAAc;YAC9B,UAAU,CAAC;QACb,CAAC,CAAC,UAAU,CAAC;IACjB,MAAM,mBAAmB,GACvB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc;YAC/B,eAAe,CAAC,cAAc;YAC9B,UAAU,CAAC;QACb,CAAC,CAAC,UAAU,CAAC;IACjB,MAAM,oBAAoB,GACxB,WAAW;QACX,CAAC,eAAe,EAAE,IAAI,KAAK,MAAM;YAC/B,CAAC,CAAC,eAAe,CAAC,WAAW;YAC7B,CAAC,CAAC,SAAS,CAAC;QACd,qBAAqB;QACrB,cAAc,CAAC;IAEjB,IAAI,oBAAoB,EAAE,CAAC;QACzB,OAAO,YAAY,CACjB,UAAU,EACV,gBAAgB,CACd,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,WAAW,CACZ,EACD,mBAAmB,CACpB,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CACjB,UAAU,EACV,yBAAyB,CACvB,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,mBAAmB,EACnB,SAAS,EACT,WAAW,CACZ,EACD,mBAAmB,CACpB,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"narrowing-builder-unions.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-unions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,qBAAqB,EACrB,+BAA+B,EAC/B,gBAAgB,EAChB,YAAY,EACZ,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,yCAAyC,GAC1C,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,iCAAiC,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,mCAAmC,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAIL,yBAAyB,EACzB,oBAAoB,EACpB,aAAa,EACb,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,+BAA+B,EAC/B,mBAAmB,EACnB,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,2CAA2C,GAAG,CAClD,UAA0E,EAC1E,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GACf,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QAC7C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,WAAW;QAC9B,CAAC,CAAC,+BAA+B,CAAC,WAAW,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC;IACd,IACE,CAAC,YAAY,EAAE,iBAAiB;QAChC,YAAY,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAC3C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC,iBAAiB,CAAC;IACrD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,mBAAmB,GAAG,gBAAgB,CAC1C,YAAY,CAAC,WAAW,CAAC,EACzB,OAAO,CACR,CAAC;IACF,MAAM,oBAAoB,GAAG,gBAAgB,CAC3C,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;IACF,OAAO,qBAAqB,CAAC,oBAAoB,CAAC;QAChD,oBAAoB,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,OAAO,CAAC;QACxE,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,QAA6B,EAC7B,iBAAoC,EACpC,UAAkB,EAClB,YAAoB,EACpB,eAAuB,EACvB,OAAuB,EACvB,UAAoC,EACP,EAAE;IAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAChE,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACxB,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;YACvC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC,CACF,CAAC;IAEF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC;IAE5D,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,iBAAiB,GAAG,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC;QAE/D,MAAM,YAAY,GAAG,yBAAyB,CAC5C,QAAQ,EACR,SAAS,CAAC,cAAc,CACzB,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,yBAAyB,CAC9B,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,aAAa,CAAC,QAAQ,CAAC,EACvB,SAAS,EACT,iBAAiB,CAClB,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAG,+BAA+B,CACrD,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,OAAO,CACR,CAAC;QACF,OAAO,yBAAyB,CAC9B,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,aAAa,CAAC,QAAQ,CAAC,EACvB,SAAS,EACT,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,iBAAiB,GAAG,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC;QAC/D,MAAM,WAAW,GACf,UAAU,EAAE,aAAa;YACzB,UAAU,CAAC,uBAAuB;YAClC,UAAU,CAAC,aAAa,CAAC,MAAM;gBAC7B,UAAU,CAAC,uBAAuB,CAAC,MAAM;YACzC,CAAC,CAAC;gBACE,OAAO,EAAE,UAAU,CAAC,aAAa;gBACjC,iBAAiB,EAAE,UAAU,CAAC,uBAAuB;aACtD;YACH,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;gBACjC,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBAClC,CAAC,CAAC;oBACE,OAAO,EAAE,iBAAiB,CAAC,OAAO;oBAClC,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;iBACvD;gBACH,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,sBAAsB,GAAG,IAAI,GAAG,CACpC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAClD,CAAC;QACF,MAAM,YAAY,GAAG,iCAAiC,CACpD,QAAQ,EACR,iBAAiB,EACjB,YAAY,EACZ,OAAO,EACP,WAAW,EACX,sBAAsB,EACtB,WAAW,CACZ,CAAC;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAG,+BAA+B,CACrD,QAAQ,EACR,YAAY,CAAC,CAAC,CAAC,EACf,YAAY,EACZ,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;QACF,OAAO,yBAAyB,CAC9B,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,aAAa,CAAC,QAAQ,CAAC,EACvB,SAAS,EACT,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;QAClE,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;QACtD,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC;QACvC,aAAa,EAAE,UAAU,EAAE,aAAa;YACtC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC;YAC/B,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,KAAK,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBACxE,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC;gBAChC,CAAC,CAAC,SAAS;QACf,uBAAuB,EAAE,UAAU,EAAE,uBAAuB;YAC1D,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,uBAAuB,CAAC;YACzC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;gBACjC,iBAAiB,CAAC,iBAAiB,CAAC,MAAM;gBAC5C,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,iBAAiB,CAAC;gBAC1C,CAAC,CAAC,SAAS;QACf,IAAI,EAAE,YAAY;QAClB,UAAU,EAAE,UAAU,EAAE,UAAU,IAAI,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,WAAgC,EAChC,iBAAoC,EACpC,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACvB,UAAoC,EACW,EAAE;IACjD,MAAM,cAAc,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,uBAAuB,GAC3B,cAAc,CAAC,IAAI,KAAK,aAAa;QACrC,cAAc,CAAC,IAAI,KAAK,SAAS;QACjC,cAAc,CAAC,IAAI,KAAK,YAAY;QACpC,CAAC,cAAc,CAAC,IAAI,KAAK,eAAe;YACtC,cAAc,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACtC,IAAI,mBAAmB,GAAG,WAAW,CAAC;IACtC,IAAI,uBAAuB,GAAG,OAAO,CAAC;IACtC,IAAI,0BAA0B,GAAG,UAAU,CAAC;IAC5C,IAAI,uBAAuB,EAAE,CAAC;QAC5B,MAAM,kBAAkB,GACtB,oBAAoB,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC;QAChE,MAAM,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,GAC9C,6BAA6B,CAC3B,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,OAAO,CACR,CAAC;QACJ,mBAAmB,GAAG,iBAAiB,CAAC;QACxC,uBAAuB,GAAG,qBAAqB,CAAC;QAChD,0BAA0B,GAAG,kBAAkB,CAAC;IAClD,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GACpB,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5D,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,YAAY,CAAC;QACjE,CAAC,CAAC,YAAY,CAAC;IAEnB,MAAM,aAAa,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,OAAO,CAC/D,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE;QACxB,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,wBAAwB,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC;YACpE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;YAClC,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CACF,CAAC;IAEF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,yBAAyB,CACvB,yBAAyB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,cAAc,CAAC,EACvE,YAAY,EACZ,0BAA0B,EAC1B,mBAAmB,EACnB,SAAS,EACT,0BAA0B,CAC3B;YACD,uBAAuB;SACxB,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,gBAAgB,EAChB,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAC9C,6BAA6B,CAC3B,mBAAmB,EACnB,0BAA0B,EAC1B,YAAY,EACZ,uBAAuB,CACxB,CAAC;QACJ,OAAO;YACL,yBAAyB,CACvB,mBAAmB,EACnB,YAAY,EACZ,0BAA0B,EAC1B,mBAAmB,EACnB,SAAS,EACT,0BAA0B,CAC3B;YACD,mBAAmB;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;IAC9C,MAAM,sBAAsB,GAAG,IAAI,GAAG,CACpC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CACjD,CAAC;IACF,MAAM,mBAAmB,GACvB,UAAU,EAAE,aAAa;QACzB,UAAU,CAAC,uBAAuB;QAClC,UAAU,CAAC,aAAa,CAAC,MAAM;YAC7B,UAAU,CAAC,uBAAuB,CAAC,MAAM;QACzC,CAAC,CAAC;YACE,OAAO,EAAE,UAAU,CAAC,aAAa;YACjC,iBAAiB,EAAE,UAAU,CAAC,uBAAuB;YACrD,iBAAiB,EACf,UAAU,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,iBAAiB;SACtE;QACH,CAAC,CAAC,iBAAiB,CAAC,iBAAiB;YAC/B,iBAAiB,CAAC,OAAO,CAAC,MAAM;YAClC,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBAC9B,iBAAiB,CAAC,iBAAiB,CAAC,MAAM;YAC9C,CAAC,CAAC;gBACE,OAAO,EAAE,iBAAiB,CAAC,OAAO;gBAClC,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;gBACtD,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;aACvD;YACH,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,aAAa,GACjB,mBAAmB,EAAE,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC;IAC5D,MAAM,uBAAuB,GAC3B,mBAAmB,EAAE,iBAAiB;QACtC,iBAAiB,CAAC,iBAAiB,CAAC;IACtC,MAAM,uBAAuB,GAC3B,mBAAmB,EAAE,iBAAiB;QACtC,iBAAiB,CAAC,iBAAiB,CAAC;IAEtC,MAAM,oBAAoB,GAAoB,EAAE,CAAC;IACjD,IAAI,mBAAmB,GAAG,iBAAiB,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;QACxE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,mBAAmB,GAAG,WAAW,CAAC;IACpC,CAAC;IAED,MAAM,eAAe,GAAG,yCAAyC,CAAC;QAChE,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE;YACZ,OAAO,EAAE,aAAa;YACtB,cAAc,EAAE,oBAAoB;YACpC,uBAAuB,EAAE,oBAAoB;YAC7C,iBAAiB,EAAE,uBAAuB;SAC3C;QACD,YAAY,EAAE,YAAY;QAC1B,OAAO,EAAE,mBAAmB;QAC5B,iBAAiB,EAAE,uBAAuB;QAC1C,sBAAsB,EAAE,sBAAsB;QAC9C,sBAAsB,EAAE,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YACnE,aAAa;YACb,WAAW;SACZ;QACD,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;QACpE,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;KACrE,CAAC,CAAC;IACH,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,eAAe,CAAC;IAElD,MAAM,OAAO,GAAG,KAAK,EAAE,iBAAiB;QACtC,CAAC,CAAC,+BAA+B,CAC7B,mBAAmB,EACnB,SAAS,EACT,YAAY,EACZ,YAAY,CACb,CAAC,CAAC,CAAC;QACN,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,yBAAyB,CACvB,OAAO,EACP,YAAY,EACZ,0BAA0B,EAC1B,mBAAmB,EACnB,SAAS,EACT,0BAA0B,CAC3B;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,UAAkB,EAClB,UAA0E,EAC1E,YAAoB,EACpB,OAAuB,EACvB,WAA0B,EAC1B,WAAoB,EACJ,EAAE;IAClB,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClE,MAAM,wCAAwC,GAC5C,2CAA2C,CACzC,UAAU,EACV,YAAY,EACZ,OAAO,CACR,CAAC;IACJ,IACE,eAAe,EAAE,IAAI;QACrB,oBAAoB,CAClB,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,EAC/C,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,EACvC,OAAO,CACR;QACD,CAAC,wCAAwC,EACzC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,WAAW,GAAG,mBAAmB,CACrC,UAAU,EACV,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;QACjD,UAAU,CAAC,YAAY,EACzB,OAAO,CACR,CAAC;IACF,IACE,WAAW;QACX,oBAAoB,CAClB,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,EACtC,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,EACvC,OAAO,CACR;QACD,CAAC,wCAAwC,EACzC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,WAAW,CAClD,UAAU,EACV,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,CAC5C,CAAC;IACF,MAAM,qBAAqB,GACzB,UAAU,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QACxD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,qBAAqB,GACzB,UAAU,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,CAAC,mCAAmC,CAAC,UAAU,EAAE,gBAAgB,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,cAAc,GAClB,qBAAqB;QACrB,wCAAwC;QACxC,WAAW;QACX,UAAU,CAAC,YAAY;QACvB,qBAAqB,CAAC;IACxB,MAAM,CAAC,UAAU,EAAE,cAAc,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;QACtD,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,OAAO,CAAC,YAAY,EAAE,gBAAgB,EAAE,cAAc,CAAU,CAAC;QACnE,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO;gBACL,oBAAoB,CAAC,sBAAsB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAClE,OAAO;gBACP,eAAe,CAAC,IAAI;oBAClB,eAAe,CAAC,UAAU;oBAC1B,WAAW;oBACX,UAAU,CAAC,YAAY;aACjB,CAAC;QACb,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpC,MAAM,eAAe,GAAG,eAAe,CAAC,cAAc;gBACpD,CAAC,CAAC,CAAC,eAAe,CAAC,WAAW;oBAC5B,eAAe,CAAC,UAAU;oBAC1B,qBAAqB;oBACrB,eAAe,CAAC,IAAI;oBACpB,eAAe,CAAC,WAAW;oBAC3B,WAAW;oBACX,UAAU,CAAC,YAAY,CAAC;gBAC1B,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU;oBAC3B,qBAAqB;oBACrB,eAAe,CAAC,IAAI;oBACpB,WAAW;oBACX,UAAU,CAAC,YAAY,CAAC,CAAC;YAC7B,MAAM,gBAAgB,GAAG,WAAW;gBAClC,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC;gBAC5D,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,eAAe,CAAC,cAAc,IAAI,gBAAgB,EAAE,CAAC;gBACvD,MAAM,kBAAkB,GACtB,eAAe,CAAC,cAAc,IAAI,eAAe,CAAC,cAAc,CAAC;gBACnE,MAAM,mBAAmB,GACvB,eAAe,CAAC,IAAI;oBACpB,gBAAgB,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAClD,MAAM,mBAAmB,GACvB,WAAW,IAAI,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;gBACxD,MAAM,yBAAyB,GAC7B,eAAe,CAAC,UAAU;oBAC1B,gBAAgB,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBACxD,MAAM,kCAAkC,GACtC,CAAC,CAAC,eAAe,CAAC,UAAU;oBAC5B,uBAAuB,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC/D,MAAM,kCAAkC,GACtC,mBAAmB,KAAK,SAAS;oBACjC,mBAAmB,KAAK,SAAS;oBACjC,oBAAoB,CAClB,mBAAmB,EACnB,mBAAmB,EACnB,OAAO,CACR;oBACD,yBAAyB,KAAK,SAAS;oBACvC,CAAC,oBAAoB,CACnB,yBAAyB,EACzB,mBAAmB,EACnB,OAAO,CACR;oBACD,kCAAkC,CAAC;gBACrC,IAAI,kCAAkC,EAAE,CAAC;oBACvC,OAAO,CAAC,kBAAkB,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;gBACjE,CAAC;gBACD,IACE,mBAAmB,KAAK,SAAS;oBACjC,mBAAmB,KAAK,SAAS;oBACjC,oBAAoB,CAClB,mBAAmB,EACnB,mBAAmB,EACnB,OAAO,CACR,EACD,CAAC;oBACD,OAAO,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;gBACtE,CAAC;gBACD,OAAO,CAAC,kBAAkB,EAAE,OAAO,EAAE,eAAe,CAAU,CAAC;YACjE,CAAC;YAED,OAAO;gBACL,eAAe,CAAC,cAAc,IAAI,eAAe,CAAC,OAAO;gBACzD,OAAO;gBACP,eAAe;aACP,CAAC;QACb,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC7C,MAAM,iBAAiB,GACrB,eAAe,CAAC,UAAU;gBAC1B,eAAe,CAAC,IAAI;gBACpB,WAAW;gBACX,UAAU,CAAC,YAAY,CAAC;YAC1B,OAAO;gBACL,eAAe,CAAC,cAAc,IAAI,YAAY;gBAC9C,OAAO;gBACP,iBAAiB;aACT,CAAC;QACb,CAAC;QAED,OAAO,CAAC,YAAY,EAAE,gBAAgB,EAAE,cAAc,CAAU,CAAC;IACnE,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,iBAAiB,GAAG,WAAW;QACnC,CAAC,CAAC,wBAAwB,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,iBAAiB,GACrB,WAAW,IAAI,WAAW,IAAI,UAAU,CAAC,YAAY,CAAC;IACxD,MAAM,uBAAuB,GAC3B,WAAW,IAAI,iBAAiB;QAC9B,CAAC,CAAC,8BAA8B,CAC5B,UAAU,EACV,WAAW,EACX,iBAAiB,EACjB,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,iBAAiB,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,8BAA8B,CAClD,UAAU,EACV,iBAAiB,EACjB,iBAAiB,IAAI,WAAW,EAChC,YAAY,EACZ,cAAc,EACd,uBAAuB,CACxB,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,aAAa,CAAC;YAC/C,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAC9C,6BAA6B,CAC3B,UAAU,EACV,iBAAiB,EACjB,YAAY,EACZ,cAAc,CACf,CAAC;IACJ,MAAM,iBAAiB,GACrB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc;YAC/B,eAAe,CAAC,cAAc;YAC9B,UAAU,CAAC;QACb,CAAC,CAAC,UAAU,CAAC;IACjB,MAAM,mBAAmB,GACvB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc;YAC/B,eAAe,CAAC,cAAc;YAC9B,UAAU,CAAC;QACb,CAAC,CAAC,UAAU,CAAC;IACjB,MAAM,oBAAoB,GACxB,WAAW;QACX,CAAC,eAAe,EAAE,IAAI,KAAK,MAAM;YAC/B,CAAC,CAAC,eAAe,CAAC,WAAW;YAC7B,CAAC,CAAC,SAAS,CAAC;QACd,qBAAqB;QACrB,cAAc,CAAC;IAEjB,IAAI,oBAAoB,EAAE,CAAC;QACzB,OAAO,YAAY,CACjB,UAAU,EACV,gBAAgB,CACd,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,WAAW,CACZ,EACD,mBAAmB,CACpB,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CACjB,UAAU,EACV,yBAAyB,CACvB,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,mBAAmB,EACnB,SAAS,EACT,WAAW,CACZ,EACD,mBAAmB,CACpB,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/narrowing-builders.d.ts

@@ -5,6 +5,6 @@
  *   - narrowing-builder-core.ts
  *   - narrowing-builder-unions.ts
  */
-export { type BranchTruthiness, type EmitExprAstFn, type RuntimeUnionFrame, toReceiverAst, buildUnionNarrowAst, buildSubsetUnionType, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, resolveExistingNarrowingSourceType, buildRuntimeSubsetExpressionAst, buildConditionalNullishGuardAst, tryStripConditionalNullishGuardAst, isArrayLikeNarrowingCandidate, narrowTypeByArrayShape, narrowTypeByNotAssignableTarget, currentNarrowedType, resolveRuntimeUnionFrame, resolveRuntimeSubsetSourceInfo, isNullOrUndefined, } from "./narrowing-builder-core.js";
+export { type BranchTruthiness, type EmitExprAstFn, type RuntimeUnionFrame, toReceiverAst, buildUnionNarrowAst, buildMappedUnionNarrowAst, tryMapProjectedRuntimeMemberN, buildSubsetUnionType, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, resolveExistingNarrowingSourceType, buildRuntimeSubsetExpressionAst, buildConditionalNullishGuardAst, tryStripConditionalNullishGuardAst, narrowTypeByNotAssignableTarget, currentNarrowedType, resolveRuntimeUnionFrame, resolveRuntimeSubsetSourceInfo, isNullOrUndefined, } from "./narrowing-builder-core.js";
 export { buildRuntimeUnionComplementBinding, buildRuntimeUnionSubsetBinding, applyDirectTypeNarrowing, } from "./narrowing-builder-unions.js";
 //# sourceMappingURL=narrowing-builders.d.ts.map

package/dist/core/semantic/narrowing-builders.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-builders.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builders.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,kCAAkC,EAClC,+BAA+B,EAC/B,+BAA+B,EAC/B,kCAAkC,EAClC,6BAA6B,EAC7B,sBAAsB,EACtB,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,+BAA+B,CAAC"}
+{"version":3,"file":"narrowing-builders.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builders.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,aAAa,EACb,mBAAmB,EACnB,yBAAyB,EACzB,6BAA6B,EAC7B,oBAAoB,EACpB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,kCAAkC,EAClC,+BAA+B,EAC/B,+BAA+B,EAC/B,kCAAkC,EAClC,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,+BAA+B,CAAC"}

package/dist/core/semantic/narrowing-builders.js

@@ -5,6 +5,6 @@
  *   - narrowing-builder-core.ts
  *   - narrowing-builder-unions.ts
  */
-export { toReceiverAst, buildUnionNarrowAst, buildSubsetUnionType, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, resolveExistingNarrowingSourceType, buildRuntimeSubsetExpressionAst, buildConditionalNullishGuardAst, tryStripConditionalNullishGuardAst, isArrayLikeNarrowingCandidate, narrowTypeByArrayShape, narrowTypeByNotAssignableTarget, currentNarrowedType, resolveRuntimeUnionFrame, resolveRuntimeSubsetSourceInfo, isNullOrUndefined, } from "./narrowing-builder-core.js";
+export { toReceiverAst, buildUnionNarrowAst, buildMappedUnionNarrowAst, tryMapProjectedRuntimeMemberN, buildSubsetUnionType, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, resolveExistingNarrowingSourceType, buildRuntimeSubsetExpressionAst, buildConditionalNullishGuardAst, tryStripConditionalNullishGuardAst, narrowTypeByNotAssignableTarget, currentNarrowedType, resolveRuntimeUnionFrame, resolveRuntimeSubsetSourceInfo, isNullOrUndefined, } from "./narrowing-builder-core.js";
 export { buildRuntimeUnionComplementBinding, buildRuntimeUnionSubsetBinding, applyDirectTypeNarrowing, } from "./narrowing-builder-unions.js";
 //# sourceMappingURL=narrowing-builders.js.map

package/dist/core/semantic/narrowing-builders.js.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-builders.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builders.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAIL,aAAa,EACb,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,kCAAkC,EAClC,+BAA+B,EAC/B,+BAA+B,EAC/B,kCAAkC,EAClC,6BAA6B,EAC7B,sBAAsB,EACtB,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,+BAA+B,CAAC"}
+{"version":3,"file":"narrowing-builders.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builders.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAIL,aAAa,EACb,mBAAmB,EACnB,yBAAyB,EACzB,6BAA6B,EAC7B,oBAAoB,EACpB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,kCAAkC,EAClC,+BAA+B,EAC/B,+BAA+B,EAC/B,kCAAkC,EAClC,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,wBAAwB,GACzB,MAAM,+BAA+B,CAAC"}

package/dist/core/semantic/narrowing-refinements.d.ts

@@ -5,6 +5,6 @@
  *   - nullable-typeof-refinements.ts
  *   - instanceof-predicate-refinements.ts
  */
-export { applySimpleNullableRefinement, applyTruthinessNullishRefinement, applyDirectTypeofRefinement, applyArrayIsArrayRefinement, } from "./nullable-typeof-refinements.js";
+export { applyDirectTypeofRefinement, applyArrayIsArrayRefinement, applySimpleNullableRefinement, applyTruthinessNullishRefinement, } from "./nullable-typeof-refinements.js";
 export { applyInstanceofRefinement, applyPredicateCallRefinement, } from "./instanceof-predicate-refinements.js";
 //# sourceMappingURL=narrowing-refinements.d.ts.map

package/dist/core/semantic/narrowing-refinements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-refinements.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-refinements.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,6BAA6B,EAC7B,gCAAgC,EAChC,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,uCAAuC,CAAC"}
+{"version":3,"file":"narrowing-refinements.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-refinements.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,6BAA6B,EAC7B,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,uCAAuC,CAAC"}

package/dist/core/semantic/narrowing-refinements.js

@@ -5,6 +5,6 @@
  *   - nullable-typeof-refinements.ts
  *   - instanceof-predicate-refinements.ts
  */
-export { applySimpleNullableRefinement, applyTruthinessNullishRefinement, applyDirectTypeofRefinement, applyArrayIsArrayRefinement, } from "./nullable-typeof-refinements.js";
+export { applyDirectTypeofRefinement, applyArrayIsArrayRefinement, applySimpleNullableRefinement, applyTruthinessNullishRefinement, } from "./nullable-typeof-refinements.js";
 export { applyInstanceofRefinement, applyPredicateCallRefinement, } from "./instanceof-predicate-refinements.js";
 //# sourceMappingURL=narrowing-refinements.js.map

package/dist/core/semantic/narrowing-refinements.js.map

@@ -1 +1 @@
-{"version":3,"file":"narrowing-refinements.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-refinements.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,6BAA6B,EAC7B,gCAAgC,EAChC,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,uCAAuC,CAAC"}
+{"version":3,"file":"narrowing-refinements.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-refinements.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,6BAA6B,EAC7B,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,uCAAuC,CAAC"}

package/dist/core/semantic/nullable-typeof-refinements.d.ts

@@ -1,8 +1,4 @@
-/**
- * Nullable and typeof narrowing refinements.
- * Handles applySimpleNullableRefinement, applyDirectTypeofRefinement,
- * and applyArrayIsArrayRefinement.
- */
+/** Nullable and closed-carrier narrowing refinements. */
 import { IrExpression } from "@tsonic/frontend";
 import type { EmitterContext } from "../../types.js";
 import { type BranchTruthiness, type EmitExprAstFn } from "./narrowing-builders.js";

package/dist/core/semantic/nullable-typeof-refinements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nullable-typeof-refinements.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/nullable-typeof-refinements.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAe,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAarD,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAiBnB,MAAM,yBAAyB,CAAC;AAkGjC,eAAO,MAAM,gCAAgC,GAC3C,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAgGnB,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAyKnB,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAyJnB,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SA4LnB,CAAC"}
+{"version":3,"file":"nullable-typeof-refinements.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/nullable-typeof-refinements.ts"],"names":[],"mappings":"AAAA,yDAAyD;AAEzD,OAAO,EACL,YAAY,EAGb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAarD,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAcnB,MAAM,yBAAyB,CAAC;AA2LjC,eAAO,MAAM,gCAAgC,GAC3C,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAgHnB,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAoMnB,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SA8JnB,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAwKnB,CAAC"}