@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/narrowed-expression-types.js

@@ -0,0 +1,287 @@
+import { getPropertyType, resolveTypeAlias, stripNullish, } from "./type-resolution.js";
+import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
+import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
+import { getRuntimeUnionReferenceMembers } from "./runtime-union-shared.js";
+import { isAssignable } from "./type-compatibility.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { tryContextualTypeIdentityKey } from "./deterministic-type-keys.js";
+const withOptionalUndefined = (type) => {
+    if (type.kind === "unionType" &&
+        type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined")) {
+        return type;
+    }
+    return {
+        kind: "unionType",
+        types: [type, { kind: "primitiveType", name: "undefined" }],
+    };
+};
+const maybeWrapOptionalMemberAccessType = (expr, type) => {
+    if (!type) {
+        return undefined;
+    }
+    if (expr.kind !== "memberAccess" || !expr.isOptional) {
+        return type;
+    }
+    return withOptionalUndefined(type);
+};
+const unwrapProjectionAst = (exprAst) => {
+    let target = exprAst;
+    while (target.kind === "parenthesizedExpression" ||
+        target.kind === "castExpression") {
+        target = target.expression;
+    }
+    return target;
+};
+const tryResolveIdentifierExpressionType = (identifier, context) => {
+    const direct = context.localSemanticTypes?.get(identifier) ??
+        context.localValueTypes?.get(identifier);
+    if (direct) {
+        return direct;
+    }
+    for (const [sourceName, emittedName] of context.localNameMap ?? []) {
+        if (emittedName === identifier) {
+            return (context.localSemanticTypes?.get(sourceName) ??
+                context.localValueTypes?.get(sourceName));
+        }
+    }
+    return undefined;
+};
+const runtimeCarrierFamilyForType = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind !== "unionType") {
+        return undefined;
+    }
+    if (resolved.runtimeCarrierFamilyKey) {
+        return resolved.runtimeCarrierFamilyKey;
+    }
+    const canonicalMembers = getCanonicalRuntimeUnionMembers(resolved, context) ?? resolved.types;
+    const memberKeys = canonicalMembers.map((member) => tryContextualTypeIdentityKey(member, context));
+    if (memberKeys.some((key) => key === undefined)) {
+        return undefined;
+    }
+    const orderedKeys = resolved.preserveRuntimeLayout
+        ? memberKeys
+        : [...memberKeys].sort();
+    return `runtime-union:${resolved.preserveRuntimeLayout ? "preserve" : "canonical"}:${orderedKeys.join("|")}`;
+};
+const projectionCarrierTypesMatch = (baseType, receiverType, context) => {
+    const baseFamily = runtimeCarrierFamilyForType(baseType, context);
+    const receiverFamily = runtimeCarrierFamilyForType(receiverType, context);
+    if (baseFamily || receiverFamily) {
+        return baseFamily !== undefined && baseFamily === receiverFamily;
+    }
+    return (areIrTypesEquivalent(stripNullish(baseType), stripNullish(receiverType), context));
+};
+const tryResolveProjectionReceiverType = (receiverAst, context) => {
+    const receiver = unwrapProjectionAst(receiverAst);
+    if (receiver.kind !== "identifierExpression") {
+        return undefined;
+    }
+    return tryResolveIdentifierExpressionType(receiver.identifier, context);
+};
+const tryExtractRuntimeUnionProjection = (exprAst) => {
+    const target = unwrapProjectionAst(exprAst);
+    if (target.kind !== "invocationExpression") {
+        return undefined;
+    }
+    if (target.expression.kind !== "memberAccessExpression") {
+        return undefined;
+    }
+    if (target.arguments.length === 0) {
+        const match = target.expression.memberName.match(/^As(\d+)$/);
+        if (!match?.[1]) {
+            return undefined;
+        }
+        return {
+            memberN: Number.parseInt(match[1], 10),
+            receiverAst: target.expression.expression,
+        };
+    }
+    if (target.expression.memberName !== "Match") {
+        return undefined;
+    }
+    let projectedMemberIndex;
+    for (let index = 0; index < target.arguments.length; index += 1) {
+        const lambda = target.arguments[index];
+        if (!lambda || lambda.kind !== "lambdaExpression") {
+            return undefined;
+        }
+        const parameterName = lambda.parameters[0]?.name;
+        if (!parameterName) {
+            return undefined;
+        }
+        let body = lambda.body;
+        while (body.kind === "parenthesizedExpression" ||
+            body.kind === "castExpression") {
+            body = body.expression;
+        }
+        if (body.kind === "identifierExpression" &&
+            body.identifier === parameterName) {
+            if (projectedMemberIndex !== undefined) {
+                return undefined;
+            }
+            projectedMemberIndex = index + 1;
+            continue;
+        }
+        if (body.kind === "throwExpression") {
+            continue;
+        }
+        return undefined;
+    }
+    return projectedMemberIndex
+        ? {
+            memberN: projectedMemberIndex,
+            receiverAst: target.expression.expression,
+        }
+        : undefined;
+};
+export const tryResolveRuntimeUnionMemberType = (baseType, exprAst, context) => {
+    if (!baseType)
+        return undefined;
+    const projection = tryExtractRuntimeUnionProjection(exprAst);
+    if (!projection)
+        return undefined;
+    const receiverType = projection.receiverAst
+        ? tryResolveProjectionReceiverType(projection.receiverAst, context)
+        : undefined;
+    if (receiverType &&
+        !projectionCarrierTypesMatch(baseType, receiverType, context)) {
+        return undefined;
+    }
+    const { memberN } = projection;
+    const canonicalRuntimeMembers = getCanonicalRuntimeUnionMembers(baseType, context);
+    if (canonicalRuntimeMembers &&
+        memberN >= 1 &&
+        memberN <= canonicalRuntimeMembers.length) {
+        return canonicalRuntimeMembers[memberN - 1];
+    }
+    const resolvedBase = resolveTypeAlias(stripNullish(baseType), context);
+    if (resolvedBase.kind === "unionType") {
+        return resolvedBase.types[memberN - 1];
+    }
+    if (resolvedBase.kind === "referenceType") {
+        const runtimeMembers = getRuntimeUnionReferenceMembers(resolvedBase);
+        if (runtimeMembers && memberN <= runtimeMembers.length) {
+            return runtimeMembers[memberN - 1];
+        }
+    }
+    return undefined;
+};
+export const resolveRuntimeSubsetMemberNs = (expr, context) => {
+    const narrowKey = expr.kind === "identifier"
+        ? expr.name
+        : expr.kind === "memberAccess"
+            ? getMemberAccessNarrowKey(expr)
+            : undefined;
+    if (!narrowKey) {
+        return undefined;
+    }
+    const narrowed = context.narrowedBindings?.get(narrowKey);
+    return narrowed?.kind === "runtimeSubset"
+        ? new Set(narrowed.runtimeMemberNs)
+        : undefined;
+};
+export const resolveEffectiveExpressionType = (expr, context) => {
+    if (expr.kind === "typeAssertion" || expr.kind === "asinterface") {
+        return expr.targetType;
+    }
+    if (expr.kind === "trycast") {
+        return expr.targetType;
+    }
+    if (expr.kind === "defaultof") {
+        return expr.targetType;
+    }
+    if (expr.kind === "logical" && expr.operator === "??") {
+        const leftType = resolveEffectiveExpressionType(expr.left, context) ??
+            expr.left.inferredType;
+        const rightType = resolveEffectiveExpressionType(expr.right, context) ??
+            expr.right.inferredType;
+        if (!leftType) {
+            return rightType;
+        }
+        const nonNullishLeft = stripNullish(leftType) ?? leftType;
+        if (!rightType) {
+            return nonNullishLeft;
+        }
+        if (areIrTypesEquivalent(nonNullishLeft, rightType, context)) {
+            return nonNullishLeft;
+        }
+        if (isAssignable(rightType, nonNullishLeft)) {
+            return nonNullishLeft;
+        }
+        if (isAssignable(nonNullishLeft, rightType)) {
+            return rightType;
+        }
+    }
+    const baseType = expr.inferredType;
+    const registeredSemanticType = expr.kind === "identifier"
+        ? context.localSemanticTypes?.get(expr.name)
+        : undefined;
+    if (!context.narrowedBindings) {
+        if (expr.kind === "memberAccess" &&
+            !expr.isComputed &&
+            typeof expr.property === "string") {
+            const narrowedReceiverType = resolveEffectiveExpressionType(expr.object, context);
+            const narrowedPropertyType = getPropertyType(narrowedReceiverType, expr.property, context);
+            if (narrowedPropertyType) {
+                return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
+            }
+        }
+        return maybeWrapOptionalMemberAccessType(expr, registeredSemanticType ?? baseType);
+    }
+    const narrowKey = expr.kind === "identifier"
+        ? expr.name
+        : expr.kind === "memberAccess"
+            ? getMemberAccessNarrowKey(expr)
+            : undefined;
+    if (!narrowKey) {
+        if (expr.kind === "memberAccess" &&
+            !expr.isComputed &&
+            typeof expr.property === "string") {
+            const narrowedReceiverType = resolveEffectiveExpressionType(expr.object, context);
+            const narrowedPropertyType = getPropertyType(narrowedReceiverType, expr.property, context);
+            if (narrowedPropertyType) {
+                return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
+            }
+        }
+        return maybeWrapOptionalMemberAccessType(expr, registeredSemanticType ?? baseType);
+    }
+    const narrowed = context.narrowedBindings.get(narrowKey);
+    if (!narrowed) {
+        if (expr.kind === "memberAccess" &&
+            !expr.isComputed &&
+            typeof expr.property === "string") {
+            const narrowedReceiverType = resolveEffectiveExpressionType(expr.object, context);
+            const narrowedPropertyType = getPropertyType(narrowedReceiverType, expr.property, context);
+            if (narrowedPropertyType) {
+                return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
+            }
+        }
+        return maybeWrapOptionalMemberAccessType(expr, registeredSemanticType ?? baseType);
+    }
+    if (narrowed.kind === "rename" ||
+        narrowed.kind === "expr" ||
+        narrowed.kind === "runtimeSubset") {
+        const sourceType = narrowed.sourceType ?? registeredSemanticType ?? baseType;
+        const resolvedSource = narrowed.kind === "expr"
+            ? tryResolveRuntimeUnionMemberType(sourceType, narrowed.exprAst, context)
+            : undefined;
+        if (narrowed.type) {
+            return maybeWrapOptionalMemberAccessType(expr, narrowed.type);
+        }
+        if (resolvedSource) {
+            return maybeWrapOptionalMemberAccessType(expr, resolvedSource);
+        }
+    }
+    if (expr.kind === "memberAccess" &&
+        !expr.isComputed &&
+        typeof expr.property === "string") {
+        const narrowedReceiverType = resolveEffectiveExpressionType(expr.object, context);
+        const narrowedPropertyType = getPropertyType(narrowedReceiverType, expr.property, context);
+        if (narrowedPropertyType) {
+            return maybeWrapOptionalMemberAccessType(expr, narrowedPropertyType);
+        }
+    }
+    return maybeWrapOptionalMemberAccessType(expr, registeredSemanticType ?? baseType);
+};
+//# sourceMappingURL=narrowed-expression-types.js.map

package/dist/core/semantic/narrowed-expression-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowed-expression-types.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-expression-types.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAE5E,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE;IACrD,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAkB,EAClB,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,OAA4B,EACP,EAAE;IACvB,IAAI,MAAM,GAAwB,OAAO,CAAC;IAC1C,OACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAChC,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,UAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,MAAM,GACV,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC;QAC3C,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACnE,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,CACL,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,UAAU,CAAC;gBAC3C,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,uBAAuB,CAAC;IAC1C,CAAC;IAED,MAAM,gBAAgB,GACpB,+BAA+B,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC;IACvE,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,CAC9C,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,qBAAqB;QAChD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,OAAO,iBAAiB,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,CACnG,GAAG,CACJ,EAAE,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAgB,EAChB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,UAAU,IAAI,cAAc,EAAE,CAAC;QACjC,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,cAAc,CAAC;IACnE,CAAC;IAED,OAAO,CACL,oBAAoB,CAClB,YAAY,CAAC,QAAQ,CAAC,EACtB,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,WAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kCAAkC,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,OAA4B,EAGhB,EAAE;IACd,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACtC,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,oBAAwC,CAAC;IAE7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QACjD,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,OACE,IAAI,CAAC,IAAI,KAAK,yBAAyB;YACvC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC9B,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,sBAAsB;YACpC,IAAI,CAAC,UAAU,KAAK,aAAa,EACjC,CAAC;YACD,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBACvC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,oBAAoB,GAAG,KAAK,GAAG,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB;QACzB,CAAC,CAAC;YACE,OAAO,EAAE,oBAAoB;YAC7B,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;SAC1C;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,QAA4B,EAC5B,OAA4B,EAC5B,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,UAAU,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW;QACzC,CAAC,CAAC,gCAAgC,CAAC,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IACd,IACE,YAAY;QACZ,CAAC,2BAA2B,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,EAC7D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IAE/B,MAAM,uBAAuB,GAAG,+BAA+B,CAC7D,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IACE,uBAAuB;QACvB,OAAO,IAAI,CAAC;QACZ,OAAO,IAAI,uBAAuB,CAAC,MAAM,EACzC,CAAC;QACD,OAAO,uBAAuB,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,cAAc,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACrE,IAAI,cAAc,IAAI,OAAO,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YACvD,OAAO,cAAc,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAkB,EAClB,OAAuB,EACU,EAAE;IACnC,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,OAAO,QAAQ,EAAE,IAAI,KAAK,eAAe;QACvC,CAAC,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC;QACnC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,QAAQ,GACZ,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QACzB,MAAM,SAAS,GACb,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QAE1B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,oBAAoB,CAAC,cAAc,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7D,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,CAAC;YAC5C,OAAO,cAAc,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC;IACnC,MAAM,sBAAsB,GAC1B,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC9B,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,IAAI,CAAC,UAAU;YAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;YACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;YACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;YACF,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;IACJ,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAC1B,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,eAAe,EACjC,CAAC;QACD,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,sBAAsB,IAAI,QAAQ,CAAC;QAC5D,MAAM,cAAc,GAClB,QAAQ,CAAC,IAAI,KAAK,MAAM;YACtB,CAAC,CAAC,gCAAgC,CAC9B,UAAU,EACV,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,iCAAiC,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,iCAAiC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,UAAU;QAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;QACD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,IAAI,CAAC,MAAM,EACX,OAAO,CACR,CAAC;QACF,MAAM,oBAAoB,GAAG,eAAe,CAC1C,oBAAoB,EACpB,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,CAAC;QACF,IAAI,oBAAoB,EAAE,CAAC;YACzB,OAAO,iCAAiC,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,iCAAiC,CACtC,IAAI,EACJ,sBAAsB,IAAI,QAAQ,CACnC,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/narrowed-expression-types.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=narrowed-expression-types.test.d.ts.map

package/dist/core/semantic/narrowed-expression-types.test.d.ts.map

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

package/dist/core/semantic/narrowed-expression-types.test.js

@@ -0,0 +1,296 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { resolveEffectiveExpressionType, tryResolveRuntimeUnionMemberType, } from "./narrowed-expression-types.js";
+describe("narrowed-expression-types", () => {
+    const createContext = (localTypes, narrowedType) => ({
+        indentLevel: 0,
+        options: {
+            rootNamespace: "Test",
+            indent: 4,
+        },
+        isStatic: false,
+        isAsync: false,
+        localTypes,
+        usings: new Set(),
+        narrowedBindings: new Map([
+            [
+                "value",
+                {
+                    kind: "rename",
+                    name: "value__is_1",
+                    type: narrowedType,
+                },
+            ],
+        ]),
+    });
+    it("recomputes member types from narrowed class receivers", () => {
+        const localTypes = new Map([
+            [
+                "BoolValue",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    superClass: undefined,
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "value",
+                            type: { kind: "primitiveType", name: "boolean" },
+                            isReadonly: true,
+                            initializer: undefined,
+                            accessibility: "public",
+                            isStatic: false,
+                        },
+                    ],
+                },
+            ],
+        ]);
+        const expr = {
+            kind: "memberAccess",
+            object: {
+                kind: "identifier",
+                name: "value",
+                inferredType: { kind: "referenceType", name: "TemplateValue" },
+            },
+            property: "value",
+            isComputed: false,
+            isOptional: false,
+            inferredType: { kind: "primitiveType", name: "string" },
+        };
+        const result = resolveEffectiveExpressionType(expr, createContext(localTypes, { kind: "referenceType", name: "BoolValue" }));
+        expect(result).to.deep.equal({ kind: "primitiveType", name: "boolean" });
+    });
+    it("recomputes collection member types from narrowed class receivers", () => {
+        const localTypes = new Map([
+            [
+                "AnyArrayValue",
+                {
+                    kind: "class",
+                    typeParameters: [],
+                    superClass: undefined,
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "value",
+                            type: {
+                                kind: "arrayType",
+                                elementType: { kind: "primitiveType", name: "string" },
+                            },
+                            isReadonly: true,
+                            initializer: undefined,
+                            accessibility: "public",
+                            isStatic: false,
+                        },
+                    ],
+                },
+            ],
+        ]);
+        const expr = {
+            kind: "memberAccess",
+            object: {
+                kind: "identifier",
+                name: "value",
+                inferredType: { kind: "referenceType", name: "TemplateValue" },
+            },
+            property: "value",
+            isComputed: false,
+            isOptional: false,
+            inferredType: { kind: "referenceType", name: "ICollection" },
+        };
+        const result = resolveEffectiveExpressionType(expr, createContext(localTypes, {
+            kind: "referenceType",
+            name: "AnyArrayValue",
+        }));
+        expect(result).to.deep.equal({
+            kind: "arrayType",
+            elementType: { kind: "primitiveType", name: "string" },
+        });
+    });
+    it("uses assertion target types for explicit type assertions", () => {
+        const expr = {
+            kind: "typeAssertion",
+            expression: {
+                kind: "identifier",
+                name: "value",
+                inferredType: {
+                    kind: "unionType",
+                    types: [
+                        { kind: "primitiveType", name: "string" },
+                        { kind: "primitiveType", name: "number" },
+                    ],
+                },
+            },
+            targetType: { kind: "primitiveType", name: "string" },
+            inferredType: {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "primitiveType", name: "number" },
+                ],
+            },
+        };
+        const result = resolveEffectiveExpressionType(expr, {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        });
+        expect(result).to.deep.equal({ kind: "primitiveType", name: "string" });
+    });
+    it("uses target types for explicit interface and default expressions", () => {
+        const context = {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        };
+        expect(resolveEffectiveExpressionType({
+            kind: "asinterface",
+            expression: {
+                kind: "identifier",
+                name: "value",
+                inferredType: { kind: "referenceType", name: "Impl" },
+            },
+            targetType: { kind: "referenceType", name: "Contract" },
+            inferredType: { kind: "referenceType", name: "Impl" },
+        }, context)).to.deep.equal({ kind: "referenceType", name: "Contract" });
+        expect(resolveEffectiveExpressionType({
+            kind: "defaultof",
+            targetType: { kind: "primitiveType", name: "int" },
+            inferredType: { kind: "primitiveType", name: "undefined" },
+        }, context)).to.deep.equal({ kind: "primitiveType", name: "int" });
+    });
+    it("maps runtime union AsN members using canonical runtime layout order", () => {
+        const requestHandlerType = {
+            kind: "functionType",
+            parameters: [
+                {
+                    kind: "parameter",
+                    pattern: {
+                        kind: "identifierPattern",
+                        name: "value",
+                    },
+                    type: { kind: "primitiveType", name: "string" },
+                    isOptional: false,
+                    isRest: false,
+                    passing: "value",
+                },
+            ],
+            returnType: { kind: "voidType" },
+        };
+        const routerType = { kind: "referenceType", name: "Router" };
+        const recursiveArrayType = {
+            kind: "arrayType",
+            elementType: { kind: "unknownType" },
+        };
+        const middlewareLikeType = {
+            kind: "unionType",
+            types: [requestHandlerType, routerType, recursiveArrayType],
+        };
+        const context = {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        };
+        expect(tryResolveRuntimeUnionMemberType(middlewareLikeType, {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: {
+                    kind: "identifierExpression",
+                    identifier: "handler",
+                },
+                memberName: "As2",
+            },
+            arguments: [],
+        }, context)).to.deep.equal(requestHandlerType);
+        expect(tryResolveRuntimeUnionMemberType(middlewareLikeType, {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: {
+                    kind: "identifierExpression",
+                    identifier: "handler",
+                },
+                memberName: "As3",
+            },
+            arguments: [],
+        }, context)).to.deep.equal(routerType);
+        expect(tryResolveRuntimeUnionMemberType(middlewareLikeType, {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: {
+                    kind: "identifierExpression",
+                    identifier: "handler",
+                },
+                memberName: "Match",
+            },
+            arguments: [
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_1" }],
+                    body: {
+                        kind: "throwExpression",
+                        expression: {
+                            kind: "objectCreationExpression",
+                            type: {
+                                kind: "qualifiedIdentifierType",
+                                name: {
+                                    aliasQualifier: "global",
+                                    segments: ["System", "InvalidCastException"],
+                                },
+                            },
+                            arguments: [],
+                        },
+                    },
+                },
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_2" }],
+                    body: {
+                        kind: "identifierExpression",
+                        identifier: "__tsonic_union_member_2",
+                    },
+                },
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_3" }],
+                    body: {
+                        kind: "throwExpression",
+                        expression: {
+                            kind: "objectCreationExpression",
+                            type: {
+                                kind: "qualifiedIdentifierType",
+                                name: {
+                                    aliasQualifier: "global",
+                                    segments: ["System", "InvalidCastException"],
+                                },
+                            },
+                            arguments: [],
+                        },
+                    },
+                },
+            ],
+        }, context)).to.deep.equal(requestHandlerType);
+    });
+});
+//# sourceMappingURL=narrowed-expression-types.test.js.map

package/dist/core/semantic/narrowed-expression-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowed-expression-types.test.js","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-expression-types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EACL,8BAA8B,EAC9B,gCAAgC,GACjC,MAAM,gCAAgC,CAAC;AAGxC,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9C,YAAoB,EACJ,EAAE,CAAC,CAAC;QACpB,WAAW,EAAE,CAAC;QACd,OAAO,EAAE;YACP,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,CAAC;SACV;QACD,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,UAAU;QACV,MAAM,EAAE,IAAI,GAAG,EAAU;QACzB,gBAAgB,EAAE,IAAI,GAAG,CAAC;YACxB;gBACE,OAAO;gBACP;oBACE,IAAI,EAAE,QAAiB;oBACvB,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,YAAY;iBACnB;aACF;SACF,CAAC;KACH,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,WAAW;gBACX;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,IAAI;4BAChB,WAAW,EAAE,SAAS;4BACtB,aAAa,EAAE,QAAQ;4BACvB,QAAQ,EAAE,KAAK;yBAChB;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE;aAC/D;YACD,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACxD,CAAC;QAEF,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,aAAa,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CACxE,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;YAChD;gBACE,eAAe;gBACf;oBACE,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6BACvD;4BACD,UAAU,EAAE,IAAI;4BAChB,WAAW,EAAE,SAAS;4BACtB,aAAa,EAAE,QAAQ;4BACvB,QAAQ,EAAE,KAAK;yBAChB;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE;gBACN,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE;aAC/D;YACD,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE;SAC7D,CAAC;QAEF,MAAM,MAAM,GAAG,8BAA8B,CAC3C,IAAI,EACJ,aAAa,CAAC,UAAU,EAAE;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,eAAe;SACtB,CAAC,CACH,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACvD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAiB;YACzB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE;oBACZ,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAC1C;iBACF;aACF;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrD,YAAY,EAAE;gBACZ,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC1C;aACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,EAAE;YAClD,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAmB;YAC9B,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC;QAEF,MAAM,CACJ,8BAA8B,CAC5B;YACE,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;aACtD;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE;YACvD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;SACtD,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAE7D,MAAM,CACJ,8BAA8B,CAC5B;YACE,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;YAClD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;SAC3D,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE;wBACP,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,OAAO;qBACd;oBACD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,MAAM,EAAE,KAAK;oBACb,OAAO,EAAE,OAAO;iBACjB;aACF;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;SACjC,CAAC;QACF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACrE,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACrC,CAAC;QACF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,CAAC;SAC5D,CAAC;QACF,MAAM,OAAO,GAAmB;YAC9B,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC;QAEF,MAAM,CACJ,gCAAgC,CAC9B,kBAAkB,EAClB;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,SAAS;iBACtB;gBACD,UAAU,EAAE,KAAK;aAClB;YACD,SAAS,EAAE,EAAE;SACd,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAEpC,MAAM,CACJ,gCAAgC,CAC9B,kBAAkB,EAClB;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,SAAS;iBACtB;gBACD,UAAU,EAAE,KAAK;aAClB;YACD,SAAS,EAAE,EAAE;SACd,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAE5B,MAAM,CACJ,gCAAgC,CAC9B,kBAAkB,EAClB;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,SAAS;iBACtB;gBACD,UAAU,EAAE,OAAO;aACpB;YACD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE;wBACJ,IAAI,EAAE,iBAAiB;wBACvB,UAAU,EAAE;4BACV,IAAI,EAAE,0BAA0B;4BAChC,IAAI,EAAE;gCACJ,IAAI,EAAE,yBAAyB;gCAC/B,IAAI,EAAE;oCACJ,cAAc,EAAE,QAAQ;oCACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,sBAAsB,CAAC;iCAC7C;6BACF;4BACD,SAAS,EAAE,EAAE;yBACd;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,yBAAyB;qBACtC;iBACF;gBACD;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE;wBACJ,IAAI,EAAE,iBAAiB;wBACvB,UAAU,EAAE;4BACV,IAAI,EAAE,0BAA0B;4BAChC,IAAI,EAAE;gCACJ,IAAI,EAAE,yBAAyB;gCAC/B,IAAI,EAAE;oCACJ,cAAc,EAAE,QAAQ;oCACxB,QAAQ,EAAE,CAAC,QAAQ,EAAE,sBAAsB,CAAC;iCAC7C;6BACF;4BACD,SAAS,EAAE,EAAE;yBACd;qBACF;iBACF;aACF;SACF,EACD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/narrowed-union-resolution.d.ts

@@ -0,0 +1,42 @@
+/**
+ * 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 type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+/**
+ * The semantic payload for narrowed union member resolution.
+ *
+ * - members: the reachable IrType members (filtered by narrowing if active)
+ * - candidateMemberNs: the 1-based slot numbers corresponding to each member
+ * - runtimeUnionArity: the total arity of the original (un-narrowed) union
+ */
+export type NarrowedUnionMembers = {
+    readonly members: readonly IrType[];
+    readonly candidateMemberNs: readonly number[];
+    readonly runtimeUnionArity: number;
+};
+/**
+ * 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 declare const resolveNarrowedUnionMembers: (originalName: string, unionSourceType: IrType, context: EmitterContext) => NarrowedUnionMembers | undefined;
+export declare const resolveAlignedRuntimeUnionMembers: (originalName: string | undefined, effectiveType: IrType | undefined, carrierSourceType: IrType | undefined, context: EmitterContext) => NarrowedUnionMembers | undefined;
+//# sourceMappingURL=narrowed-union-resolution.d.ts.map

package/dist/core/semantic/narrowed-union-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowed-union-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/narrowed-union-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,iBAAiB,MAAM,EACvB,SAAS,cAAc,KACtB,oBAAoB,GAAG,SAgJzB,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,cAAc,MAAM,GAAG,SAAS,EAChC,eAAe,MAAM,GAAG,SAAS,EACjC,mBAAmB,MAAM,GAAG,SAAS,EACrC,SAAS,cAAc,KACtB,oBAAoB,GAAG,SAgEzB,CAAC"}