@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/narrowing-resolvers-typeof.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Typeof narrowing resolvers.
+ *
+ * Type-level narrowing helpers for typeof checks and shared utilities
+ * (unwrapExpr, getStringLiteralText, equality/inequality operators,
+ * makeTypeNarrowing, extractArrayIsArrayTarget, extractIdentifierPropertyAccess,
+ * tryResolveCallPredicateNarrowing).
+ */
+import * as ts from "typescript";
+import type { ProgramContext } from "../program-context.js";
+import type { IrType } from "../types.js";
+import type { DeclId } from "../type-system/index.js";
+import { type AccessPathTarget } from "./access-paths.js";
+export type BoundDecl = DeclId;
+export type TypeNarrowing = {
+    readonly kind: "decl";
+    readonly declId: number;
+    readonly targetType: IrType;
+} | {
+    readonly kind: "accessPath";
+    readonly key: string;
+    readonly targetType: IrType;
+};
+export declare const unwrapExpr: (expr: ts.Expression) => ts.Expression;
+export declare const getStringLiteralText: (expr: ts.Expression) => string | undefined;
+export declare const isEqualityOperator: (kind: ts.SyntaxKind) => boolean;
+export declare const isInequalityOperator: (kind: ts.SyntaxKind) => boolean;
+export declare const makeTypeNarrowing: (target: AccessPathTarget, targetType: IrType) => TypeNarrowing;
+export declare const extractArrayIsArrayTarget: (expr: ts.Expression, ctx: ProgramContext) => AccessPathTarget | undefined;
+export declare const tryResolveCallPredicateNarrowing: (expr: ts.Expression, ctx: ProgramContext, whenTruthy: boolean) => TypeNarrowing | undefined;
+export declare const extractIdentifierPropertyAccess: (value: ts.Expression, ctx: ProgramContext) => {
+    declId: BoundDecl;
+    propertyName: string;
+} | undefined;
+export declare const genericTypeofTarget: (tag: string) => IrType | undefined;
+export declare const matchesResolvedTypeofTag: (type: IrType, tag: string) => boolean;
+export declare const filterTypeByResolvedCandidates: (currentType: IrType, predicate: (candidate: IrType) => boolean, ctx: ProgramContext) => IrType | undefined;
+export declare const narrowTypeByTypeofTag: (currentType: IrType | undefined, tag: string, ctx: ProgramContext) => IrType | undefined;
+export declare const narrowTypeByNotTypeofTag: (currentType: IrType | undefined, tag: string, ctx: ProgramContext) => IrType | undefined;
+export declare const tryResolveTypeofNarrowing: (expr: ts.Expression, ctx: ProgramContext, whenTruthy: boolean) => TypeNarrowing | undefined;
+//# sourceMappingURL=narrowing-resolvers-typeof.d.ts.map

package/dist/ir/converters/narrowing-resolvers-typeof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-resolvers-typeof.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-resolvers-typeof.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAItD,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAE3B,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEN,eAAO,MAAM,UAAU,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,EAAE,CAAC,UAMnD,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,UAAU,KAClB,MAAM,GAAG,SASX,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,OAEf,CAAC;AAE3C,eAAO,MAAM,oBAAoB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,OAEZ,CAAC;AAmBhD,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,gBAAgB,EACxB,YAAY,MAAM,KACjB,aAGoE,CAAC;AAExE,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,KAClB,gBAAgB,GAAG,SAkBrB,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,EACnB,YAAY,OAAO,KAClB,aAAa,GAAG,SAmDlB,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,OAAO,EAAE,CAAC,UAAU,EACpB,KAAK,cAAc,KAClB;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GAAG,SA+BhD,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAAI,KAAK,MAAM,KAAG,MAAM,GAAG,SAe1D,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,EACZ,KAAK,MAAM,KACV,OAsDF,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,aAAa,MAAM,EACnB,WAAW,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,EACzC,KAAK,cAAc,KAClB,MAAM,GAAG,SAWX,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,KAAK,cAAc,KAClB,MAAM,GAAG,SASX,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,KAAK,cAAc,KAClB,MAAM,GAAG,SAQX,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,EACnB,YAAY,OAAO,KAClB,aAAa,GAAG,SAyClB,CAAC"}

package/dist/ir/converters/narrowing-resolvers-typeof.js

@@ -0,0 +1,251 @@
+/**
+ * Typeof narrowing resolvers.
+ *
+ * Type-level narrowing helpers for typeof checks and shared utilities
+ * (unwrapExpr, getStringLiteralText, equality/inequality operators,
+ * makeTypeNarrowing, extractArrayIsArrayTarget, extractIdentifierPropertyAccess,
+ * tryResolveCallPredicateNarrowing).
+ */
+import * as ts from "typescript";
+import { normalizedUnionType } from "../types/type-ops.js";
+import { narrowTypeByAssignableTarget } from "./reference-type-guards.js";
+import { collectNarrowingCandidateLeaves } from "./narrowing-candidates.js";
+import { getAccessPathKey, getAccessPathTarget, getCurrentTypeForAccessPath, } from "./access-paths.js";
+export const unwrapExpr = (expr) => {
+    let current = expr;
+    while (ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+};
+export const getStringLiteralText = (expr) => {
+    const unwrapped = unwrapExpr(expr);
+    if (ts.isStringLiteral(unwrapped) ||
+        ts.isNoSubstitutionTemplateLiteral(unwrapped)) {
+        return unwrapped.text;
+    }
+    return undefined;
+};
+export const isEqualityOperator = (kind) => kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+    kind === ts.SyntaxKind.EqualsEqualsToken;
+export const isInequalityOperator = (kind) => kind === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+    kind === ts.SyntaxKind.ExclamationEqualsToken;
+const isArrayNamespaceExpression = (expr) => {
+    const unwrapped = unwrapExpr(expr);
+    if (ts.isIdentifier(unwrapped)) {
+        return unwrapped.text === "Array";
+    }
+    if (ts.isPropertyAccessExpression(unwrapped)) {
+        return (ts.isIdentifier(unwrapped.expression) &&
+            unwrapped.expression.text === "globalThis" &&
+            unwrapped.name.text === "Array");
+    }
+    return false;
+};
+export const makeTypeNarrowing = (target, targetType) => target.kind === "decl" && target.segments.length === 0
+    ? { kind: "decl", declId: target.declId.id, targetType }
+    : { kind: "accessPath", key: getAccessPathKey(target), targetType };
+export const extractArrayIsArrayTarget = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    if (!ts.isCallExpression(unwrapped) || unwrapped.arguments.length !== 1) {
+        return undefined;
+    }
+    const callee = unwrapExpr(unwrapped.expression);
+    if (!ts.isPropertyAccessExpression(callee) ||
+        callee.name.text !== "isArray" ||
+        !isArrayNamespaceExpression(callee.expression)) {
+        return undefined;
+    }
+    const [rawValue] = unwrapped.arguments;
+    if (!rawValue)
+        return undefined;
+    return getAccessPathTarget(rawValue, ctx);
+};
+export const tryResolveCallPredicateNarrowing = (expr, ctx, whenTruthy) => {
+    const unwrapped = unwrapExpr(expr);
+    if (!ts.isCallExpression(unwrapped)) {
+        return undefined;
+    }
+    const sigId = ctx.binding.resolveCallSignature(unwrapped);
+    if (!sigId) {
+        return undefined;
+    }
+    const predicate = ctx.binding.getTypePredicateOfSignature(sigId);
+    if (!predicate || predicate.kind !== "typePredicate") {
+        return undefined;
+    }
+    const rawArg = unwrapped.arguments[predicate.parameterIndex];
+    if (!rawArg) {
+        return undefined;
+    }
+    const narrowedTarget = getAccessPathTarget(rawArg, ctx);
+    if (!narrowedTarget) {
+        return undefined;
+    }
+    const targetType = predicate.typeNode
+        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(predicate.typeNode))
+        : undefined;
+    if (!targetType) {
+        return undefined;
+    }
+    if (whenTruthy) {
+        return makeTypeNarrowing(narrowedTarget, targetType);
+    }
+    const currentType = getCurrentTypeForAccessPath(narrowedTarget, ctx);
+    const narrowedType = narrowTypeByAssignableTarget(ctx.typeSystem, currentType, targetType, false);
+    if (!narrowedType) {
+        return undefined;
+    }
+    return makeTypeNarrowing(narrowedTarget, narrowedType);
+};
+export const extractIdentifierPropertyAccess = (value, ctx) => {
+    const candidate = unwrapExpr(value);
+    if (ts.isPropertyAccessExpression(candidate) ||
+        ts.isPropertyAccessChain(candidate)) {
+        const object = unwrapExpr(candidate.expression);
+        if (!ts.isIdentifier(object))
+            return undefined;
+        const declId = ctx.binding.resolveIdentifier(object);
+        if (!declId)
+            return undefined;
+        return { declId, propertyName: candidate.name.text };
+    }
+    if (ts.isElementAccessExpression(candidate) ||
+        ts.isElementAccessChain(candidate)) {
+        const object = unwrapExpr(candidate.expression);
+        const argument = candidate.argumentExpression
+            ? unwrapExpr(candidate.argumentExpression)
+            : undefined;
+        if (!ts.isIdentifier(object) || !argument)
+            return undefined;
+        const propertyName = getStringLiteralText(argument);
+        if (!propertyName)
+            return undefined;
+        const declId = ctx.binding.resolveIdentifier(object);
+        if (!declId)
+            return undefined;
+        return { declId, propertyName };
+    }
+    return undefined;
+};
+export const genericTypeofTarget = (tag) => {
+    switch (tag) {
+        case "string":
+            return { kind: "primitiveType", name: "string" };
+        case "number":
+            return { kind: "primitiveType", name: "number" };
+        case "boolean":
+            return { kind: "primitiveType", name: "boolean" };
+        case "undefined":
+            return { kind: "primitiveType", name: "undefined" };
+        case "object":
+            return { kind: "referenceType", name: "object" };
+        default:
+            return undefined;
+    }
+};
+export const matchesResolvedTypeofTag = (type, tag) => {
+    if (type.kind === "literalType") {
+        switch (tag) {
+            case "string":
+                return typeof type.value === "string";
+            case "number":
+                return typeof type.value === "number";
+            case "boolean":
+                return typeof type.value === "boolean";
+            case "object":
+                return type.value === null;
+            default:
+                return false;
+        }
+    }
+    if (type.kind === "functionType") {
+        return tag === "function";
+    }
+    if (type.kind === "arrayType" || type.kind === "tupleType") {
+        return tag === "object";
+    }
+    if (type.kind === "objectType" || type.kind === "dictionaryType") {
+        return tag === "object";
+    }
+    if (type.kind === "referenceType") {
+        if (tag === "function") {
+            return false;
+        }
+        if (tag === "object") {
+            return type.name !== "Function";
+        }
+        return false;
+    }
+    if (type.kind !== "primitiveType")
+        return false;
+    switch (tag) {
+        case "string":
+            return type.name === "string";
+        case "number":
+            return type.name === "number" || type.name === "int";
+        case "boolean":
+            return type.name === "boolean";
+        case "undefined":
+            return type.name === "undefined";
+        default:
+            return false;
+    }
+};
+export const filterTypeByResolvedCandidates = (currentType, predicate, ctx) => {
+    const kept = collectNarrowingCandidateLeaves(ctx.typeSystem, currentType).filter((candidate) => !!candidate && predicate(candidate));
+    if (kept.length === 0)
+        return undefined;
+    if (kept.length === 1)
+        return kept[0];
+    return normalizedUnionType(kept);
+};
+export const narrowTypeByTypeofTag = (currentType, tag, ctx) => {
+    if (!currentType)
+        return genericTypeofTarget(tag);
+    const filtered = filterTypeByResolvedCandidates(currentType, (candidate) => matchesResolvedTypeofTag(candidate, tag), ctx);
+    return filtered ?? genericTypeofTarget(tag);
+};
+export const narrowTypeByNotTypeofTag = (currentType, tag, ctx) => {
+    if (!currentType)
+        return undefined;
+    return filterTypeByResolvedCandidates(currentType, (candidate) => !matchesResolvedTypeofTag(candidate, tag), ctx);
+};
+export const tryResolveTypeofNarrowing = (expr, ctx, whenTruthy) => {
+    const unwrapped = unwrapExpr(expr);
+    if (!ts.isBinaryExpression(unwrapped))
+        return undefined;
+    const operator = unwrapped.operatorToken.kind;
+    const isEquality = isEqualityOperator(operator);
+    const isInequality = isInequalityOperator(operator);
+    if (!isEquality && !isInequality)
+        return undefined;
+    const left = unwrapExpr(unwrapped.left);
+    const right = unwrapExpr(unwrapped.right);
+    const leftLiteral = getStringLiteralText(left);
+    const rightLiteral = getStringLiteralText(right);
+    const extractTypeofTarget = (candidate) => {
+        if (!ts.isTypeOfExpression(candidate))
+            return undefined;
+        return getAccessPathTarget(candidate.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 wantTypeofTag = whenTruthy ? isEquality : isInequality;
+    const currentType = getCurrentTypeForAccessPath(narrowedTarget, ctx);
+    const targetType = wantTypeofTag
+        ? narrowTypeByTypeofTag(currentType, tag, ctx)
+        : narrowTypeByNotTypeofTag(currentType, tag, ctx);
+    if (!targetType)
+        return undefined;
+    return makeTypeNarrowing(narrowedTarget, targetType);
+};
+//# sourceMappingURL=narrowing-resolvers-typeof.js.map

package/dist/ir/converters/narrowing-resolvers-typeof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-resolvers-typeof.js","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-resolvers-typeof.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,2BAA2B,GAE5B,MAAM,mBAAmB,CAAC;AAgB3B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC/D,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAmB,EACC,EAAE;IACtB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IACE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAC7B,EAAE,CAAC,+BAA+B,CAAC,SAAS,CAAC,EAC7C,CAAC;QACD,OAAO,SAAS,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAmB,EAAW,EAAE,CACjE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;IAC9C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;AAE3C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAW,EAAE,CACnE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;IACnD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;AAEhD,MAAM,0BAA0B,GAAG,CAAC,IAAmB,EAAW,EAAE;IAClE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC;IACpC,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;YACrC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;YAC1C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAChC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAwB,EACxB,UAAkB,EACH,EAAE,CACjB,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;IACpD,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE;IACxD,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC;AAExE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAmB,EACnB,GAAmB,EACW,EAAE;IAChC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAChD,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC;IACvC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,OAAO,mBAAmB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAmB,EACnB,GAAmB,EACnB,UAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAC;IACjE,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ;QACnC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAClD;QACH,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,iBAAiB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,WAAW,GAAG,2BAA2B,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,4BAA4B,CAC/C,GAAG,CAAC,UAAU,EACd,WAAW,EACX,UAAU,EACV,KAAK,CACN,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,iBAAiB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,KAAoB,EACpB,GAAmB,EACsC,EAAE;IAC3D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAEpC,IACE,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC;QACxC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EACnC,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;IAED,IACE,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC;QACvC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAClC,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,SAAS,CAAC,kBAAkB;YAC3C,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC;YAC1C,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC5D,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QACpC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAClC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IACrE,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAY,EACZ,GAAW,EACF,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC;YACxC,KAAK,QAAQ;gBACX,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC;YACxC,KAAK,SAAS;gBACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC;YACzC,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;YAC7B;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,GAAG,KAAK,UAAU,CAAC;IAC5B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3D,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACjE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;QAClC,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC;IAEhD,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QACvD,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QACjC,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;QACnC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,WAAmB,EACnB,SAAyC,EACzC,GAAmB,EACC,EAAE;IACtB,MAAM,IAAI,GAAG,+BAA+B,CAC1C,GAAG,CAAC,UAAU,EACd,WAAW,CACZ,CAAC,MAAM,CACN,CAAC,SAAS,EAAuB,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,SAAS,CAAC,SAAS,CAAC,CACxE,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,WAA+B,EAC/B,GAAW,EACX,GAAmB,EACC,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElD,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,WAAW,EACX,CAAC,SAAS,EAAE,EAAE,CAAC,wBAAwB,CAAC,SAAS,EAAE,GAAG,CAAC,EACvD,GAAG,CACJ,CAAC;IACF,OAAO,QAAQ,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,WAA+B,EAC/B,GAAW,EACX,GAAmB,EACC,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO,8BAA8B,CACnC,WAAW,EACX,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,GAAG,CAAC,EACxD,GAAG,CACJ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAmB,EACnB,GAAmB,EACnB,UAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,QAAQ,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;IAC9C,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAEjD,MAAM,mBAAmB,GAAG,CAC1B,SAAwB,EACM,EAAE;QAChC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QACxD,OAAO,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAErD,MAAM,GAAG,GACP,gBAAgB,IAAI,YAAY;QAC9B,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,iBAAiB,IAAI,WAAW;YAChC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,cAAc,GAAG,gBAAgB,IAAI,iBAAiB,CAAC;IAC7D,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,aAAa,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;IAC7D,MAAM,WAAW,GAAG,2BAA2B,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,aAAa;QAC9B,CAAC,CAAC,qBAAqB,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC;QAC9C,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,OAAO,iBAAiB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;AACvD,CAAC,CAAC"}

package/dist/ir/converters/narrowing-resolvers.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Flow narrowing resolvers (facade).
+ *
+ * Sub-modules:
+ * - narrowing-resolvers-typeof.ts    : typeof, shared utilities, call-predicate narrowing
+ * - narrowing-resolvers-equality.ts  : equality-literal, instanceof narrowing
+ */
+export type { BoundDecl, TypeNarrowing } from "./narrowing-resolvers-typeof.js";
+export { unwrapExpr, getStringLiteralText, isEqualityOperator, isInequalityOperator, makeTypeNarrowing, extractArrayIsArrayTarget, tryResolveCallPredicateNarrowing, extractIdentifierPropertyAccess, genericTypeofTarget, matchesResolvedTypeofTag, filterTypeByResolvedCandidates, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, tryResolveTypeofNarrowing, } from "./narrowing-resolvers-typeof.js";
+export type { EqualityLiteralTarget } from "./narrowing-resolvers-equality.js";
+export { tryResolveEqualityLiteralTarget, candidateMatchesEqualityLiteral, narrowTypeByEqualityLiteral, tryResolveEqualityLiteralNarrowing, resolveInstanceofTargetType, } from "./narrowing-resolvers-equality.js";
+//# sourceMappingURL=narrowing-resolvers.d.ts.map

package/dist/ir/converters/narrowing-resolvers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-resolvers.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-resolvers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,EACjB,yBAAyB,EACzB,gCAAgC,EAChC,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,qBAAqB,EACrB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAE/E,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,EAC/B,2BAA2B,EAC3B,kCAAkC,EAClC,2BAA2B,GAC5B,MAAM,mCAAmC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Flow narrowing resolvers (facade).
+ *
+ * Sub-modules:
+ * - narrowing-resolvers-typeof.ts    : typeof, shared utilities, call-predicate narrowing
+ * - narrowing-resolvers-equality.ts  : equality-literal, instanceof narrowing
+ */
+export { unwrapExpr, getStringLiteralText, isEqualityOperator, isInequalityOperator, makeTypeNarrowing, extractArrayIsArrayTarget, tryResolveCallPredicateNarrowing, extractIdentifierPropertyAccess, genericTypeofTarget, matchesResolvedTypeofTag, filterTypeByResolvedCandidates, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, tryResolveTypeofNarrowing, } from "./narrowing-resolvers-typeof.js";
+export { tryResolveEqualityLiteralTarget, candidateMatchesEqualityLiteral, narrowTypeByEqualityLiteral, tryResolveEqualityLiteralNarrowing, resolveInstanceofTargetType, } from "./narrowing-resolvers-equality.js";
+//# sourceMappingURL=narrowing-resolvers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-resolvers.js","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-resolvers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,EACjB,yBAAyB,EACzB,gCAAgC,EAChC,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,qBAAqB,EACrB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAIzC,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,EAC/B,2BAA2B,EAC3B,kCAAkC,EAClC,2BAA2B,GAC5B,MAAM,mCAAmC,CAAC"}

package/dist/ir/converters/narrowing-truthy.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Truthy/falsy narrowing resolution and sequential narrowing collection.
+ *
+ * Contains tryResolveTruthyNarrowing, tryResolveFalsyNarrowing,
+ * collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr,
+ * and collectSequentialNarrowings.
+ */
+import * as ts from "typescript";
+import type { ProgramContext } from "../program-context.js";
+import { type TypeNarrowing } from "./narrowing-resolvers.js";
+/**
+ * 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 declare const collectTypeNarrowingsInTruthyExpr: (expr: ts.Expression, ctx: ProgramContext) => readonly TypeNarrowing[];
+export declare const collectTypeNarrowingsInFalsyExpr: (expr: ts.Expression, ctx: ProgramContext) => readonly TypeNarrowing[];
+//# sourceMappingURL=narrowing-truthy.d.ts.map

package/dist/ir/converters/narrowing-truthy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-truthy.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-truthy.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAW5D,OAAO,EACL,KAAK,aAAa,EAWnB,MAAM,0BAA0B,CAAC;AAgSlC;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,KAClB,SAAS,aAAa,EA4CxB,CAAC;AAoGF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,KAClB,SAAS,aAAa,EAyCxB,CAAC"}