@tsonic/frontend 0.0.71 → 0.0.73

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

@@ -26,6 +26,34 @@ const getStringLiteralText = (expr) => {
     }
     return undefined;
 };
+const extractIdentifierPropertyAccess = (value, ctx) => {
+    const candidate = unwrapExpr(value);
+    if (ts.isPropertyAccessExpression(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)) {
+        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;
+};
 const genericTypeofTarget = (tag) => {
     switch (tag) {
         case "string":
@@ -86,6 +114,103 @@ const narrowTypeByTypeofTag = (currentType, tag) => {
 };
 const tryResolveTruthyNarrowing = (expr, ctx) => {
     const unwrapped = unwrapExpr(expr);
+    const getCurrentType = (declId) => ctx.typeEnv?.get(declId.id) ?? ctx.typeSystem.typeOfDecl(declId);
+    const getMemberTypeForNarrowing = (type, propertyName) => {
+        if (type.kind === "objectType") {
+            const member = type.members.find((candidate) => candidate.kind === "propertySignature" &&
+                candidate.name === propertyName);
+            return member && member.kind === "propertySignature"
+                ? member.type
+                : undefined;
+        }
+        if (type.kind === "referenceType" &&
+            type.structuralMembers &&
+            type.structuralMembers.length > 0) {
+            const member = type.structuralMembers.find((candidate) => candidate.kind === "propertySignature" &&
+                candidate.name === propertyName);
+            return member && member.kind === "propertySignature"
+                ? member.type
+                : undefined;
+        }
+        const memberType = ctx.typeSystem.typeOfMember(type, {
+            kind: "byName",
+            name: propertyName,
+        });
+        return memberType.kind === "unknownType" ? undefined : memberType;
+    };
+    const propertyTypeIsDefinitelyTruthy = (type) => {
+        if (!type)
+            return false;
+        if (type.kind === "literalType") {
+            return type.value === true;
+        }
+        return false;
+    };
+    const propertyTypeIsDefinitelyFalsy = (type) => {
+        if (!type)
+            return false;
+        if (type.kind === "literalType") {
+            return type.value === false;
+        }
+        if (type.kind === "primitiveType") {
+            return type.name === "undefined" || type.name === "null";
+        }
+        return false;
+    };
+    const collectPropertyNarrowingCandidates = (currentType) => {
+        const expanded = ctx.typeSystem.collectNarrowingCandidates(currentType);
+        return expanded.length > 0 ? expanded : [currentType];
+    };
+    const narrowTypeByPropertyTruthiness = (currentType, propertyName, wantTruthy) => {
+        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
+            if (!member)
+                return false;
+            const memberType = getMemberTypeForNarrowing(member, propertyName);
+            return wantTruthy
+                ? propertyTypeIsDefinitelyTruthy(memberType)
+                : propertyTypeIsDefinitelyFalsy(memberType);
+        });
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return { kind: "unionType", types: kept };
+    };
+    const narrowTypeByPropertyPresence = (currentType, propertyName, wantPresent) => {
+        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
+            if (!member)
+                return false;
+            const hasMember = getMemberTypeForNarrowing(member, propertyName) !== undefined;
+            return hasMember === wantPresent;
+        });
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return { kind: "unionType", types: kept };
+    };
+    const propertyAccess = extractIdentifierPropertyAccess(unwrapped, ctx);
+    if (propertyAccess) {
+        const currentType = getCurrentType(propertyAccess.declId);
+        const targetType = narrowTypeByPropertyTruthiness(currentType, propertyAccess.propertyName, true);
+        if (targetType) {
+            return { 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(getCurrentType(declId), propertyName, true);
+                if (targetType) {
+                    return { declId: declId.id, targetType };
+                }
+            }
+        }
+    }
     // istype<T>(x)
     if (ts.isCallExpression(unwrapped) &&
         ts.isIdentifier(unwrapped.expression) &&
@@ -172,6 +297,10 @@ const tryResolveTruthyNarrowing = (expr, ctx) => {
  */
 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];
@@ -185,6 +314,100 @@ export const collectTypeNarrowingsInTruthyExpr = (expr, ctx) => {
     }
     return [];
 };
+const tryResolveFalsyNarrowing = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    if (ts.isPrefixUnaryExpression(unwrapped) &&
+        unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
+        const truthy = collectTypeNarrowingsInTruthyExpr(unwrapped.operand, ctx);
+        return truthy[0];
+    }
+    const getCurrentType = (declId) => ctx.typeEnv?.get(declId.id) ?? ctx.typeSystem.typeOfDecl(declId);
+    const getMemberTypeForNarrowing = (type, propertyName) => {
+        if (type.kind === "objectType") {
+            const member = type.members.find((candidate) => candidate.kind === "propertySignature" &&
+                candidate.name === propertyName);
+            return member && member.kind === "propertySignature"
+                ? member.type
+                : undefined;
+        }
+        if (type.kind === "referenceType" &&
+            type.structuralMembers &&
+            type.structuralMembers.length > 0) {
+            const member = type.structuralMembers.find((candidate) => candidate.kind === "propertySignature" &&
+                candidate.name === propertyName);
+            return member && member.kind === "propertySignature"
+                ? member.type
+                : undefined;
+        }
+        const memberType = ctx.typeSystem.typeOfMember(type, {
+            kind: "byName",
+            name: propertyName,
+        });
+        return memberType.kind === "unknownType" ? undefined : memberType;
+    };
+    const collectPropertyNarrowingCandidates = (currentType) => {
+        const expanded = ctx.typeSystem.collectNarrowingCandidates(currentType);
+        return expanded.length > 0 ? expanded : [currentType];
+    };
+    const narrowTypeByPropertyTruthiness = (currentType, propertyName, wantTruthy) => {
+        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
+            if (!member)
+                return false;
+            const memberType = getMemberTypeForNarrowing(member, propertyName);
+            if (!memberType || memberType.kind !== "literalType")
+                return false;
+            return wantTruthy ? memberType.value === true : memberType.value === false;
+        });
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return { kind: "unionType", types: kept };
+    };
+    const narrowTypeByPropertyPresence = (currentType, propertyName, wantPresent) => {
+        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
+            if (!member)
+                return false;
+            const hasMember = getMemberTypeForNarrowing(member, propertyName) !== undefined;
+            return hasMember === wantPresent;
+        });
+        if (kept.length === 0)
+            return undefined;
+        if (kept.length === 1)
+            return kept[0];
+        return { kind: "unionType", types: kept };
+    };
+    const propertyAccess = extractIdentifierPropertyAccess(unwrapped, ctx);
+    if (propertyAccess) {
+        const currentType = getCurrentType(propertyAccess.declId);
+        const targetType = narrowTypeByPropertyTruthiness(currentType, propertyAccess.propertyName, false);
+        if (targetType) {
+            return { 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(getCurrentType(declId), propertyName, false);
+                if (targetType) {
+                    return { declId: declId.id, targetType };
+                }
+            }
+        }
+    }
+    return undefined;
+};
+export const collectTypeNarrowingsInFalsyExpr = (expr, ctx) => {
+    const unwrapped = unwrapExpr(expr);
+    const direct = tryResolveFalsyNarrowing(unwrapped, ctx);
+    if (direct)
+        return [direct];
+    return [];
+};
 export const withAppliedNarrowings = (ctx, narrowings) => {
     if (narrowings.length === 0)
         return ctx;

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

@@ -1 +1 @@
-{"version":3,"file":"flow-narrowing.js","sourceRoot":"","sources":["../../../src/ir/converters/flow-narrowing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAiB,EAAE;IACxD,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,oBAAoB,GAAG,CAAC,IAAmB,EAAsB,EAAE;IACvE,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,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC9D,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;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE;IAC9D,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;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,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,qBAAqB,GAAG,CAC5B,WAA+B,EAC/B,GAAW,EACS,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElD,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CACnC,CAAC,MAAM,EAAoB,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CACxE,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,CAAC;QACD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,gBAAgB,CAAC,WAAW,EAAE,GAAG,CAAC;QACvC,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAmB,EACnB,GAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,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,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACnD,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,uBAAuB,GAAG,CAC9B,IAAmB,EACQ,EAAE;YAC7B,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5C,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,CAAC,CAAC;QAEF,MAAM,eAAe,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAExD,MAAM,GAAG,GACP,eAAe,IAAI,YAAY;YAC7B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,gBAAgB,IAAI,WAAW;gBAC/B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,aAAa,GAAG,eAAe,IAAI,gBAAgB,CAAC;QAC1D,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa;YAAE,OAAO,SAAS,CAAC;QAE7C,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QACpE,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,WAAW,GACf,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,qBAAqB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACnD,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,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;AACnD,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,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,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;gBACL,GAAG,iCAAiC,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC;gBACzD,GAAG,iCAAiC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC;aAC3D,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,GAAmB,EACnB,UAAoC,EACpB,EAAE;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC,CAAC"}
+{"version":3,"file":"flow-narrowing.js","sourceRoot":"","sources":["../../../src/ir/converters/flow-narrowing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAYjC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAiB,EAAE;IACxD,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,oBAAoB,GAAG,CAAC,IAAmB,EAAsB,EAAE;IACvE,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,+BAA+B,GAAG,CACtC,KAAoB,EACpB,GAAmB,EACsC,EAAE;IAC3D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAEpC,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,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,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,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,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC9D,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;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE;IAC9D,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;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,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,qBAAqB,GAAG,CAC5B,WAA+B,EAC/B,GAAW,EACS,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElD,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CACnC,CAAC,MAAM,EAAoB,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CACxE,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,CAAC;QACD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,gBAAgB,CAAC,WAAW,EAAE,GAAG,CAAC;QACvC,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAmB,EACnB,GAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,cAAc,GAAG,CAAC,MAAiB,EAAU,EAAE,CACnD,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAEnE,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,YAAoB,EACA,EAAE;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,IAAI,CAAC,iBAAiB;YACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CAAC,IAAwB,EAAW,EAAE;QAC3E,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,6BAA6B,GAAG,CAAC,IAAwB,EAAW,EAAE;QAC1E,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC;QAC9B,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;QAC3D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,kCAAkC,GAAG,CACzC,WAAmB,EACA,EAAE;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;QACxE,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,WAAmB,EACnB,YAAoB,EACpB,UAAmB,EACC,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACnE,OAAO,UAAU;gBACf,CAAC,CAAC,8BAA8B,CAAC,UAAU,CAAC;gBAC5C,CAAC,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC,CACF,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,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,4BAA4B,GAAG,CACnC,WAAmB,EACnB,YAAoB,EACpB,WAAoB,EACA,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,SAAS,CAAC;YAChF,OAAO,SAAS,KAAK,WAAW,CAAC;QACnC,CAAC,CACF,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,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,+BAA+B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,8BAA8B,CAC/C,WAAW,EACX,cAAc,CAAC,YAAY,EAC3B,IAAI,CACL,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;QAC1D,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,cAAc,CAAC,MAAM,CAAC,EACtB,YAAY,EACZ,IAAI,CACL,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;gBAC3C,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,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACnD,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,uBAAuB,GAAG,CAC9B,IAAmB,EACQ,EAAE;YAC7B,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5C,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,CAAC,CAAC;QAEF,MAAM,eAAe,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAExD,MAAM,GAAG,GACP,eAAe,IAAI,YAAY;YAC7B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,gBAAgB,IAAI,WAAW;gBAC/B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,aAAa,GAAG,eAAe,IAAI,gBAAgB,CAAC;QAC1D,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa;YAAE,OAAO,SAAS,CAAC;QAE7C,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QACpE,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,WAAW,GACf,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,qBAAqB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACnD,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,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;AACnD,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,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;gBACL,GAAG,iCAAiC,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC;gBACzD,GAAG,iCAAiC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC;aAC3D,CAAC;QACJ,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;IAEnC,IACE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;QACrC,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACrD,CAAC;QACD,MAAM,MAAM,GAAG,iCAAiC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,MAAiB,EAAU,EAAE,CACnD,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAEnE,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,YAAoB,EACA,EAAE;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,IAAI,CAAC,iBAAiB;YACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC,CAAC;IAEF,MAAM,kCAAkC,GAAG,CACzC,WAAmB,EACA,EAAE;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;QACxE,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,WAAmB,EACnB,YAAoB,EACpB,UAAmB,EACC,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACnE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC;YACnE,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,KAAK,KAAK,CAAC;QAC7E,CAAC,CACF,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,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,4BAA4B,GAAG,CACnC,WAAmB,EACnB,YAAoB,EACpB,WAAoB,EACA,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,SAAS,CAAC;YAChF,OAAO,SAAS,KAAK,WAAW,CAAC;QACnC,CAAC,CACF,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,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,+BAA+B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,8BAA8B,CAC/C,WAAW,EACX,cAAc,CAAC,YAAY,EAC3B,KAAK,CACN,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;QAC1D,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,cAAc,CAAC,MAAM,CAAC,EACtB,YAAY,EACZ,KAAK,CACN,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;IACH,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,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,GAAmB,EACnB,UAAoC,EACpB,EAAE;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACnC,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;AAGlE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,KAAK,EACd,KAAK,cAAc,EACnB,oBAAoB,MAAM,GAAG,SAAS,KACrC,gBA8BF,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;AAoClE;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,KAAK,EACd,KAAK,cAAc,EACnB,oBAAoB,MAAM,GAAG,SAAS,KACrC,gBA0DF,CAAC"}

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

@@ -6,6 +6,34 @@
 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";
+const statementAlwaysTerminates = (stmt) => {
+    switch (stmt.kind) {
+        case "returnStatement":
+        case "throwStatement":
+        case "generatorReturnStatement":
+            return true;
+        case "blockStatement":
+            return stmt.statements.some((inner) => statementAlwaysTerminates(inner));
+        case "ifStatement":
+            return stmt.elseStatement
+                ? statementAlwaysTerminates(stmt.thenStatement) &&
+                    statementAlwaysTerminates(stmt.elseStatement)
+                : false;
+        case "tryStatement": {
+            const tryTerminates = statementAlwaysTerminates(stmt.tryBlock);
+            const catchTerminates = stmt.catchClause
+                ? statementAlwaysTerminates(stmt.catchClause.body)
+                : true;
+            const finallyTerminates = stmt.finallyBlock
+                ? statementAlwaysTerminates(stmt.finallyBlock)
+                : true;
+            return tryTerminates && catchTerminates && finallyTerminates;
+        }
+        default:
+            return false;
+    }
+};
 /**
  * Convert block statement
  *
@@ -29,6 +57,24 @@ 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)) {
+            const singleStatement = converted;
+            const ifStatement = singleStatement.kind === "ifStatement" ? singleStatement : undefined;
+            if (!ifStatement) {
+                continue;
+            }
+            const thenTerminates = statementAlwaysTerminates(ifStatement.thenStatement);
+            const elseTerminates = ifStatement.elseStatement
+                ? statementAlwaysTerminates(ifStatement.elseStatement)
+                : false;
+            if (thenTerminates && !elseTerminates) {
+                currentCtx = withAppliedNarrowings(currentCtx, collectTypeNarrowingsInFalsyExpr(s.expression, currentCtx));
+                continue;
+            }
+            if (elseTerminates && !thenTerminates) {
+                currentCtx = withAppliedNarrowings(currentCtx, collectTypeNarrowingsInTruthyExpr(s.expression, currentCtx));
+            }
+        }
     }
     return {
         kind: "blockStatement",

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

@@ -1 +1 @@
-{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/blocks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAc,EACd,GAAmB,EACnB,kBAAsC,EACpB,EAAE;IACpB,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QAEtD,oFAAoF;QACpF,oFAAoF;QACpF,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACpD,MAAM,OAAO,GAAG,MAA+B,CAAC;YAChD,UAAU,GAAG,mBAAmB,CAC9B,UAAU,EACV,CAAC,CAAC,eAAe,CAAC,YAAY,EAC9B,OAAO,CACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/blocks.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EACL,gCAAgC,EAChC,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,yBAAyB,GAAG,CAAC,IAAiB,EAAW,EAAE;IAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,0BAA0B;YAC7B,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3E,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC,aAAa;gBACvB,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,aAAa,CAAC;oBAC3C,yBAAyB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACjD,CAAC,CAAC,KAAK,CAAC;QACZ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,aAAa,GAAG,yBAAyB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW;gBACtC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;gBAClD,CAAC,CAAC,IAAI,CAAC;YACT,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY;gBACzC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC9C,CAAC,CAAC,IAAI,CAAC;YACT,OAAO,aAAa,IAAI,eAAe,IAAI,iBAAiB,CAAC;QAC/D,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAc,EACd,GAAmB,EACnB,kBAAsC,EACpB,EAAE;IACpB,IAAI,UAAU,GAAG,GAAG,CAAC;IACrB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QAEtD,oFAAoF;QACpF,oFAAoF;QACpF,IACE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACzB,SAAS,KAAK,IAAI;YAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACzB,CAAC;YACD,MAAM,MAAM,GAAG,SAAwB,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBAAE,SAAS;YACpD,MAAM,OAAO,GAAG,MAA+B,CAAC;YAChD,UAAU,GAAG,mBAAmB,CAC9B,UAAU,EACV,CAAC,CAAC,eAAe,CAAC,YAAY,EAC9B,OAAO,CACR,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3E,MAAM,eAAe,GAAG,SAAwB,CAAC;YACjD,MAAM,WAAW,GACf,eAAe,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,yBAAyB,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;YAC5E,MAAM,cAAc,GAAG,WAAW,CAAC,aAAa;gBAC9C,CAAC,CAAC,yBAAyB,CAAC,WAAW,CAAC,aAAa,CAAC;gBACtD,CAAC,CAAC,KAAK,CAAC;YAEV,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,UAAU,GAAG,qBAAqB,CAChC,UAAU,EACV,gCAAgC,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAC3D,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,cAAc,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,UAAU,GAAG,qBAAqB,CAChC,UAAU,EACV,iCAAiC,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/program-context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"program-context.d.ts","sourceRoot":"","sources":["../../src/ir/program-context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAYzD;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC,eAAe,CAAC;IAE/C;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAE/D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAE1C;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAE1C;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE/C;;;;;;;OAOG;IACH,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IAEnC;;;;;OAKG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,CAAC;AA2BF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,cAiWF,CAAC"}
+{"version":3,"file":"program-context.d.ts","sourceRoot":"","sources":["../../src/ir/program-context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAYzD;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC,eAAe,CAAC;IAE/C;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAE/D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAE1C;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAE1C;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE/C;;;;;;;OAOG;IACH,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IAEnC;;;;;OAKG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,CAAC;AA2BF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,cAyYF,CAAC"}

package/dist/ir/program-context.js

@@ -63,17 +63,46 @@ export const createProgramContext = (program, options) => {
     const packageRootCache = new Map();
     const packageInfoCache = new Map();
     const packageHasMetadataCache = new Map();
+    const projectRootResolved = path.resolve(program.options.projectRoot);
+    const getCommonAncestor = (leftPath, rightPath) => {
+        const leftResolved = path.resolve(leftPath);
+        const rightResolved = path.resolve(rightPath);
+        const leftParts = leftResolved.split(path.sep).filter(Boolean);
+        const rightParts = rightResolved.split(path.sep).filter(Boolean);
+        const shared = [];
+        for (let index = 0; index < Math.min(leftParts.length, rightParts.length); index += 1) {
+            const leftPart = leftParts[index];
+            const rightPart = rightParts[index];
+            if (leftPart === undefined || rightPart === undefined)
+                break;
+            if (leftPart !== rightPart)
+                break;
+            shared.push(leftPart);
+        }
+        if (shared.length === 0) {
+            return path.parse(leftResolved).root;
+        }
+        return path.join(path.parse(leftResolved).root, ...shared);
+    };
     const findPackageRootForFile = (fileName) => {
         const normalized = fileName.replace(/\\/g, "/");
         if (packageRootCache.has(normalized))
             return packageRootCache.get(normalized);
-        let dir = path.dirname(fileName);
+        const resolvedFileName = path.resolve(fileName);
+        const searchFloor = resolvedFileName.startsWith(`${projectRootResolved}${path.sep}`)
+            ? projectRootResolved
+            : getCommonAncestor(resolvedFileName, projectRootResolved);
+        let dir = path.dirname(resolvedFileName);
         while (true) {
             const pkgJson = path.join(dir, "package.json");
             if (fs.existsSync(pkgJson)) {
                 packageRootCache.set(normalized, dir);
                 return dir;
             }
+            if (dir === searchFloor) {
+                packageRootCache.set(normalized, undefined);
+                return undefined;
+            }
             const parent = path.dirname(dir);
             if (parent === dir) {
                 packageRootCache.set(normalized, undefined);
@@ -246,8 +275,9 @@ export const createProgramContext = (program, options) => {
     // must be in the universe.
     for (const sourceFile of program.declarationSourceFiles) {
         const pkgRoot = findPackageRootForFile(sourceFile.fileName);
-        if (pkgRoot)
+        if (pkgRoot && packageHasClrMetadata(pkgRoot)) {
             extraPackageRoots.push(pkgRoot);
+        }
     }
     // Include any additional CLR packages discovered via imports (e.g., efcore, aspnetcore).
     // The CLR catalog loader scans node_modules/@tsonic by default; when developing in a

package/dist/ir/program-context.js.map

@@ -1 +1 @@
-{"version":3,"file":"program-context.js","sourceRoot":"","sources":["../../src/ir/program-context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,oCAAoC,EAAE,MAAM,gCAAgC,CAAC;AAMtF,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GACf,MAAM,0CAA0C,CAAC;AA6GlD,MAAM,qBAAqB,GAAG,CAC5B,eAAoC,EACpC,QAAyB,EACJ,EAAE;IACvB,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;IAE/D,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5D,IAAI,CAAC,oCAAoC,CAAC,UAAU,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAExC,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACL,OAAO,EAAE,eAAe,CAAC,OAAO;QAChC,cAAc;QACd,eAAe,EAAE,eAAe,CAAC,eAAe;QAChD,kBAAkB,EAAE,eAAe,CAAC,kBAAkB;KACvD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAsB,EACtB,OAAuB,EACP,EAAE;IAClB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QACtC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QACvC,UAAU;KACX,CAAC,CACH,CAAC;IAEF,sFAAsF;IACtF,uFAAuF;IACvF,EAAE;IACF,sEAAsE;IACtE,6CAA6C;IAC7C,gEAAgE;IAChE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAQ7B,CAAC;IACJ,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE3D,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAsB,EAAE;QACtE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;YAClC,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE1C,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACjC,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC/C,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,GAAG,CAAC;YACb,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;gBACnB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CACrB,OAAe,EAOH,EAAE;QACd,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAExE,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;YAC1C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACzC,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,IAAI,GACR,OAAQ,MAAsC,CAAC,IAAI,KAAK,QAAQ;gBAC9D,CAAC,CAAE,MAAoC,CAAC,IAAI;gBAC5C,CAAC,CAAC,SAAS,CAAC;YAEhB,MAAM,WAAW,GAAI,MAA0C,CAAC,QAAQ,CAAC;YACzE,MAAM,QAAQ,GAAsB,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBAC5D,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAC/D,CAAC,CAAC,EAAE,CAAC;YAEP,MAAM,WAAW,GAAI,MAAkD;iBACpE,gBAAgB,CAAC;YACpB,MAAM,gBAAgB,GACpB,WAAW;gBACX,OAAO,WAAW,KAAK,QAAQ;gBAC/B,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBACzB,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,WAAsC,CAAC,CAAC,MAAM,CAC3D,CAAC,KAAK,EAA6B,EAAE,CACnC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAC/D,CACF;gBACH,CAAC,CAAC,EAAE,CAAC;YAET,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAW,EAAE;QACtD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAExB,IAAI,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,IACE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAClC,IAAI,CAAC,gBAAgB,EACrB,cAAc,CACf,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAAC,OAAe,EAAW,EAAE;QACzD,yEAAyE;QACzE,mFAAmF;QACnF,0EAA0E;QAC1E,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/C,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAa,CAAC,OAAO,CAAC,CAAC;QAElC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC/B,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,IAAI,CAAC;gBACH,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE;oBAC7C,aAAa,EAAE,IAAI;iBACpB,CAAC,EAAE,CAAC;oBACH,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;oBACnD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;oBACD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;wBACxB,wDAAwD;wBACxD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;4BAAE,SAAS;wBAC5C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACvB,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,iCAAiC;YACnC,CAAC;QACH,CAAC;QAED,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAC1E,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAE1B,mFAAmF;QACnF,kFAAkF;QAClF,mFAAmF;QACnF,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,sBAAsB,CAAC,CAAC;IAC3E,MAAM,EAAE,YAAY,EAAE,GAAG,kBAAkB,CAAC;QAC1C,WAAW,EAAE,cAAc;QAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC,CAAC;IAEH,mDAAmD;IACnD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAClC,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,cAAc,CACf,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EAChB,OAAe,EACf,mBAA2B,EACP,EAAE;QACtB,IAAI,GAAG,GAAG,QAAQ,CAAC;QACnB,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;YACzD,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAE1D,CAAC;oBACF,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,OAAO,aAAa,CAAC;oBACvB,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,kDAAkD;gBACpD,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAC/B,OAAe,EACf,mBAA2B,EACP,EAAE;QACtB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAC9B,eAAe,EACf,SAAS,EACT,OAAO,EACP,cAAc,CACf,CAAC;QACF,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,OAAO,eAAe,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,kCAAkC;QACpC,CAAC;QAED,OAAO,wBAAwB,CAC7B,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,OAAO,EACP,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,gFAAgF;IAChF,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,eAAe,GAAG,EAAE,CAAC,UAAU,CACnC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,CAAC,CAChE,CAAC;IACF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACxE,IAAI,UAAU;YAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,aAAa,GAAG,EAAE,CAAC,UAAU,CACjC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,CAC9D,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClE,IAAI,QAAQ;YAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,6EAA6E;IAC7E,2BAA2B;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,OAAO;YAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,yFAAyF;IACzF,qFAAqF;IACrF,6EAA6E;IAC7E,gFAAgF;IAChF,iFAAiF;IACjF,MAAM,kCAAkC,GAAG,CACzC,YAAoB,EACA,EAAE;QACtB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACrC,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC,yBAAyB,EAAE,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,kCAAkC,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,OAAO;YAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,eAAe,GAAG,qBAAqB,CAC3C,cAAc,CAAC,eAAe,EAAE,iBAAiB,CAAC,EAClD,OAAO,CAAC,QAAQ,CACjB,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC;IAEpD,0DAA0D;IAC1D,MAAM,cAAc,GAAG,oBAAoB,CACzC,YAAY,EACZ,eAAe,EACf,OAAO,CAAC,OAAO,CAAC,aAAa,CAC9B,CAAC;IAEF,mEAAmE;IACnE,2DAA2D;IAC3D,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAEnD,oFAAoF;IACpF,uFAAuF;IACvF,MAAM,eAAe,GAAG,OAAO,CAAC,OAA0B,CAAC;IAC3D,MAAM,UAAU,GAAG,gBAAgB,CAAC;QAClC,cAAc,EAAE,eAAe,CAAC,kBAAkB,EAAE;QACpD,YAAY;QACZ,UAAU;QACV,8EAA8E;QAC9E,eAAe,EAAE,CAAC,IAAa,EAAE,EAAE,CACjC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;QAChD,gDAAgD;QAChD,cAAc;QACd,UAAU;QACV,iBAAiB,EAAE,CAAC,IAAa,EAAE,EAAE,CACnC,EAAE,CAAC,YAAY,CAAC,IAAe,CAAC;YAC9B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAqB,CAAC;YAC1D,CAAC,CAAC,SAAS;QACf,oBAAoB,EAAE,CAAC,IAAa,EAAE,EAAE,CACtC,EAAE,CAAC,gBAAgB,CAAC,IAAe,CAAC;YAClC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAyB,CAAC;YACjE,CAAC,CAAC,SAAS;QACf,2BAA2B,EAAE,CAAC,IAAa,EAAE,EAAE,CAC7C,EAAE,CAAC,eAAe,CAAC,IAAe,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAwB,CAAC;YACvE,CAAC,CAAC,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;QACvD,iBAAiB;KAClB,CAAC,CAAC;IAEH,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW;QACxC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,KAAK;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;QACvD,iBAAiB;QACjB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"program-context.js","sourceRoot":"","sources":["../../src/ir/program-context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,oCAAoC,EAAE,MAAM,gCAAgC,CAAC;AAMtF,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GACf,MAAM,0CAA0C,CAAC;AA6GlD,MAAM,qBAAqB,GAAG,CAC5B,eAAoC,EACpC,QAAyB,EACJ,EAAE;IACvB,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;IAE/D,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5D,IAAI,CAAC,oCAAoC,CAAC,UAAU,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAExC,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACL,OAAO,EAAE,eAAe,CAAC,OAAO;QAChC,cAAc;QACd,eAAe,EAAE,eAAe,CAAC,eAAe;QAChD,kBAAkB,EAAE,eAAe,CAAC,kBAAkB;KACvD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAsB,EACtB,OAAuB,EACP,EAAE;IAClB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QACtC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QACvC,UAAU;KACX,CAAC,CACH,CAAC;IAEF,sFAAsF;IACtF,uFAAuF;IACvF,EAAE;IACF,sEAAsE;IACtE,6CAA6C;IAC7C,gEAAgE;IAChE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAQ7B,CAAC;IACJ,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3D,MAAM,mBAAmB,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAEtE,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAE,SAAiB,EAAU,EAAE;QACxE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACjE,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,EACrD,KAAK,IAAI,CAAC,EACV,CAAC;YACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;gBAAE,MAAM;YAC7D,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM;YAClC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxB,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC;QACvC,CAAC;QAED,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAsB,EAAE;QACtE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;YAClC,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,UAAU,CAC7C,GAAG,mBAAmB,GAAG,IAAI,CAAC,GAAG,EAAE,CACpC;YACC,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,iBAAiB,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;QAE7D,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACzC,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC/C,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,GAAG,CAAC;YACb,CAAC;YACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;gBACxB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;gBACnB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CACrB,OAAe,EAOH,EAAE;QACd,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAExE,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;YAC1C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACzC,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,IAAI,GACR,OAAQ,MAAsC,CAAC,IAAI,KAAK,QAAQ;gBAC9D,CAAC,CAAE,MAAoC,CAAC,IAAI;gBAC5C,CAAC,CAAC,SAAS,CAAC;YAEhB,MAAM,WAAW,GAAI,MAA0C,CAAC,QAAQ,CAAC;YACzE,MAAM,QAAQ,GAAsB,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBAC5D,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAC/D,CAAC,CAAC,EAAE,CAAC;YAEP,MAAM,WAAW,GAAI,MAAkD;iBACpE,gBAAgB,CAAC;YACpB,MAAM,gBAAgB,GACpB,WAAW;gBACX,OAAO,WAAW,KAAK,QAAQ;gBAC/B,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBACzB,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,WAAsC,CAAC,CAAC,MAAM,CAC3D,CAAC,KAAK,EAA6B,EAAE,CACnC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAC/D,CACF;gBACH,CAAC,CAAC,EAAE,CAAC;YAET,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAW,EAAE;QACtD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAExB,IAAI,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,IACE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAClC,IAAI,CAAC,gBAAgB,EACrB,cAAc,CACf,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAAC,OAAe,EAAW,EAAE;QACzD,yEAAyE;QACzE,mFAAmF;QACnF,0EAA0E;QAC1E,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/C,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAa,CAAC,OAAO,CAAC,CAAC;QAElC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC/B,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,IAAI,CAAC;gBACH,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE;oBAC7C,aAAa,EAAE,IAAI;iBACpB,CAAC,EAAE,CAAC;oBACH,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;oBACnD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;oBACD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;wBACxB,wDAAwD;wBACxD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;4BAAE,SAAS;wBAC5C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACvB,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,iCAAiC;YACnC,CAAC;QACH,CAAC;QAED,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAC1E,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAE1B,mFAAmF;QACnF,kFAAkF;QAClF,mFAAmF;QACnF,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,sBAAsB,CAAC,CAAC;IAC3E,MAAM,EAAE,YAAY,EAAE,GAAG,kBAAkB,CAAC;QAC1C,WAAW,EAAE,cAAc;QAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC,CAAC;IAEH,mDAAmD;IACnD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAClC,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,cAAc,CACf,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EAChB,OAAe,EACf,mBAA2B,EACP,EAAE;QACtB,IAAI,GAAG,GAAG,QAAQ,CAAC;QACnB,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;YACzD,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAE1D,CAAC;oBACF,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,OAAO,aAAa,CAAC;oBACvB,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,kDAAkD;gBACpD,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAC/B,OAAe,EACf,mBAA2B,EACP,EAAE;QACtB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAC9B,eAAe,EACf,SAAS,EACT,OAAO,EACP,cAAc,CACf,CAAC;QACF,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,OAAO,eAAe,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,kCAAkC;QACpC,CAAC;QAED,OAAO,wBAAwB,CAC7B,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,OAAO,EACP,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,gFAAgF;IAChF,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,eAAe,GAAG,EAAE,CAAC,UAAU,CACnC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,CAAC,CAChE,CAAC;IACF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACxE,IAAI,UAAU;YAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,aAAa,GAAG,EAAE,CAAC,UAAU,CACjC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,CAC9D,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClE,IAAI,QAAQ;YAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,6EAA6E;IAC7E,2BAA2B;IAC3B,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,OAAO,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,qFAAqF;IACrF,6EAA6E;IAC7E,gFAAgF;IAChF,iFAAiF;IACjF,MAAM,kCAAkC,GAAG,CACzC,YAAoB,EACA,EAAE;QACtB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACrC,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC,yBAAyB,EAAE,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,kCAAkC,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,OAAO;YAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,eAAe,GAAG,qBAAqB,CAC3C,cAAc,CAAC,eAAe,EAAE,iBAAiB,CAAC,EAClD,OAAO,CAAC,QAAQ,CACjB,CAAC;IACF,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC;IAEpD,0DAA0D;IAC1D,MAAM,cAAc,GAAG,oBAAoB,CACzC,YAAY,EACZ,eAAe,EACf,OAAO,CAAC,OAAO,CAAC,aAAa,CAC9B,CAAC;IAEF,mEAAmE;IACnE,2DAA2D;IAC3D,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAEnD,oFAAoF;IACpF,uFAAuF;IACvF,MAAM,eAAe,GAAG,OAAO,CAAC,OAA0B,CAAC;IAC3D,MAAM,UAAU,GAAG,gBAAgB,CAAC;QAClC,cAAc,EAAE,eAAe,CAAC,kBAAkB,EAAE;QACpD,YAAY;QACZ,UAAU;QACV,8EAA8E;QAC9E,eAAe,EAAE,CAAC,IAAa,EAAE,EAAE,CACjC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;QAChD,gDAAgD;QAChD,cAAc;QACd,UAAU;QACV,iBAAiB,EAAE,CAAC,IAAa,EAAE,EAAE,CACnC,EAAE,CAAC,YAAY,CAAC,IAAe,CAAC;YAC9B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAqB,CAAC;YAC1D,CAAC,CAAC,SAAS;QACf,oBAAoB,EAAE,CAAC,IAAa,EAAE,EAAE,CACtC,EAAE,CAAC,gBAAgB,CAAC,IAAe,CAAC;YAClC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAyB,CAAC;YACjE,CAAC,CAAC,SAAS;QACf,2BAA2B,EAAE,CAAC,IAAa,EAAE,EAAE,CAC7C,EAAE,CAAC,eAAe,CAAC,IAAe,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAwB,CAAC;YACvE,CAAC,CAAC,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;QACvD,iBAAiB;KAClB,CAAC,CAAC;IAEH,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW;QACxC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,KAAK;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE;QACvD,iBAAiB;QACjB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/program-context.test.d.ts

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

package/dist/ir/program-context.test.d.ts.map

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

package/dist/ir/program-context.test.js

@@ -0,0 +1,76 @@
+import { expect } from "chai";
+import * as fs from "node:fs";
+import * as os from "node:os";
+import * as path from "node:path";
+import * as ts from "typescript";
+import { createProgramContext } from "./program-context.js";
+import { BindingRegistry } from "../program/bindings.js";
+import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import { createClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+import { createBinding } from "./binding/index.js";
+describe("createProgramContext", () => {
+    it("ignores stray ancestor package roots outside the project boundary", () => {
+        const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-program-context-"));
+        try {
+            const projectRoot = path.join(tempDir, "project");
+            const srcDir = path.join(projectRoot, "src");
+            const declDir = path.join(projectRoot, "decls");
+            fs.mkdirSync(srcDir, { recursive: true });
+            fs.mkdirSync(declDir, { recursive: true });
+            fs.writeFileSync(path.join(tempDir, "package.json"), JSON.stringify({ name: "stray-root", version: "1.0.0", type: "module" }, null, 2));
+            fs.mkdirSync(path.join(tempDir, "Broken"), { recursive: true });
+            fs.writeFileSync(path.join(tempDir, "Broken", "bindings.json"), JSON.stringify({
+                namespace: "Broken",
+                types: [{ clrName: "Broken.Type" }],
+            }, null, 2));
+            fs.writeFileSync(path.join(projectRoot, "package.json"), JSON.stringify({ name: "app", version: "1.0.0", type: "module" }, null, 2));
+            const entryFile = path.join(srcDir, "main.ts");
+            const declarationFile = path.join(declDir, "globals.d.ts");
+            fs.writeFileSync(entryFile, "export const ok = 1;\n");
+            fs.writeFileSync(declarationFile, "export {};\n");
+            const program = ts.createProgram({
+                rootNames: [entryFile, declarationFile],
+                options: {
+                    target: ts.ScriptTarget.ES2022,
+                    module: ts.ModuleKind.NodeNext,
+                    moduleResolution: ts.ModuleResolutionKind.NodeNext,
+                    strict: true,
+                    noLib: true,
+                    noEmit: true,
+                    skipLibCheck: true,
+                },
+            });
+            const sourceFile = program.getSourceFile(entryFile);
+            const declarationSourceFile = program.getSourceFile(declarationFile);
+            if (!sourceFile || !declarationSourceFile) {
+                throw new Error("failed to construct test source files");
+            }
+            const checker = program.getTypeChecker();
+            const tsonicProgram = {
+                program,
+                checker,
+                options: {
+                    projectRoot,
+                    sourceRoot: srcDir,
+                    rootNamespace: "TestApp",
+                    strict: true,
+                },
+                sourceFiles: [sourceFile],
+                declarationSourceFiles: [declarationSourceFile],
+                metadata: new DotnetMetadataRegistry(),
+                bindings: new BindingRegistry(),
+                clrResolver: createClrBindingsResolver(projectRoot),
+                binding: createBinding(checker),
+            };
+            const ctx = createProgramContext(tsonicProgram, {
+                sourceRoot: srcDir,
+                rootNamespace: "TestApp",
+            });
+            expect(ctx.diagnostics).to.deep.equal([]);
+        }
+        finally {
+            fs.rmSync(tempDir, { recursive: true, force: true });
+        }
+    });
+});
+//# sourceMappingURL=program-context.test.js.map

package/dist/ir/program-context.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-context.test.js","sourceRoot":"","sources":["../../src/ir/program-context.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,yBAAyB,CAAC,CAClD,CAAC;QAEF,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAEhD,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1C,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAE3C,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAClC,IAAI,CAAC,SAAS,CACZ,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EACxD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;YACF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,eAAe,CAAC,EAC7C,IAAI,CAAC,SAAS,CACZ;gBACE,SAAS,EAAE,QAAQ;gBACnB,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;aACpC,EACD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;YAEF,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,EACtC,IAAI,CAAC,SAAS,CACZ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EACjD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;YAEF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAC/C,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YAC3D,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;YACtD,EAAE,CAAC,aAAa,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;YAElD,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;gBAC/B,SAAS,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC;gBACvC,OAAO,EAAE;oBACP,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;oBAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;oBAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;oBAClD,MAAM,EAAE,IAAI;oBACZ,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE,IAAI;oBACZ,YAAY,EAAE,IAAI;iBACnB;aACF,CAAC,CAAC;YAEH,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,qBAAqB,GAAG,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;YACrE,IAAI,CAAC,UAAU,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAC1C,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC3D,CAAC;YAED,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;YACzC,MAAM,aAAa,GAAG;gBACpB,OAAO;gBACP,OAAO;gBACP,OAAO,EAAE;oBACP,WAAW;oBACX,UAAU,EAAE,MAAM;oBAClB,aAAa,EAAE,SAAS;oBACxB,MAAM,EAAE,IAAI;iBACb;gBACD,WAAW,EAAE,CAAC,UAAU,CAAC;gBACzB,sBAAsB,EAAE,CAAC,qBAAqB,CAAC;gBAC/C,QAAQ,EAAE,IAAI,sBAAsB,EAAE;gBACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;gBAC/B,WAAW,EAAE,yBAAyB,CAAC,WAAW,CAAC;gBACnD,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;aAChC,CAAC;YAEF,MAAM,GAAG,GAAG,oBAAoB,CAAC,aAAa,EAAE;gBAC9C,UAAU,EAAE,MAAM;gBAClB,aAAa,EAAE,SAAS;aACzB,CAAC,CAAC;YAEH,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5C,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/orchestrator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EAEZ,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AA8R1E;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,EAAE,CAAC,QAAQ,EACrB,SAAS,OAAO,KACf,MAuRF,CAAC;AAGF,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC"}
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EAEZ,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAymB1E;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,EAAE,CAAC,QAAQ,EACrB,SAAS,OAAO,KACf,MAoRF,CAAC;AAGF,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC"}