@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/narrowing-truthy.js

@@ -0,0 +1,355 @@
+/**
+ * Truthy/falsy narrowing resolution and sequential narrowing collection.
+ *
+ * Contains tryResolveTruthyNarrowing, tryResolveFalsyNarrowing,
+ * collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr,
+ * and collectSequentialNarrowings.
+ */
+import * as ts from "typescript";
+import { normalizedUnionType } from "../types/type-ops.js";
+import { narrowTypeByArrayShape } from "./array-type-guards.js";
+import { narrowTypeByAssignableTarget } from "./reference-type-guards.js";
+import { getAccessPathTarget, getCurrentTypeForAccessPath, } from "./access-paths.js";
+import { collectNarrowingCandidateLeaves } from "./narrowing-candidates.js";
+import { unwrapExpr, getStringLiteralText, makeTypeNarrowing, extractArrayIsArrayTarget, tryResolveCallPredicateNarrowing, extractIdentifierPropertyAccess, narrowTypeByTypeofTag, tryResolveTypeofNarrowing, tryResolveEqualityLiteralNarrowing, resolveInstanceofTargetType, } from "./narrowing-resolvers.js";
+import { withAppliedNarrowings } from "./narrowing-environment.js";
+import { getCurrentTypeForDecl, narrowTypeByPropertyPresence, narrowTypeByPropertyTruthiness, } from "./narrowing-property-helpers.js";
+const KNOWN_VALUE_LIKE_REFERENCE_NAMES = new Set([
+    "sbyte",
+    "byte",
+    "short",
+    "ushort",
+    "int",
+    "uint",
+    "long",
+    "ulong",
+    "nint",
+    "nuint",
+    "half",
+    "float",
+    "double",
+    "decimal",
+    "bool",
+    "boolean",
+    "char",
+    "Int128",
+    "UInt128",
+    "SByte",
+    "Byte",
+    "Int16",
+    "UInt16",
+    "Int32",
+    "UInt32",
+    "Int64",
+    "UInt64",
+    "Half",
+    "Single",
+    "Double",
+    "Decimal",
+    "Boolean",
+    "Char",
+]);
+const isNullishCandidate = (type) => type.kind === "primitiveType" &&
+    (type.name === "null" || type.name === "undefined");
+const isDeterministicallyTruthyCandidate = (type) => {
+    switch (type.kind) {
+        case "objectType":
+        case "arrayType":
+        case "tupleType":
+        case "dictionaryType":
+        case "functionType":
+            return true;
+        case "referenceType":
+            return !KNOWN_VALUE_LIKE_REFERENCE_NAMES.has(type.name);
+        case "literalType":
+            if (typeof type.value === "string") {
+                return type.value.length > 0;
+            }
+            if (typeof type.value === "boolean") {
+                return type.value;
+            }
+            if (typeof type.value === "number") {
+                return type.value !== 0 && !Number.isNaN(type.value);
+            }
+            return false;
+        default:
+            return false;
+    }
+};
+const buildCandidateUnion = (candidates) => {
+    if (candidates.length === 0) {
+        return undefined;
+    }
+    if (candidates.length === 1) {
+        return candidates[0];
+    }
+    return normalizedUnionType(candidates);
+};
+const narrowTypeByDirectTruthiness = (currentType, wantTruthy, ctx) => {
+    if (!currentType) {
+        return undefined;
+    }
+    const candidates = collectNarrowingCandidateLeaves(ctx.typeSystem, currentType).filter((candidate) => candidate !== undefined);
+    if (candidates.length === 0) {
+        return undefined;
+    }
+    const nullishCandidates = candidates.filter((candidate) => isNullishCandidate(candidate));
+    if (nullishCandidates.length === 0) {
+        return undefined;
+    }
+    const nonNullishCandidates = candidates.filter((candidate) => !isNullishCandidate(candidate));
+    if (nonNullishCandidates.length === 0 ||
+        nonNullishCandidates.some((candidate) => !isDeterministicallyTruthyCandidate(candidate))) {
+        return undefined;
+    }
+    return wantTruthy
+        ? buildCandidateUnion(nonNullishCandidates)
+        : buildCandidateUnion(nullishCandidates);
+};
+const tryResolveTruthyNarrowing = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    const directTarget = getAccessPathTarget(unwrapped, ctx);
+    if (directTarget) {
+        const targetType = narrowTypeByDirectTruthiness(getCurrentTypeForAccessPath(directTarget, ctx), true, ctx);
+        if (targetType) {
+            return makeTypeNarrowing(directTarget, targetType);
+        }
+    }
+    const arrayTarget = extractArrayIsArrayTarget(unwrapped, ctx);
+    if (arrayTarget) {
+        const targetType = narrowTypeByArrayShape(ctx.typeSystem, getCurrentTypeForAccessPath(arrayTarget, ctx), true);
+        if (targetType) {
+            return makeTypeNarrowing(arrayTarget, targetType);
+        }
+    }
+    const propertyAccess = extractIdentifierPropertyAccess(unwrapped, ctx);
+    if (propertyAccess) {
+        const currentType = getCurrentTypeForDecl(propertyAccess.declId, ctx);
+        const targetType = narrowTypeByPropertyTruthiness(currentType, propertyAccess.propertyName, true, ctx);
+        if (targetType) {
+            return {
+                kind: "decl",
+                declId: propertyAccess.declId.id,
+                targetType,
+            };
+        }
+    }
+    if (ts.isBinaryExpression(unwrapped) &&
+        unwrapped.operatorToken.kind === ts.SyntaxKind.InKeyword) {
+        const propertyName = getStringLiteralText(unwrapped.left);
+        const object = unwrapExpr(unwrapped.right);
+        if (propertyName && ts.isIdentifier(object)) {
+            const declId = ctx.binding.resolveIdentifier(object);
+            if (declId) {
+                const targetType = narrowTypeByPropertyPresence(getCurrentTypeForDecl(declId, ctx), propertyName, true, ctx);
+                if (targetType) {
+                    return { kind: "decl", declId: declId.id, targetType };
+                }
+            }
+        }
+    }
+    // istype<T>(x)
+    if (ts.isCallExpression(unwrapped) &&
+        ts.isIdentifier(unwrapped.expression) &&
+        unwrapped.expression.text === "istype" &&
+        unwrapped.typeArguments &&
+        unwrapped.typeArguments.length === 1 &&
+        unwrapped.arguments.length === 1) {
+        const typeArg = unwrapped.typeArguments[0];
+        const rawArg = unwrapped.arguments[0];
+        if (!typeArg || !rawArg)
+            return undefined;
+        const valueArg = unwrapExpr(rawArg);
+        if (!ts.isIdentifier(valueArg))
+            return undefined;
+        const targetType = ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(typeArg));
+        if (targetType.kind === "unknownType")
+            return undefined;
+        const narrowedDeclId = ctx.binding.resolveIdentifier(valueArg);
+        if (!narrowedDeclId)
+            return undefined;
+        return { kind: "decl", declId: narrowedDeclId.id, targetType };
+    }
+    // typeof x === "string" / "number" / "boolean" / "undefined"
+    if (ts.isBinaryExpression(unwrapped) &&
+        (unwrapped.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+            unwrapped.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken)) {
+        const left = unwrapExpr(unwrapped.left);
+        const right = unwrapExpr(unwrapped.right);
+        const leftLiteral = getStringLiteralText(left);
+        const rightLiteral = getStringLiteralText(right);
+        const extractTypeofTarget = (expr) => {
+            if (!ts.isTypeOfExpression(expr))
+                return undefined;
+            return getAccessPathTarget(expr.expression, ctx);
+        };
+        const leftTypeofTarget = extractTypeofTarget(left);
+        const rightTypeofTarget = extractTypeofTarget(right);
+        const tag = leftTypeofTarget && rightLiteral
+            ? rightLiteral
+            : rightTypeofTarget && leftLiteral
+                ? leftLiteral
+                : undefined;
+        const narrowedTarget = leftTypeofTarget ?? rightTypeofTarget;
+        if (!tag || !narrowedTarget)
+            return undefined;
+        const currentType = getCurrentTypeForAccessPath(narrowedTarget, ctx);
+        const targetType = narrowTypeByTypeofTag(currentType, tag, ctx);
+        if (!targetType)
+            return undefined;
+        return makeTypeNarrowing(narrowedTarget, targetType);
+    }
+    // x instanceof T
+    if (!ts.isBinaryExpression(unwrapped))
+        return undefined;
+    if (unwrapped.operatorToken.kind !== ts.SyntaxKind.InstanceOfKeyword)
+        return undefined;
+    const narrowedTarget = getAccessPathTarget(unwrapped.left, ctx);
+    if (!narrowedTarget)
+        return undefined;
+    const targetType = resolveInstanceofTargetType(unwrapped.right, ctx);
+    if (!targetType)
+        return undefined;
+    const narrowedType = narrowTypeByAssignableTarget({
+        collectNarrowingCandidates: (type) => ctx.typeSystem.collectNarrowingCandidates(type),
+        isAssignableTo: (source, target) => ctx.typeSystem.matchesInstanceofTarget(source, target),
+    }, getCurrentTypeForAccessPath(narrowedTarget, ctx), targetType, true);
+    if (!narrowedType)
+        return undefined;
+    return makeTypeNarrowing(narrowedTarget, narrowedType);
+};
+/**
+ * Collect `instanceof` narrowings that are guaranteed to hold when `expr` is truthy.
+ *
+ * We only collect from conjunctions (&&) because truthiness of `A && B` implies both
+ * `A` and `B` are truthy; for `A || B` it does not guarantee either side.
+ */
+export const collectTypeNarrowingsInTruthyExpr = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    if (ts.isPrefixUnaryExpression(unwrapped) &&
+        unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
+        return collectTypeNarrowingsInFalsyExpr(unwrapped.operand, ctx);
+    }
+    const direct = tryResolveTruthyNarrowing(unwrapped, ctx);
+    if (direct)
+        return [direct];
+    const predicateNarrowing = tryResolveCallPredicateNarrowing(unwrapped, ctx, true);
+    if (predicateNarrowing)
+        return [predicateNarrowing];
+    const typeofNarrowing = tryResolveTypeofNarrowing(unwrapped, ctx, true);
+    if (typeofNarrowing)
+        return [typeofNarrowing];
+    const equalityNarrowing = tryResolveEqualityLiteralNarrowing(unwrapped, ctx, true);
+    if (equalityNarrowing)
+        return [equalityNarrowing];
+    if (ts.isBinaryExpression(unwrapped)) {
+        if (unwrapped.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+            return collectSequentialNarrowings(ctx, [
+                (phaseCtx) => collectTypeNarrowingsInTruthyExpr(unwrapped.left, phaseCtx),
+                (phaseCtx) => collectTypeNarrowingsInTruthyExpr(unwrapped.right, phaseCtx),
+            ]);
+        }
+    }
+    return [];
+};
+const tryResolveFalsyNarrowing = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    const directTarget = getAccessPathTarget(unwrapped, ctx);
+    if (directTarget) {
+        const targetType = narrowTypeByDirectTruthiness(getCurrentTypeForAccessPath(directTarget, ctx), false, ctx);
+        if (targetType) {
+            return makeTypeNarrowing(directTarget, targetType);
+        }
+    }
+    const arrayTarget = extractArrayIsArrayTarget(unwrapped, ctx);
+    if (arrayTarget) {
+        const targetType = narrowTypeByArrayShape(ctx.typeSystem, getCurrentTypeForAccessPath(arrayTarget, ctx), false);
+        if (targetType) {
+            return makeTypeNarrowing(arrayTarget, targetType);
+        }
+    }
+    const propertyAccess = extractIdentifierPropertyAccess(unwrapped, ctx);
+    if (propertyAccess) {
+        const currentType = getCurrentTypeForDecl(propertyAccess.declId, ctx);
+        const targetType = narrowTypeByPropertyTruthiness(currentType, propertyAccess.propertyName, false, ctx);
+        if (targetType) {
+            return {
+                kind: "decl",
+                declId: propertyAccess.declId.id,
+                targetType,
+            };
+        }
+    }
+    if (ts.isBinaryExpression(unwrapped) &&
+        unwrapped.operatorToken.kind === ts.SyntaxKind.InKeyword) {
+        const propertyName = getStringLiteralText(unwrapped.left);
+        const object = unwrapExpr(unwrapped.right);
+        if (propertyName && ts.isIdentifier(object)) {
+            const declId = ctx.binding.resolveIdentifier(object);
+            if (declId) {
+                const targetType = narrowTypeByPropertyPresence(getCurrentTypeForDecl(declId, ctx), propertyName, false, ctx);
+                if (targetType) {
+                    return { kind: "decl", declId: declId.id, targetType };
+                }
+            }
+        }
+    }
+    if (ts.isBinaryExpression(unwrapped) &&
+        unwrapped.operatorToken.kind === ts.SyntaxKind.InstanceOfKeyword) {
+        const narrowedTarget = getAccessPathTarget(unwrapped.left, ctx);
+        if (!narrowedTarget)
+            return undefined;
+        const targetType = resolveInstanceofTargetType(unwrapped.right, ctx);
+        if (!targetType)
+            return undefined;
+        const narrowedType = narrowTypeByAssignableTarget({
+            collectNarrowingCandidates: (type) => ctx.typeSystem.collectNarrowingCandidates(type),
+            isAssignableTo: (source, target) => ctx.typeSystem.matchesInstanceofTarget(source, target),
+        }, getCurrentTypeForAccessPath(narrowedTarget, ctx), targetType, false);
+        if (!narrowedType)
+            return undefined;
+        return makeTypeNarrowing(narrowedTarget, narrowedType);
+    }
+    return undefined;
+};
+export const collectTypeNarrowingsInFalsyExpr = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    if (ts.isPrefixUnaryExpression(unwrapped) &&
+        unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
+        return collectTypeNarrowingsInTruthyExpr(unwrapped.operand, ctx);
+    }
+    if (ts.isBinaryExpression(unwrapped) &&
+        unwrapped.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+        return collectSequentialNarrowings(ctx, [
+            (phaseCtx) => collectTypeNarrowingsInFalsyExpr(unwrapped.left, phaseCtx),
+            (phaseCtx) => collectTypeNarrowingsInFalsyExpr(unwrapped.right, phaseCtx),
+        ]);
+    }
+    const direct = tryResolveFalsyNarrowing(unwrapped, ctx);
+    if (direct)
+        return [direct];
+    const predicateNarrowing = tryResolveCallPredicateNarrowing(unwrapped, ctx, false);
+    if (predicateNarrowing)
+        return [predicateNarrowing];
+    const typeofNarrowing = tryResolveTypeofNarrowing(unwrapped, ctx, false);
+    if (typeofNarrowing)
+        return [typeofNarrowing];
+    const equalityNarrowing = tryResolveEqualityLiteralNarrowing(unwrapped, ctx, false);
+    if (equalityNarrowing)
+        return [equalityNarrowing];
+    return [];
+};
+const collectSequentialNarrowings = (ctx, phases) => {
+    const combined = [];
+    let currentCtx = ctx;
+    for (const collect of phases) {
+        const next = collect(currentCtx);
+        if (next.length === 0) {
+            continue;
+        }
+        combined.push(...next);
+        currentCtx = withAppliedNarrowings(currentCtx, next);
+    }
+    return combined;
+};
+//# sourceMappingURL=narrowing-truthy.js.map

package/dist/ir/converters/narrowing-truthy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-truthy.js","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-truthy.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,mBAAmB,EACnB,2BAA2B,GAE5B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAEL,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,yBAAyB,EACzB,gCAAgC,EAChC,+BAA+B,EAC/B,qBAAqB,EACrB,yBAAyB,EACzB,kCAAkC,EAClC,2BAA2B,GAC5B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,8BAA8B,GAC/B,MAAM,iCAAiC,CAAC;AAEzC,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC;IAC/C,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,KAAK;IACL,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,MAAM;IACN,SAAS;IACT,MAAM;IACN,QAAQ;IACR,SAAS;IACT,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAW,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,kCAAkC,GAAG,CAAC,IAAY,EAAW,EAAE;IACnE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC;QACd,KAAK,eAAe;YAClB,OAAO,CAAC,gCAAgC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,KAAK,aAAa;YAChB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,IAAI,CAAC,KAAK,CAAC;YACpB,CAAC;YACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC;YACD,OAAO,KAAK,CAAC;QACf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,UAA6B,EACT,EAAE;IACtB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,WAA+B,EAC/B,UAAmB,EACnB,GAAmB,EACC,EAAE;IACtB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,+BAA+B,CAChD,GAAG,CAAC,UAAU,EACd,WAAW,CACZ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAiB,EAAE,EAAE,CAChE,kBAAkB,CAAC,SAAS,CAAC,CAC9B,CAAC;IACF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,oBAAoB,GAAG,UAAU,CAAC,MAAM,CAC5C,CAAC,SAAiB,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,CACtD,CAAC;IACF,IACE,oBAAoB,CAAC,MAAM,KAAK,CAAC;QACjC,oBAAoB,CAAC,IAAI,CACvB,CAAC,SAAiB,EAAE,EAAE,CAAC,CAAC,kCAAkC,CAAC,SAAS,CAAC,CACtE,EACD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU;QACf,CAAC,CAAC,mBAAmB,CAAC,oBAAoB,CAAC;QAC3C,CAAC,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAmB,EACnB,GAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,mBAAmB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,4BAA4B,CAC7C,2BAA2B,CAAC,YAAY,EAAE,GAAG,CAAC,EAC9C,IAAI,EACJ,GAAG,CACJ,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,iBAAiB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,sBAAsB,CACvC,GAAG,CAAC,UAAU,EACd,2BAA2B,CAAC,WAAW,EAAE,GAAG,CAAC,EAC7C,IAAI,CACL,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,qBAAqB,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,8BAA8B,CAC/C,WAAW,EACX,cAAc,CAAC,YAAY,EAC3B,IAAI,EACJ,GAAG,CACJ,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE;gBAChC,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EACxD,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,UAAU,GAAG,4BAA4B,CAC7C,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,EAClC,YAAY,EACZ,IAAI,EACJ,GAAG,CACJ,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,eAAe;IACf,IACE,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;QACrC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QACtC,SAAS,CAAC,aAAa;QACvB,SAAS,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACpC,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;QAEjD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC9C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CACvC,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAExD,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAEtC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACjE,CAAC;IAED,6DAA6D;IAC7D,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACrE,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EACnE,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAEjD,MAAM,mBAAmB,GAAG,CAC1B,IAAmB,EACW,EAAE;YAChC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACnD,CAAC,CAAC;QAEF,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAErD,MAAM,GAAG,GACP,gBAAgB,IAAI,YAAY;YAC9B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,iBAAiB,IAAI,WAAW;gBAChC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,cAAc,GAAG,gBAAgB,IAAI,iBAAiB,CAAC;QAC7D,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAE9C,MAAM,WAAW,GAAG,2BAA2B,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;QACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,OAAO,iBAAiB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,iBAAiB;IACjB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAClE,OAAO,SAAS,CAAC;IAEnB,MAAM,cAAc,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,YAAY,GAAG,4BAA4B,CAC/C;QACE,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CACnC,GAAG,CAAC,UAAU,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACjD,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CACjC,GAAG,CAAC,UAAU,CAAC,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC;KACzD,EACD,2BAA2B,CAAC,cAAc,EAAE,GAAG,CAAC,EAChD,UAAU,EACV,IAAI,CACL,CAAC;IACF,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,OAAO,iBAAiB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmB,EACnB,GAAmB,EACO,EAAE;IAC5B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,IACE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;QACrC,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACrD,CAAC;QACD,OAAO,gCAAgC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,MAAM,kBAAkB,GAAG,gCAAgC,CACzD,SAAS,EACT,GAAG,EACH,IAAI,CACL,CAAC;IACF,IAAI,kBAAkB;QAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEpD,MAAM,eAAe,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,eAAe;QAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAE9C,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,SAAS,EACT,GAAG,EACH,IAAI,CACL,CAAC;IACF,IAAI,iBAAiB;QAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAElD,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,IACE,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACtE,CAAC;YACD,OAAO,2BAA2B,CAAC,GAAG,EAAE;gBACtC,CAAC,QAAQ,EAAE,EAAE,CACX,iCAAiC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAC7D,CAAC,QAAQ,EAAE,EAAE,CACX,iCAAiC,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;aAC/D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAmB,EACnB,GAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,mBAAmB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,4BAA4B,CAC7C,2BAA2B,CAAC,YAAY,EAAE,GAAG,CAAC,EAC9C,KAAK,EACL,GAAG,CACJ,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,iBAAiB,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,sBAAsB,CACvC,GAAG,CAAC,UAAU,EACd,2BAA2B,CAAC,WAAW,EAAE,GAAG,CAAC,EAC7C,KAAK,CACN,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,qBAAqB,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,8BAA8B,CAC/C,WAAW,EACX,cAAc,CAAC,YAAY,EAC3B,KAAK,EACL,GAAG,CACJ,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE;gBAChC,UAAU;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EACxD,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,UAAU,GAAG,4BAA4B,CAC7C,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,EAClC,YAAY,EACZ,KAAK,EACL,GAAG,CACJ,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,EAChE,CAAC;QACD,MAAM,cAAc,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAChE,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrE,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,MAAM,YAAY,GAAG,4BAA4B,CAC/C;YACE,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CACnC,GAAG,CAAC,UAAU,CAAC,0BAA0B,CAAC,IAAI,CAAC;YACjD,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CACjC,GAAG,CAAC,UAAU,CAAC,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC;SACzD,EACD,2BAA2B,CAAC,cAAc,EAAE,GAAG,CAAC,EAChD,UAAU,EACV,KAAK,CACN,CAAC;QACF,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,OAAO,iBAAiB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAmB,EACnB,GAAmB,EACO,EAAE;IAC5B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,IACE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;QACrC,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACrD,CAAC;QACD,OAAO,iCAAiC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACnE,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAC1D,CAAC;QACD,OAAO,2BAA2B,CAAC,GAAG,EAAE;YACtC,CAAC,QAAQ,EAAE,EAAE,CAAC,gCAAgC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC;YACxE,CAAC,QAAQ,EAAE,EAAE,CAAC,gCAAgC,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;SAC1E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,MAAM,kBAAkB,GAAG,gCAAgC,CACzD,SAAS,EACT,GAAG,EACH,KAAK,CACN,CAAC;IACF,IAAI,kBAAkB;QAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEpD,MAAM,eAAe,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,eAAe;QAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAE9C,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,SAAS,EACT,GAAG,EACH,KAAK,CACN,CAAC;IACF,IAAI,iBAAiB;QAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAElD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,GAAmB,EACnB,MAAsE,EAC5C,EAAE;IAC5B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,UAAU,GAAG,GAAG,CAAC;IAErB,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACvB,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}

package/dist/ir/converters/reference-type-guards.d.ts

@@ -0,0 +1,8 @@
+import type { IrType } from "../types.js";
+type AssignabilityCollector = {
+    collectNarrowingCandidates(type: IrType): readonly IrType[];
+    isAssignableTo(source: IrType, target: IrType): boolean;
+};
+export declare const narrowTypeByAssignableTarget: (collector: AssignabilityCollector, currentType: IrType | undefined, targetType: IrType, wantAssignable: boolean) => IrType | undefined;
+export {};
+//# sourceMappingURL=reference-type-guards.d.ts.map

package/dist/ir/converters/reference-type-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-guards.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/reference-type-guards.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAI1C,KAAK,sBAAsB,GAAG;IAC5B,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAC5D,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CACzD,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,WAAW,sBAAsB,EACjC,aAAa,MAAM,GAAG,SAAS,EAC/B,YAAY,MAAM,EAClB,gBAAgB,OAAO,KACtB,MAAM,GAAG,SAwDX,CAAC"}

package/dist/ir/converters/reference-type-guards.js

@@ -0,0 +1,51 @@
+import { normalizedUnionType } from "../types/type-ops.js";
+import { collectNarrowingCandidateLeaves } from "./narrowing-candidates.js";
+export const narrowTypeByAssignableTarget = (collector, currentType, targetType, wantAssignable) => {
+    const tryTargetFallback = () => {
+        if (!wantAssignable || !currentType || currentType.kind === "unknownType") {
+            return undefined;
+        }
+        if (collector.isAssignableTo(targetType, currentType)) {
+            return targetType;
+        }
+        const kept = collectNarrowingCandidateLeaves(collector, targetType).filter((candidate) => !!candidate && collector.isAssignableTo(candidate, currentType));
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return normalizedUnionType(kept);
+    };
+    if (!currentType || currentType.kind === "unknownType") {
+        return wantAssignable ? targetType : undefined;
+    }
+    if (currentType.kind === "unionType") {
+        const directMembers = currentType.types.filter((member) => !!member);
+        const directKept = directMembers.filter((member) => {
+            const isMatch = collector.isAssignableTo(member, targetType);
+            return wantAssignable ? isMatch : !isMatch;
+        });
+        if (directKept.length !== directMembers.length) {
+            if (directKept.length === 0) {
+                return undefined;
+            }
+            if (directKept.length === 1) {
+                return directKept[0];
+            }
+            return normalizedUnionType(directKept);
+        }
+    }
+    const candidates = collectNarrowingCandidateLeaves(collector, currentType);
+    const kept = candidates.filter((member) => {
+        if (!member)
+            return false;
+        const isMatch = collector.isAssignableTo(member, targetType);
+        return wantAssignable ? isMatch : !isMatch;
+    });
+    if (kept.length === 0) {
+        return wantAssignable ? tryTargetFallback() : currentType;
+    }
+    if (kept.length === 1)
+        return kept[0];
+    return normalizedUnionType(kept);
+};
+//# sourceMappingURL=reference-type-guards.js.map

package/dist/ir/converters/reference-type-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-guards.js","sourceRoot":"","sources":["../../../src/ir/converters/reference-type-guards.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAO5E,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,SAAiC,EACjC,WAA+B,EAC/B,UAAkB,EAClB,cAAuB,EACH,EAAE;IACtB,MAAM,iBAAiB,GAAG,GAAuB,EAAE;QACjD,IAAI,CAAC,cAAc,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1E,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,SAAS,CAAC,cAAc,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;YACtD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM,IAAI,GAAG,+BAA+B,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,MAAM,CACxE,CAAC,SAAS,EAAuB,EAAE,CACjC,CAAC,CAAC,SAAS,IAAI,SAAS,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,CAClE,CAAC;QAEF,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,CAAC;IAEF,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACvD,OAAO,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACjD,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAC5C,CAAC,MAAM,EAAoB,EAAE,CAAC,CAAC,CAAC,MAAM,CACvC,CAAC;QACF,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;YACjD,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAC7D,OAAO,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,IAAI,UAAU,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;YAC/C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;YACvB,CAAC;YACD,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,+BAA+B,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAoB,EAAE;QAC1D,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC7D,OAAO,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,cAAc,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5D,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC"}

package/dist/ir/converters/reference-type-guards.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=reference-type-guards.test.d.ts.map

package/dist/ir/converters/reference-type-guards.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-guards.test.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/reference-type-guards.test.ts"],"names":[],"mappings":""}

package/dist/ir/converters/reference-type-guards.test.js

@@ -0,0 +1,51 @@
+import { expect } from "chai";
+import { describe, it } from "mocha";
+import { narrowTypeByAssignableTarget } from "./reference-type-guards.js";
+const makeRef = (name) => ({
+    kind: "referenceType",
+    name,
+});
+const makeUnion = (...types) => ({
+    kind: "unionType",
+    types,
+});
+describe("reference-type-guards", () => {
+    it("narrows nominal base-class values directly to instanceof targets", () => {
+        const templateValue = makeRef("TemplateValue");
+        const siteValue = makeRef("SiteValue");
+        const result = narrowTypeByAssignableTarget({
+            collectNarrowingCandidates: () => [],
+            isAssignableTo: (source, target) => {
+                if (source.kind !== "referenceType" ||
+                    target.kind !== "referenceType") {
+                    return false;
+                }
+                return (source.name === target.name ||
+                    (source.name === "SiteValue" && target.name === "TemplateValue"));
+            },
+        }, templateValue, siteValue, true);
+        expect(result).to.deep.equal(siteValue);
+    });
+    it("reuses expanded target leaves when nominal base-class narrowing flows through aliases", () => {
+        const templateValue = makeRef("TemplateValue");
+        const wrapperAlias = makeRef("WrapperValue");
+        const pageValue = makeRef("PageValue");
+        const siteValue = makeRef("SiteValue");
+        const result = narrowTypeByAssignableTarget({
+            collectNarrowingCandidates: (type) => type.kind === "referenceType" && type.name === "WrapperValue"
+                ? [pageValue, siteValue]
+                : [],
+            isAssignableTo: (source, target) => {
+                if (source.kind !== "referenceType" ||
+                    target.kind !== "referenceType") {
+                    return false;
+                }
+                return (source.name === target.name ||
+                    ((source.name === "PageValue" || source.name === "SiteValue") &&
+                        target.name === "TemplateValue"));
+            },
+        }, templateValue, wrapperAlias, true);
+        expect(result).to.deep.equal(makeUnion(pageValue, siteValue));
+    });
+});
+//# sourceMappingURL=reference-type-guards.test.js.map

package/dist/ir/converters/reference-type-guards.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-guards.test.js","sourceRoot":"","sources":["../../../src/ir/converters/reference-type-guards.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AAErC,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;IACzC,IAAI,EAAE,eAAe;IACrB,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAAC,GAAG,KAAe,EAAU,EAAE,CAAC,CAAC;IACjD,IAAI,EAAE,WAAW;IACjB,KAAK;CACN,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QAEvC,MAAM,MAAM,GAAG,4BAA4B,CACzC;YACE,0BAA0B,EAAE,GAAG,EAAE,CAAC,EAAE;YACpC,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;gBACjC,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;oBAC/B,MAAM,CAAC,IAAI,KAAK,eAAe,EAC/B,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;oBAC3B,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,CACjE,CAAC;YACJ,CAAC;SACF,EACD,aAAa,EACb,SAAS,EACT,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QAEvC,MAAM,MAAM,GAAG,4BAA4B,CACzC;YACE,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;gBAC3D,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC;gBACxB,CAAC,CAAC,EAAE;YACR,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;gBACjC,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;oBAC/B,MAAM,CAAC,IAAI,KAAK,eAAe,EAC/B,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;oBAC3B,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;wBAC3D,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC,CACnC,CAAC;YACJ,CAAC;SACF,EACD,aAAa,EACb,YAAY,EACZ,IAAI,CACL,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/converters/return-expression-types.d.ts

@@ -0,0 +1,3 @@
+import type { IrType } from "../types.js";
+export declare const getReturnExpressionExpectedType: (declaredReturnType: IrType | undefined, isAsync: boolean) => IrType | undefined;
+//# sourceMappingURL=return-expression-types.d.ts.map

package/dist/ir/converters/return-expression-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"return-expression-types.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/return-expression-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,eAAO,MAAM,+BAA+B,GAC1C,oBAAoB,MAAM,GAAG,SAAS,EACtC,SAAS,OAAO,KACf,MAAM,GAAG,SAQX,CAAC"}

package/dist/ir/converters/return-expression-types.js

@@ -0,0 +1,10 @@
+import { getAwaitedIrType } from "../types/type-ops.js";
+export const getReturnExpressionExpectedType = (declaredReturnType, isAsync) => {
+    if (!declaredReturnType) {
+        return undefined;
+    }
+    return isAsync
+        ? (getAwaitedIrType(declaredReturnType) ?? declaredReturnType)
+        : declaredReturnType;
+};
+//# sourceMappingURL=return-expression-types.js.map

package/dist/ir/converters/return-expression-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"return-expression-types.js","sourceRoot":"","sources":["../../../src/ir/converters/return-expression-types.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExD,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,kBAAsC,EACtC,OAAgB,EACI,EAAE;IACtB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,OAAO;QACZ,CAAC,CAAC,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,IAAI,kBAAkB,CAAC;QAC9D,CAAC,CAAC,kBAAkB,CAAC;AACzB,CAAC,CAAC"}

package/dist/ir/converters/statements/control/blocks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/blocks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,gBAAgB,EAChB,MAAM,EAEP,MAAM,mBAAmB,CAAC;AAK3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAoClE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,KAAK,EACd,KAAK,cAAc,EACnB,oBAAoB,MAAM,GAAG,SAAS,KACrC,gBA0DF,CAAC"}
+{"version":3,"file":"blocks.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/blocks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,gBAAgB,EAChB,MAAM,EAEP,MAAM,mBAAmB,CAAC;AAK3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AA2GlE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,KAAK,EACd,KAAK,cAAc,EACnB,oBAAoB,MAAM,GAAG,SAAS,KACrC,gBAoHF,CAAC"}

package/dist/ir/converters/statements/control/blocks.js

@@ -6,12 +6,51 @@
 import * as ts from "typescript";
 import { convertStatement, flattenStatementResult, } from "../../../statement-converter.js";
 import { withVariableTypeEnv } from "../../type-env.js";
-import { collectTypeNarrowingsInFalsyExpr, collectTypeNarrowingsInTruthyExpr, withAppliedNarrowings, } from "../../flow-narrowing.js";
+import { collectTypeNarrowingsInFalsyExpr, collectTypeNarrowingsInTruthyExpr, withAppliedNarrowings, withAssignedAccessPathType, } from "../../flow-narrowing.js";
+import { getAccessPathTarget, getCurrentTypeForAccessExpression, } from "../../access-paths.js";
+import { getReadableMemberTypeForNarrowing } from "../../narrowing-property-helpers.js";
+const tryResolveReadableAssignedAccessType = (expr, ctx) => {
+    if (ts.isPropertyAccessExpression(expr) || ts.isPropertyAccessChain(expr)) {
+        const receiverType = getCurrentTypeForAccessExpression(expr.expression, ctx);
+        if (!receiverType) {
+            return undefined;
+        }
+        return getReadableMemberTypeForNarrowing(receiverType, expr.name.text, ctx);
+    }
+    if (ts.isElementAccessExpression(expr) || ts.isElementAccessChain(expr)) {
+        const propertyExpr = expr.argumentExpression;
+        if (!propertyExpr ||
+            (!ts.isStringLiteral(propertyExpr) &&
+                !ts.isNoSubstitutionTemplateLiteral(propertyExpr))) {
+            return undefined;
+        }
+        const receiverType = getCurrentTypeForAccessExpression(expr.expression, ctx);
+        if (!receiverType) {
+            return undefined;
+        }
+        return getReadableMemberTypeForNarrowing(receiverType, propertyExpr.text, ctx);
+    }
+    return undefined;
+};
+const resolveAssignedAccessPathFlowType = (expr, assignedType, ctx) => {
+    const readableType = tryResolveReadableAssignedAccessType(expr, ctx);
+    if (!readableType) {
+        return assignedType;
+    }
+    if (!assignedType) {
+        return readableType;
+    }
+    return ctx.typeSystem.isAssignableTo(assignedType, readableType)
+        ? assignedType
+        : readableType;
+};
 const statementAlwaysTerminates = (stmt) => {
     switch (stmt.kind) {
         case "returnStatement":
         case "throwStatement":
         case "generatorReturnStatement":
+        case "breakStatement":
+        case "continueStatement":
             return true;
         case "blockStatement":
             return stmt.statements.some((inner) => statementAlwaysTerminates(inner));
@@ -43,7 +82,11 @@ const statementAlwaysTerminates = (stmt) => {
 export const convertBlockStatement = (node, ctx, expectedReturnType) => {
     let currentCtx = ctx;
     const statements = [];
-    for (const s of node.statements) {
+    for (let index = 0; index < node.statements.length; index++) {
+        const s = node.statements[index];
+        if (!s) {
+            continue;
+        }
         const converted = convertStatement(s, currentCtx, expectedReturnType);
         statements.push(...flattenStatementResult(converted));
         // Variable declarations introduce new bindings. Thread their inferred types forward
@@ -57,7 +100,36 @@ export const convertBlockStatement = (node, ctx, expectedReturnType) => {
             const varDecl = single;
             currentCtx = withVariableTypeEnv(currentCtx, s.declarationList.declarations, varDecl);
         }
-        if (ts.isIfStatement(s) && converted !== null && !Array.isArray(converted)) {
+        if (ts.isExpressionStatement(s) &&
+            converted !== null &&
+            !Array.isArray(converted)) {
+            const single = converted;
+            if (single.kind !== "expressionStatement") {
+                continue;
+            }
+            const expr = s.expression;
+            if (ts.isBinaryExpression(expr) &&
+                expr.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+                single.expression.kind === "assignment") {
+                const target = getAccessPathTarget(expr.left, currentCtx);
+                if (target) {
+                    currentCtx = withAssignedAccessPathType(currentCtx, target, resolveAssignedAccessPathFlowType(expr.left, single.expression.right.inferredType, currentCtx));
+                }
+                continue;
+            }
+            if ((ts.isPrefixUnaryExpression(expr) ||
+                ts.isPostfixUnaryExpression(expr)) &&
+                (expr.operator === ts.SyntaxKind.PlusPlusToken ||
+                    expr.operator === ts.SyntaxKind.MinusMinusToken)) {
+                const target = getAccessPathTarget(expr.operand, currentCtx);
+                if (target) {
+                    currentCtx = withAssignedAccessPathType(currentCtx, target, single.expression.inferredType);
+                }
+            }
+        }
+        if (ts.isIfStatement(s) &&
+            converted !== null &&
+            !Array.isArray(converted)) {
             const singleStatement = converted;
             const ifStatement = singleStatement.kind === "ifStatement" ? singleStatement : undefined;
             if (!ifStatement) {