@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/narrowed-union-resolution.js

@@ -0,0 +1,162 @@
+/**
+ * Narrowed runtime union member resolution.
+ *
+ * Resolves the reachable runtime union members for a named binding, accounting
+ * for any active narrowing state (runtimeSubset bindings). This is the semantic
+ * analysis payload that guard detection and condition-branch narrowing need:
+ * members, their slot numbers, and the original union arity.
+ *
+ * Uses getCanonicalRuntimeUnionMembers (semantic member resolution) instead of
+ * buildRuntimeUnionFrame (runtime frame construction) to discover members from
+ * type information. Runtime frame/layout construction should only happen at
+ * lowering/materialization boundaries.
+ */
+import { resolveNamedRuntimeCarrierType } from "./direct-storage-ir-types.js";
+import { expandRuntimeUnionMembers } from "./runtime-union-expansion.js";
+import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
+import { willCarryAsRuntimeUnion } from "./union-semantics.js";
+import { findExactRuntimeUnionMemberIndices, findRuntimeUnionMemberIndices, } from "./runtime-union-matching.js";
+/**
+ * Resolve the reachable runtime union members for a named binding.
+ *
+ * 1. If the binding has a pre-cached runtimeSubset with source members and
+ *    candidate slot numbers, filters those by the allowed runtimeMemberNs.
+ * 2. Otherwise, resolves canonical members from the type via
+ *    getCanonicalRuntimeUnionMembers, then applies runtimeSubset filtering
+ *    if the binding is a narrowed runtimeSubset.
+ *
+ * Returns undefined if the type is not a runtime union or if narrowing
+ * eliminates all members.
+ */
+export const resolveNarrowedUnionMembers = (originalName, unionSourceType, context) => {
+    const narrowed = context.narrowedBindings?.get(originalName);
+    const carrierSourceType = resolveNamedRuntimeCarrierType(originalName, context);
+    const alignEffectiveMembersToCarrier = (effectiveType, carrierSourceType) => {
+        if (!carrierSourceType) {
+            return undefined;
+        }
+        const sourceMembers = getCanonicalRuntimeUnionMembers(carrierSourceType, context);
+        const effectiveMembers = getCanonicalRuntimeUnionMembers(effectiveType, context) ??
+            expandRuntimeUnionMembers(effectiveType, context);
+        if (!sourceMembers || effectiveMembers.length === 0) {
+            return undefined;
+        }
+        const alignedMembers = sourceMembers.flatMap((member, index) => {
+            const exactMatches = findExactRuntimeUnionMemberIndices(effectiveMembers, member, context);
+            if (exactMatches.length > 0) {
+                return [{ member, memberN: index + 1 }];
+            }
+            const semanticMatches = findRuntimeUnionMemberIndices(effectiveMembers, member, context);
+            return semanticMatches.length > 0 ? [{ member, memberN: index + 1 }] : [];
+        });
+        if (alignedMembers.length !== effectiveMembers.length) {
+            return undefined;
+        }
+        return {
+            members: alignedMembers.map(({ member }) => member),
+            candidateMemberNs: alignedMembers.map(({ memberN }) => memberN),
+            runtimeUnionArity: sourceMembers.length,
+        };
+    };
+    if (!willCarryAsRuntimeUnion(carrierSourceType ?? unionSourceType, context)) {
+        return undefined;
+    }
+    // Fast path: pre-cached runtimeSubset with source member data
+    if (narrowed?.kind === "runtimeSubset" &&
+        narrowed.sourceMembers &&
+        narrowed.sourceCandidateMemberNs &&
+        narrowed.sourceMembers.length === narrowed.sourceCandidateMemberNs.length) {
+        const allowedMemberNs = new Set(narrowed.runtimeMemberNs);
+        const narrowedMembers = narrowed.sourceMembers.filter((_, index) => allowedMemberNs.has(narrowed.sourceCandidateMemberNs?.[index] ?? index + 1));
+        const narrowedCandidateMemberNs = narrowed.sourceCandidateMemberNs.filter((memberN) => allowedMemberNs.has(memberN));
+        if (narrowedMembers.length === 0 ||
+            narrowedMembers.length !== narrowedCandidateMemberNs.length) {
+            return undefined;
+        }
+        return {
+            members: narrowedMembers,
+            candidateMemberNs: narrowedCandidateMemberNs,
+            runtimeUnionArity: narrowed.runtimeUnionArity,
+        };
+    }
+    const carrierAligned = alignEffectiveMembersToCarrier(narrowed?.type ?? unionSourceType, carrierSourceType ?? narrowed?.sourceType ?? unionSourceType);
+    if (carrierAligned) {
+        return carrierAligned;
+    }
+    // Resolve the effective source type, accounting for narrowing state
+    const runtimeSourceType = narrowed?.kind === "runtimeSubset"
+        ? (narrowed.sourceType ?? carrierSourceType ?? unionSourceType)
+        : (narrowed?.type ??
+            narrowed?.sourceType ??
+            carrierSourceType ??
+            unionSourceType);
+    // Semantic member resolution — no frame object construction
+    const members = getCanonicalRuntimeUnionMembers(runtimeSourceType, context);
+    if (!members)
+        return undefined;
+    const runtimeUnionArity = members.length;
+    const candidateMemberNs = members.map((_, index) => index + 1);
+    // No narrowing active — return full member set
+    if (!narrowed || narrowed.kind !== "runtimeSubset") {
+        return {
+            members,
+            candidateMemberNs,
+            runtimeUnionArity,
+        };
+    }
+    // Apply runtimeSubset filtering
+    const allowedMemberNs = new Set(narrowed.runtimeMemberNs);
+    const narrowedMembers = members.filter((_, index) => allowedMemberNs.has(index + 1));
+    const narrowedCandidateMemberNs = candidateMemberNs.filter((memberN) => allowedMemberNs.has(memberN));
+    if (narrowedMembers.length === 0 ||
+        narrowedMembers.length !== narrowedCandidateMemberNs.length) {
+        return undefined;
+    }
+    return {
+        members: narrowedMembers,
+        candidateMemberNs: narrowedCandidateMemberNs,
+        runtimeUnionArity,
+    };
+};
+export const resolveAlignedRuntimeUnionMembers = (originalName, effectiveType, carrierSourceType, context) => {
+    if (!effectiveType) {
+        return undefined;
+    }
+    if (originalName) {
+        const boundFrame = resolveNarrowedUnionMembers(originalName, effectiveType, context);
+        if (boundFrame) {
+            return boundFrame;
+        }
+    }
+    if (!carrierSourceType) {
+        return undefined;
+    }
+    const carrierMembers = getCanonicalRuntimeUnionMembers(carrierSourceType, context);
+    if (!carrierMembers) {
+        return undefined;
+    }
+    const semanticEffectiveMembers = getCanonicalRuntimeUnionMembers(effectiveType, context) ??
+        expandRuntimeUnionMembers(effectiveType, context);
+    if (semanticEffectiveMembers.length === 0) {
+        return undefined;
+    }
+    const alignedMembers = carrierMembers.flatMap((carrierMember, index) => {
+        const exactMatches = findExactRuntimeUnionMemberIndices(semanticEffectiveMembers, carrierMember, context);
+        if (exactMatches.length > 0) {
+            return [{ member: carrierMember, memberN: index + 1 }];
+        }
+        const semanticMatches = findRuntimeUnionMemberIndices(semanticEffectiveMembers, carrierMember, context);
+        return semanticMatches.length > 0
+            ? [{ member: carrierMember, memberN: index + 1 }]
+            : [];
+    });
+    if (alignedMembers.length === 0) {
+        return undefined;
+    }
+    return {
+        members: alignedMembers.map(({ member }) => member),
+        candidateMemberNs: alignedMembers.map(({ memberN }) => memberN),
+        runtimeUnionArity: carrierMembers.length,
+    };
+};
+//# sourceMappingURL=narrowed-union-resolution.js.map

package/dist/core/semantic/narrowed-union-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowed-union-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-union-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EACL,kCAAkC,EAClC,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AAerC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,eAAuB,EACvB,OAAuB,EACW,EAAE;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,8BAA8B,GAAG,CACrC,aAAqB,EACrB,iBAAqC,EACH,EAAE;QACpC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CACnD,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,MAAM,gBAAgB,GACpB,+BAA+B,CAAC,aAAa,EAAE,OAAO,CAAC;YACvD,yBAAyB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAEpD,IAAI,CAAC,aAAa,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YAC7D,MAAM,YAAY,GAAG,kCAAkC,CACrD,gBAAgB,EAChB,MAAM,EACN,OAAO,CACR,CAAC;YACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;YAED,MAAM,eAAe,GAAG,6BAA6B,CACnD,gBAAgB,EAChB,MAAM,EACN,OAAO,CACR,CAAC;YACF,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,IAAI,cAAc,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACtD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;YACnD,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;YAC/D,iBAAiB,EAAE,aAAa,CAAC,MAAM;SACxC,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,CAAC,uBAAuB,CAAC,iBAAiB,IAAI,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,8DAA8D;IAC9D,IACE,QAAQ,EAAE,IAAI,KAAK,eAAe;QAClC,QAAQ,CAAC,aAAa;QACtB,QAAQ,CAAC,uBAAuB;QAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM,EACzE,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,eAAe,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACjE,eAAe,CAAC,GAAG,CACjB,QAAQ,CAAC,uBAAuB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CACvD,CACF,CAAC;QACF,MAAM,yBAAyB,GAAG,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CACvE,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAC1C,CAAC;QAEF,IACE,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,MAAM,KAAK,yBAAyB,CAAC,MAAM,EAC3D,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,eAAe;YACxB,iBAAiB,EAAE,yBAAyB;YAC5C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC9C,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,8BAA8B,CACnD,QAAQ,EAAE,IAAI,IAAI,eAAe,EACjC,iBAAiB,IAAI,QAAQ,EAAE,UAAU,IAAI,eAAe,CAC7D,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,oEAAoE;IACpE,MAAM,iBAAiB,GACrB,QAAQ,EAAE,IAAI,KAAK,eAAe;QAChC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,iBAAiB,IAAI,eAAe,CAAC;QAC/D,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI;YACf,QAAQ,EAAE,UAAU;YACpB,iBAAiB;YACjB,eAAe,CAAC,CAAC;IAEvB,4DAA4D;IAC5D,MAAM,OAAO,GAAG,+BAA+B,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IAC5E,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC;IACzC,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAE/D,+CAA+C;IAC/C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnD,OAAO;YACL,OAAO;YACP,iBAAiB;YACjB,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAClD,eAAe,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAC/B,CAAC;IACF,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CACrE,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAC7B,CAAC;IAEF,IACE,eAAe,CAAC,MAAM,KAAK,CAAC;QAC5B,eAAe,CAAC,MAAM,KAAK,yBAAyB,CAAC,MAAM,EAC3D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,OAAO,EAAE,eAAe;QACxB,iBAAiB,EAAE,yBAAyB;QAC5C,iBAAiB;KAClB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,aAAiC,EACjC,iBAAqC,EACrC,OAAuB,EACW,EAAE;IACpC,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,2BAA2B,CAC5C,YAAY,EACZ,aAAa,EACb,OAAO,CACR,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,iBAAiB,EACjB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,wBAAwB,GAC5B,+BAA+B,CAAC,aAAa,EAAE,OAAO,CAAC;QACvD,yBAAyB,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,wBAAwB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE;QACrE,MAAM,YAAY,GAAG,kCAAkC,CACrD,wBAAwB,EACxB,aAAa,EACb,OAAO,CACR,CAAC;QACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QAED,MAAM,eAAe,GAAG,6BAA6B,CACnD,wBAAwB,EACxB,aAAa,EACb,OAAO,CACR,CAAC;QACF,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;YACjD,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC;QACnD,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;QAC/D,iBAAiB,EAAE,cAAc,CAAC,MAAM;KACzC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,46 @@
+/**
+ * Core narrowing builder types and utilities.
+ *
+ * Provides foundational types (BranchTruthiness, EmitExprAstFn, RuntimeUnionFrame),
+ * simple AST builders for union narrowing, binding management helpers,
+ * nullish guard construction/stripping, and type-narrowing predicates.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import type { EmitterContext, NarrowedBinding } from "../../types.js";
+import type { CSharpExpressionAst } from "../format/backend-ast/types.js";
+import { type NarrowedUnionMembers } from "./narrowed-union-resolution.js";
+export type BranchTruthiness = "truthy" | "falsy";
+export type EmitExprAstFn = (expr: IrExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export type RuntimeUnionFrame = NarrowedUnionMembers;
+export type RuntimeSubsetSourceInfo = {
+    readonly sourceType: IrType;
+    readonly sourceMembers?: readonly IrType[];
+    readonly sourceCandidateMemberNs?: readonly number[];
+};
+export declare const toReceiverAst: (receiver: string | CSharpExpressionAst) => CSharpExpressionAst;
+export declare const buildUnionNarrowAst: (receiver: string | CSharpExpressionAst, memberN: number) => CSharpExpressionAst;
+export declare const buildSubsetUnionType: (members: readonly IrType[]) => IrType | undefined;
+export declare const withoutNarrowedBinding: (context: EmitterContext, bindingKey: string) => EmitterContext;
+export declare const applyBinding: (bindingKey: string, binding: NarrowedBinding, context: EmitterContext) => EmitterContext;
+export declare const resolveRuntimeSubsetSourceInfo: (bindingKey: string, currentType: IrType, runtimeUnionFrame: RuntimeUnionFrame, context: EmitterContext) => RuntimeSubsetSourceInfo;
+export declare const buildExprBinding: (exprAst: CSharpExpressionAst, type: IrType | undefined, sourceType: IrType | undefined, storageExprAst?: CSharpExpressionAst, storageType?: IrType, carrierExprAst?: CSharpExpressionAst, carrierType?: IrType) => Extract<NarrowedBinding, {
+    kind: "expr";
+}>;
+export declare const buildProjectedExprBinding: (exprAst: CSharpExpressionAst, type: IrType | undefined, sourceType: IrType | undefined, carrierExprAst: CSharpExpressionAst, storageType?: IrType, carrierType?: IrType) => Extract<NarrowedBinding, {
+    kind: "expr";
+}>;
+export declare const resolveExistingNarrowingSourceType: (bindingKey: string, currentType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, narrowed: Extract<NarrowedBinding, {
+    kind: "runtimeSubset";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
+export declare const buildConditionalNullishGuardAst: (sourceAst: CSharpExpressionAst, whenNonNull: CSharpExpressionAst, targetType: IrType, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export declare const tryStripConditionalNullishGuardAst: (exprAst: CSharpExpressionAst) => CSharpExpressionAst | undefined;
+export declare const isArrayLikeNarrowingCandidate: (type: IrType, context: EmitterContext) => boolean;
+export declare const narrowTypeByArrayShape: (currentType: IrType | undefined, wantArray: boolean, context: EmitterContext, seen?: Set<string>) => IrType | undefined;
+export declare const narrowTypeByNotAssignableTarget: (currentType: IrType | undefined, targetType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const currentNarrowedType: (bindingKey: string, fallbackType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const resolveRuntimeUnionFrame: (originalName: string, unionSourceType: IrType, context: EmitterContext) => NarrowedUnionMembers | undefined;
+export declare const isNullOrUndefined: (expr: IrExpression) => boolean;
+//# sourceMappingURL=narrowing-builder-core.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-builder-core.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAU1E,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,gCAAgC,CAAC;AAWxC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAElD,MAAM,MAAM,aAAa,GAAG,CAC1B,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,cAAc,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAE3C,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAErD,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtD,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,UAAU,MAAM,GAAG,mBAAmB,KACrC,mBAGW,CAAC;AAEf,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,GAAG,mBAAmB,EACtC,SAAS,MAAM,KACd,mBAWD,CAAC;AAEH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,SAAS,MAAM,EAAE,KACzB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,cAYF,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,YAAY,MAAM,EAClB,SAAS,eAAe,EACxB,SAAS,cAAc,KACtB,cAOF,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,YAAY,MAAM,EAClB,aAAa,MAAM,EACnB,mBAAmB,iBAAiB,EACpC,SAAS,cAAc,KACtB,uBAkCF,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,iBAAiB,mBAAmB,EACpC,cAAc,MAAM,EACpB,iBAAiB,mBAAmB,EACpC,cAAc,MAAM,KACnB,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAS1C,CAAC;AAEH,eAAO,MAAM,yBAAyB,GACpC,SAAS,mBAAmB,EAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,gBAAgB,mBAAmB,EACnC,cAAc,MAAM,EACpB,cAAc,MAAM,KACnB,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CASzC,CAAC;AAEJ,eAAO,MAAM,kCAAkC,GAC7C,YAAY,MAAM,EAClB,aAAa,MAAM,GAAG,SAAS,EAC/B,SAAS,cAAc,KACtB,MAAM,GAAG,SAC0D,CAAC;AAEvE,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA0B1C,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,WAAW,mBAAmB,EAC9B,aAAa,mBAAmB,EAChC,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA0BtC,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,SAAS,mBAAmB,KAC3B,mBAAmB,GAAG,SAqExB,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAYF,CAAC;AA0EF,eAAO,MAAM,sBAAsB,GACjC,aAAa,MAAM,GAAG,SAAS,EAC/B,WAAW,OAAO,EAClB,SAAS,cAAc,EACvB,kBAAwB,KACvB,MAAM,GAAG,SA+DX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,aAAa,MAAM,GAAG,SAAS,EAC/B,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAmBX,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,YAAY,MAAM,EAClB,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,MAAM,GAAG,SACqD,CAAC;AAElE,eAAO,MAAM,wBAAwB,8GAA8B,CAAC;AAEpE,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAStD,CAAC"}

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

@@ -0,0 +1,332 @@
+/**
+ * Core narrowing builder types and utilities.
+ *
+ * Provides foundational types (BranchTruthiness, EmitExprAstFn, RuntimeUnionFrame),
+ * simple AST builders for union narrowing, binding management helpers,
+ * nullish guard construction/stripping, and type-narrowing predicates.
+ */
+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";
+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;
+export const buildUnionNarrowAst = (receiver, memberN) => ({
+    kind: "parenthesizedExpression",
+    expression: {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: toReceiverAst(receiver),
+            memberName: `As${memberN}`,
+        },
+        arguments: [],
+    },
+});
+export const buildSubsetUnionType = (members) => {
+    if (members.length === 0)
+        return undefined;
+    if (members.length === 1)
+        return members[0];
+    return normalizedUnionType(members);
+};
+export const withoutNarrowedBinding = (context, bindingKey) => {
+    if (!context.narrowedBindings?.has(bindingKey)) {
+        return context;
+    }
+    const narrowedBindings = new Map(context.narrowedBindings);
+    narrowedBindings.delete(bindingKey);
+    return {
+        ...context,
+        narrowedBindings,
+    };
+};
+export const applyBinding = (bindingKey, binding, context) => {
+    const narrowedBindings = new Map(context.narrowedBindings ?? []);
+    narrowedBindings.set(bindingKey, binding);
+    return {
+        ...context,
+        narrowedBindings,
+    };
+};
+export const resolveRuntimeSubsetSourceInfo = (bindingKey, currentType, runtimeUnionFrame, context) => {
+    const existingBinding = context.narrowedBindings?.get(bindingKey);
+    if (existingBinding?.kind === "runtimeSubset" && existingBinding.sourceType) {
+        const hasExplicitSourceFrame = existingBinding.sourceMembers &&
+            existingBinding.sourceCandidateMemberNs &&
+            existingBinding.sourceMembers.length ===
+                existingBinding.sourceCandidateMemberNs.length;
+        return {
+            sourceType: existingBinding.sourceType,
+            sourceMembers: hasExplicitSourceFrame
+                ? existingBinding.sourceMembers
+                : undefined,
+            sourceCandidateMemberNs: hasExplicitSourceFrame
+                ? existingBinding.sourceCandidateMemberNs
+                : undefined,
+        };
+    }
+    const canReuseFrameAsSource = runtimeUnionFrame.runtimeUnionArity === runtimeUnionFrame.members.length &&
+        runtimeUnionFrame.members.length ===
+            runtimeUnionFrame.candidateMemberNs.length;
+    return {
+        sourceType: existingBinding?.sourceType ?? currentType,
+        sourceMembers: canReuseFrameAsSource
+            ? runtimeUnionFrame.members
+            : undefined,
+        sourceCandidateMemberNs: canReuseFrameAsSource
+            ? runtimeUnionFrame.candidateMemberNs
+            : undefined,
+    };
+};
+export const buildExprBinding = (exprAst, type, sourceType, storageExprAst, storageType, carrierExprAst, carrierType) => ({
+    kind: "expr",
+    exprAst,
+    storageExprAst,
+    carrierExprAst,
+    carrierType,
+    storageType,
+    type,
+    sourceType,
+});
+export const buildProjectedExprBinding = (exprAst, type, sourceType, carrierExprAst, storageType, carrierType) => buildExprBinding(exprAst, type, sourceType, exprAst, storageType ?? type, carrierExprAst, carrierType);
+export const resolveExistingNarrowingSourceType = (bindingKey, currentType, context) => context.narrowedBindings?.get(bindingKey)?.sourceType ?? currentType;
+export const buildRuntimeSubsetExpressionAst = (expr, narrowed, context) => {
+    const sourceType = narrowed.sourceType ?? expr.inferredType;
+    const subsetType = narrowed.type;
+    if (!sourceType || !subsetType) {
+        return undefined;
+    }
+    const sourceFrame = narrowed.sourceMembers &&
+        narrowed.sourceCandidateMemberNs &&
+        narrowed.sourceMembers.length === narrowed.sourceCandidateMemberNs.length
+        ? {
+            members: narrowed.sourceMembers,
+            candidateMemberNs: narrowed.sourceCandidateMemberNs,
+        }
+        : undefined;
+    return tryBuildRuntimeMaterializationAst(identifierExpression(escapeCSharpIdentifier(expr.name)), sourceType, subsetType, context, emitTypeAst, new Set(narrowed.runtimeMemberNs), sourceFrame);
+};
+export const buildConditionalNullishGuardAst = (sourceAst, whenNonNull, targetType, context) => {
+    const [targetTypeAst, nextContext] = emitTypeAst(stripNullish(targetType), context);
+    return [
+        {
+            kind: "conditionalExpression",
+            condition: {
+                kind: "binaryExpression",
+                operatorToken: "==",
+                left: {
+                    kind: "castExpression",
+                    type: { kind: "predefinedType", keyword: "object" },
+                    expression: sourceAst,
+                },
+                right: nullLiteral(),
+            },
+            whenTrue: {
+                kind: "defaultExpression",
+                type: targetTypeAst,
+            },
+            whenFalse: whenNonNull,
+        },
+        nextContext,
+    ];
+};
+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" &&
+            current.type.kind === "predefinedType" &&
+            current.type.keyword === "object") {
+            return unwrapParenthesizedAst(current.expression);
+        }
+        return current;
+    };
+    let current = exprAst;
+    while (current.kind === "parenthesizedExpression") {
+        current = current.expression;
+    }
+    if (current.kind !== "conditionalExpression") {
+        return undefined;
+    }
+    const condition = current.condition;
+    if (condition.kind !== "binaryExpression" ||
+        condition.operatorToken !== "==") {
+        return undefined;
+    }
+    const checkedExpression = unwrapObjectCastAst(condition.left);
+    if (condition.right.kind !== "nullLiteralExpression") {
+        return undefined;
+    }
+    if (current.whenTrue.kind !== "defaultExpression") {
+        return undefined;
+    }
+    const returnedExpression = unwrapParenthesizedAst(current.whenFalse);
+    if (JSON.stringify(unwrapParenthesizedAst(checkedExpression)) !==
+        JSON.stringify(returnedExpression)) {
+        const originalCheckedExpression = unwrapParenthesizedAst(condition.left);
+        if (originalCheckedExpression.kind !== "castExpression" ||
+            originalCheckedExpression.type.kind !== "predefinedType" ||
+            originalCheckedExpression.type.keyword !== "object") {
+            return undefined;
+        }
+    }
+    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;
+    const resolvedCurrent = resolveTypeAlias(stripNullish(currentType), context);
+    const resolvedTarget = resolveTypeAlias(stripNullish(targetType), context);
+    if (resolvedCurrent.kind === "unionType") {
+        const kept = resolvedCurrent.types.filter((member) => {
+            if (!member)
+                return false;
+            return !unionMemberMatchesTarget(member, resolvedTarget, context);
+        });
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return normalizedUnionType(kept);
+    }
+    return unionMemberMatchesTarget(resolvedCurrent, resolvedTarget, context)
+        ? undefined
+        : resolvedCurrent;
+};
+export const currentNarrowedType = (bindingKey, fallbackType, context) => context.narrowedBindings?.get(bindingKey)?.type ?? fallbackType;
+export const resolveRuntimeUnionFrame = resolveNarrowedUnionMembers;
+export const isNullOrUndefined = (expr) => {
+    if (expr.kind === "literal" &&
+        (expr.value === null || expr.value === undefined)) {
+        return true;
+    }
+    return expr.kind === "identifier" && expr.name === "undefined";
+};
+//# sourceMappingURL=narrowing-builder-core.js.map

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

@@ -0,0 +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"}

package/dist/core/semantic/narrowing-builder-core.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=narrowing-builder-core.test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-builder-core.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowing-builder-core.test.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,49 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { applyBinding } from "./narrowing-builder-core.js";
+describe("narrowing builder core", () => {
+    it("keeps declared local symbol tables unchanged when applying flow narrowing", () => {
+        const valueType = {
+            kind: "referenceType",
+            name: "Value",
+            resolvedClrType: "App.Value",
+        };
+        const siteValueType = {
+            kind: "referenceType",
+            name: "SiteValue",
+            resolvedClrType: "App.SiteValue",
+        };
+        const context = {
+            indentLevel: 0,
+            options: { rootNamespace: "Test", surface: "@tsonic/js", indent: 2 },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+            localSemanticTypes: new Map([["cur", valueType]]),
+            localValueTypes: new Map([["cur", valueType]]),
+        };
+        const binding = {
+            kind: "expr",
+            exprAst: {
+                kind: "identifierExpression",
+                identifier: "cur__site",
+            },
+            storageExprAst: {
+                kind: "identifierExpression",
+                identifier: "cur",
+            },
+            carrierExprAst: {
+                kind: "identifierExpression",
+                identifier: "cur",
+            },
+            storageType: siteValueType,
+            type: siteValueType,
+            sourceType: valueType,
+        };
+        const nextContext = applyBinding("cur", binding, context);
+        expect(nextContext.localSemanticTypes?.get("cur")).to.deep.equal(valueType);
+        expect(nextContext.localValueTypes?.get("cur")).to.deep.equal(valueType);
+        expect(nextContext.narrowedBindings?.get("cur")).to.deep.equal(binding);
+    });
+});
+//# sourceMappingURL=narrowing-builder-core.test.js.map

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

@@ -0,0 +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"}