@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/instanceof-predicate-refinements.js

@@ -0,0 +1,189 @@
+/**
+ * Instanceof and type-predicate narrowing refinements.
+ * Handles applyInstanceofRefinement and applyPredicateCallRefinement.
+ */
+import { emitTypeAst } from "../../type-emitter.js";
+import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
+import { findExactRuntimeUnionMemberIndices, findRuntimeUnionInstanceofMemberIndices, } from "./runtime-unions.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { normalizeInstanceofTargetType } from "./instanceof-targets.js";
+import { unwrapTransparentNarrowingTarget } from "./transparent-expressions.js";
+import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
+import { buildUnionNarrowAst, buildSubsetUnionType, withoutNarrowedBinding, applyBinding, buildProjectedExprBinding, narrowTypeByNotAssignableTarget, currentNarrowedType, resolveRuntimeUnionFrame, resolveRuntimeSubsetSourceInfo, resolveExistingNarrowingSourceType, buildRuntimeUnionComplementBinding, applyDirectTypeNarrowing, } from "./narrowing-builders.js";
+import { SYSTEM_ARRAY_STORAGE_TYPE } from "./broad-array-storage.js";
+export const applyInstanceofRefinement = (condition, branch, context, emitExprAst) => {
+    const resolveExactInstanceofTargetType = (expr) => {
+        const normalized = normalizeInstanceofTargetType(expr.inferredType);
+        if (!normalized) {
+            return undefined;
+        }
+        if (normalized.kind === "referenceType" &&
+            !normalized.resolvedClrType &&
+            "resolvedClrType" in expr &&
+            typeof expr.resolvedClrType === "string") {
+            return {
+                ...normalized,
+                resolvedClrType: expr.resolvedClrType,
+            };
+        }
+        return normalized;
+    };
+    const guard = (() => {
+        if (condition.kind !== "binary" || condition.operator !== "instanceof") {
+            return undefined;
+        }
+        const target = unwrapTransparentNarrowingTarget(condition.left);
+        if (!target)
+            return undefined;
+        const originalName = target.kind === "identifier"
+            ? target.name
+            : getMemberAccessNarrowKey(target);
+        if (!originalName)
+            return undefined;
+        const [lhsAst, ctxAfterLhs] = emitExprAst(target, withoutNarrowedBinding(context, originalName));
+        const inferredRhsType = resolveExactInstanceofTargetType(condition.right);
+        if (!inferredRhsType) {
+            return undefined;
+        }
+        const currentType = currentNarrowedType(originalName, resolveEffectiveExpressionType(target, context) ??
+            target.inferredType ??
+            condition.left.inferredType, context);
+        const runtimeUnionFrame = currentType &&
+            resolveRuntimeUnionFrame(originalName, currentType, context);
+        const runtimeMatchIndices = runtimeUnionFrame && inferredRhsType
+            ? findRuntimeUnionInstanceofMemberIndices(runtimeUnionFrame.members, inferredRhsType, context)
+            : undefined;
+        const runtimeMatchIndex = runtimeMatchIndices?.[0];
+        const memberNeedsPatternCheck = runtimeUnionFrame &&
+            runtimeMatchIndex !== undefined &&
+            inferredRhsType &&
+            runtimeUnionFrame.members[runtimeMatchIndex]
+            ? findExactRuntimeUnionMemberIndices([runtimeUnionFrame.members[runtimeMatchIndex]], inferredRhsType, context).length === 0
+            : false;
+        const memberN = runtimeUnionFrame && runtimeMatchIndex !== undefined
+            ? (runtimeUnionFrame.candidateMemberNs[runtimeMatchIndex] ??
+                runtimeMatchIndex + 1)
+            : undefined;
+        return {
+            originalName,
+            targetExpr: target,
+            receiverAst: lhsAst,
+            targetType: inferredRhsType,
+            memberN,
+            memberNeedsPatternCheck,
+            runtimeUnionArity: runtimeUnionFrame?.runtimeUnionArity,
+            candidateMemberNs: runtimeUnionFrame?.candidateMemberNs,
+            candidateMembers: runtimeUnionFrame?.members,
+            currentType,
+            contextAfter: ctxAfterLhs,
+        };
+    })();
+    if (!guard) {
+        return undefined;
+    }
+    if (branch === "falsy") {
+        if (guard.memberN === undefined ||
+            guard.memberNeedsPatternCheck ||
+            !guard.candidateMemberNs ||
+            !guard.candidateMembers ||
+            !guard.runtimeUnionArity) {
+            if (!guard.currentType) {
+                return undefined;
+            }
+            const complementType = narrowTypeByNotAssignableTarget(guard.currentType, guard.targetType, context);
+            if (!complementType) {
+                return undefined;
+            }
+            if (areIrTypesEquivalent(complementType, guard.currentType, context)) {
+                return context;
+            }
+            return applyDirectTypeNarrowing(guard.originalName, guard.targetExpr, complementType, context, emitExprAst);
+        }
+        const currentType = guard.currentType;
+        if (!currentType) {
+            return undefined;
+        }
+        const runtimeUnionFrame = {
+            members: guard.candidateMembers,
+            candidateMemberNs: guard.candidateMemberNs,
+            runtimeUnionArity: guard.runtimeUnionArity,
+        };
+        const sourceInfo = resolveRuntimeSubsetSourceInfo(guard.originalName, currentType, runtimeUnionFrame, context);
+        const complementBinding = buildRuntimeUnionComplementBinding(guard.receiverAst, runtimeUnionFrame, currentType, buildSubsetUnionType(guard.candidateMembers.filter((_, index) => {
+            const candidateMemberN = guard.candidateMemberNs?.[index] ?? index + 1;
+            return candidateMemberN !== guard.memberN;
+        })) ?? { kind: "unknownType" }, guard.memberN, guard.contextAfter, sourceInfo);
+        if (!complementBinding) {
+            return undefined;
+        }
+        return applyBinding(guard.originalName, complementBinding, guard.contextAfter);
+    }
+    if (!guard.targetType) {
+        return undefined;
+    }
+    let exprAst;
+    if (guard.memberN !== undefined) {
+        exprAst = buildUnionNarrowAst(guard.receiverAst, guard.memberN);
+    }
+    else {
+        const [targetTypeAst] = emitTypeAst(guard.targetType, guard.contextAfter);
+        exprAst = {
+            kind: "castExpression",
+            type: targetTypeAst,
+            expression: guard.receiverAst,
+        };
+    }
+    if (guard.memberN !== undefined) {
+        const [targetTypeAst] = emitTypeAst(guard.targetType, guard.contextAfter);
+        exprAst = {
+            kind: "castExpression",
+            type: targetTypeAst,
+            expression: exprAst,
+        };
+    }
+    return applyBinding(guard.originalName, buildProjectedExprBinding(exprAst, guard.targetType, resolveExistingNarrowingSourceType(guard.originalName, guard.currentType, context), guard.receiverAst), guard.contextAfter);
+};
+export const applyPredicateCallRefinement = (condition, branch, context, emitExprAst) => {
+    if (condition.kind !== "call") {
+        return undefined;
+    }
+    const narrowing = condition.narrowing;
+    if (!narrowing || narrowing.kind !== "typePredicate") {
+        return undefined;
+    }
+    const arg = condition.arguments[narrowing.argIndex];
+    if (!arg || ("kind" in arg && arg.kind === "spread")) {
+        return undefined;
+    }
+    const target = unwrapTransparentNarrowingTarget(arg);
+    if (!target) {
+        return undefined;
+    }
+    const bindingKey = target.kind === "identifier"
+        ? target.name
+        : getMemberAccessNarrowKey(target);
+    if (!bindingKey) {
+        return undefined;
+    }
+    const currentType = currentNarrowedType(bindingKey, resolveEffectiveExpressionType(target, context) ??
+        target.inferredType ??
+        arg.inferredType, context);
+    if (!currentType) {
+        return undefined;
+    }
+    const narrowedType = branch === "truthy"
+        ? narrowing.targetType
+        : narrowTypeByNotAssignableTarget(currentType, narrowing.targetType, context);
+    if (!narrowedType) {
+        return undefined;
+    }
+    const isArrayIsArrayPredicate = condition.callee.kind === "memberAccess" &&
+        !condition.callee.isComputed &&
+        condition.callee.property === "isArray" &&
+        condition.callee.object.kind === "identifier" &&
+        condition.callee.object.name === "Array";
+    return applyDirectTypeNarrowing(bindingKey, target, narrowedType, context, emitExprAst, branch === "truthy" && isArrayIsArrayPredicate
+        ? SYSTEM_ARRAY_STORAGE_TYPE
+        : undefined);
+};
+//# sourceMappingURL=instanceof-predicate-refinements.js.map

package/dist/core/semantic/instanceof-predicate-refinements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"instanceof-predicate-refinements.js","sourceRoot":"","sources":["../../../src/core/semantic/instanceof-predicate-refinements.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EACL,kCAAkC,EAClC,uCAAuC,GACxC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAGL,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,YAAY,EACZ,yBAAyB,EACzB,+BAA+B,EAC/B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,kCAAkC,EAClC,kCAAkC,EAClC,wBAAwB,GACzB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACE,EAAE;IAC9B,MAAM,gCAAgC,GAAG,CACvC,IAAkB,EACE,EAAE;QACtB,MAAM,UAAU,GAAG,6BAA6B,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;YACnC,CAAC,UAAU,CAAC,eAAe;YAC3B,iBAAiB,IAAI,IAAI;YACzB,OAAO,IAAI,CAAC,eAAe,KAAK,QAAQ,EACxC,CAAC;YACD,OAAO;gBACL,GAAG,UAAU;gBACb,eAAe,EAAE,IAAI,CAAC,eAAe;aACtC,CAAC;QACJ,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE;QAClB,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YACvE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAE9B,MAAM,YAAY,GAChB,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QAEpC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,WAAW,CACvC,MAAM,EACN,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAC9C,CAAC;QACF,MAAM,eAAe,GAAG,gCAAgC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1E,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,WAAW,GAAG,mBAAmB,CACrC,YAAY,EACZ,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC;YAC7C,MAAM,CAAC,YAAY;YACnB,SAAS,CAAC,IAAI,CAAC,YAAY,EAC7B,OAAO,CACR,CAAC;QACF,MAAM,iBAAiB,GACrB,WAAW;YACX,wBAAwB,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,mBAAmB,GACvB,iBAAiB,IAAI,eAAe;YAClC,CAAC,CAAC,uCAAuC,CACrC,iBAAiB,CAAC,OAAO,EACzB,eAAe,EACf,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,uBAAuB,GAC3B,iBAAiB;YACjB,iBAAiB,KAAK,SAAS;YAC/B,eAAe;YACf,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC;YAC1C,CAAC,CAAC,kCAAkC,CAChC,CAAC,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAC9C,eAAe,EACf,OAAO,CACR,CAAC,MAAM,KAAK,CAAC;YAChB,CAAC,CAAC,KAAK,CAAC;QACZ,MAAM,OAAO,GACX,iBAAiB,IAAI,iBAAiB,KAAK,SAAS;YAClD,CAAC,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,iBAAiB,CAAC;gBACvD,iBAAiB,GAAG,CAAC,CAAC;YACxB,CAAC,CAAC,SAAS,CAAC;QAEhB,OAAO;YACL,YAAY;YACZ,UAAU,EAAE,MAAM;YAClB,WAAW,EAAE,MAAM;YACnB,UAAU,EAAE,eAAe;YAC3B,OAAO;YACP,uBAAuB;YACvB,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;YACvD,iBAAiB,EAAE,iBAAiB,EAAE,iBAAiB;YACvD,gBAAgB,EAAE,iBAAiB,EAAE,OAAO;YAC5C,WAAW;YACX,YAAY,EAAE,WAAW;SAC1B,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,IACE,KAAK,CAAC,OAAO,KAAK,SAAS;YAC3B,KAAK,CAAC,uBAAuB;YAC7B,CAAC,KAAK,CAAC,iBAAiB;YACxB,CAAC,KAAK,CAAC,gBAAgB;YACvB,CAAC,KAAK,CAAC,iBAAiB,EACxB,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,cAAc,GAAG,+BAA+B,CACpD,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,UAAU,EAChB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,oBAAoB,CAAC,cAAc,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrE,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,OAAO,wBAAwB,CAC7B,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,UAAU,EAChB,cAAc,EACd,OAAO,EACP,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;QACtC,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,iBAAiB,GAAG;YACxB,OAAO,EAAE,KAAK,CAAC,gBAAgB;YAC/B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;SAC3C,CAAC;QACF,MAAM,UAAU,GAAG,8BAA8B,CAC/C,KAAK,CAAC,YAAY,EAClB,WAAW,EACX,iBAAiB,EACjB,OAAO,CACR,CAAC;QAEF,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,KAAK,CAAC,WAAW,EACjB,iBAAiB,EACjB,WAAW,EACX,oBAAoB,CAClB,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YACzC,MAAM,gBAAgB,GACpB,KAAK,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YAChD,OAAO,gBAAgB,KAAK,KAAK,CAAC,OAAO,CAAC;QAC5C,CAAC,CAAC,CACH,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EAC5B,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,EAClB,UAAU,CACX,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,YAAY,CACjB,KAAK,CAAC,YAAY,EAClB,iBAAiB,EACjB,KAAK,CAAC,YAAY,CACnB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAA4B,CAAC;IACjC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAClE,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1E,OAAO,GAAG;YACR,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,KAAK,CAAC,WAAW;SAC9B,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1E,OAAO,GAAG;YACR,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,OAAO;SACpB,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CACjB,KAAK,CAAC,YAAY,EAClB,yBAAyB,CACvB,OAAO,EACP,KAAK,CAAC,UAAU,EAChB,kCAAkC,CAChC,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,WAAW,EACjB,OAAO,CACR,EACD,KAAK,CAAC,WAAW,CAClB,EACD,KAAK,CAAC,YAAY,CACnB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACE,EAAE;IAC9B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;IACtC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,mBAAmB,CACrC,UAAU,EACV,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC;QAC7C,MAAM,CAAC,YAAY;QACnB,GAAG,CAAC,YAAY,EAClB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAChB,MAAM,KAAK,QAAQ;QACjB,CAAC,CAAC,SAAS,CAAC,UAAU;QACtB,CAAC,CAAC,+BAA+B,CAC7B,WAAW,EACX,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACR,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,uBAAuB,GAC3B,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QACxC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU;QAC5B,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;QACvC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAC7C,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;IAE3C,OAAO,wBAAwB,CAC7B,UAAU,EACV,MAAM,EACN,YAAY,EACZ,OAAO,EACP,WAAW,EACX,MAAM,KAAK,QAAQ,IAAI,uBAAuB;QAC5C,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,SAAS,CACd,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/instanceof-targets.d.ts

@@ -0,0 +1,10 @@
+import type { IrType } from "@tsonic/frontend";
+/**
+ * Emitter-side instanceof target normalization.
+ *
+ * The frontend should already attach the explicit instance target type. The
+ * emitter only normalizes native array/tuple runtime shapes to the C# array
+ * type used in `is` patterns.
+ */
+export declare const normalizeInstanceofTargetType: (type: IrType | undefined) => IrType | undefined;
+//# sourceMappingURL=instanceof-targets.d.ts.map

package/dist/core/semantic/instanceof-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instanceof-targets.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/instanceof-targets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SAWX,CAAC"}

package/dist/core/semantic/instanceof-targets.js

@@ -0,0 +1,20 @@
+/**
+ * Emitter-side instanceof target normalization.
+ *
+ * The frontend should already attach the explicit instance target type. The
+ * emitter only normalizes native array/tuple runtime shapes to the C# array
+ * type used in `is` patterns.
+ */
+export const normalizeInstanceofTargetType = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "arrayType" || type.kind === "tupleType") {
+        return {
+            kind: "referenceType",
+            name: "Array",
+            resolvedClrType: "System.Array",
+        };
+    }
+    return type;
+};
+//# sourceMappingURL=instanceof-targets.js.map

package/dist/core/semantic/instanceof-targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"instanceof-targets.js","sourceRoot":"","sources":["../../../src/core/semantic/instanceof-targets.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3D,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,cAAc;SAChC,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/core/semantic/iteration-types.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Iteration type derivation — pure helpers for extracting element types
+ * from collection types for for-of loops.
+ *
+ * Lives in core/semantic so both symbol-types.ts (canonical registration)
+ * and loops.ts (emitter) can depend on it without cycles.
+ */
+import { IrExpression } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const deriveForOfElementType: (type: IrExpression["inferredType"], context: EmitterContext) => IrExpression["inferredType"] | undefined;
+//# sourceMappingURL=iteration-types.d.ts.map

package/dist/core/semantic/iteration-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"iteration-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/iteration-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAuB,MAAM,kBAAkB,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA8DrD,eAAO,MAAM,sBAAsB,GACjC,MAAM,YAAY,CAAC,cAAc,CAAC,EAClC,SAAS,cAAc,KACtB,YAAY,CAAC,cAAc,CAAC,GAAG,SA4EjC,CAAC"}

package/dist/core/semantic/iteration-types.js

@@ -0,0 +1,116 @@
+/**
+ * Iteration type derivation — pure helpers for extracting element types
+ * from collection types for for-of loops.
+ *
+ * Lives in core/semantic so both symbol-types.ts (canonical registration)
+ * and loops.ts (emitter) can depend on it without cycles.
+ */
+import { normalizedUnionType } from "@tsonic/frontend";
+import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+const normalizeForIteration = (type, context) => {
+    if (!type)
+        return type;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind !== "unionType") {
+        return resolved;
+    }
+    const preferred = resolved.types.find((part) => part.kind === "referenceType");
+    return preferred
+        ? resolveTypeAlias(stripNullish(preferred), context)
+        : resolved;
+};
+const deriveTupleIterationElementType = (elementTypes) => {
+    const concrete = elementTypes.filter((element) => element !== undefined);
+    if (concrete.length === 0)
+        return undefined;
+    if (concrete.length === 1)
+        return concrete[0];
+    return normalizedUnionType(concrete);
+};
+const deriveUnionIterationElementType = (memberTypes, context) => {
+    const elementTypes = [];
+    for (const memberType of memberTypes) {
+        if (!memberType) {
+            return undefined;
+        }
+        const elementType = deriveForOfElementType(memberType, context);
+        if (!elementType) {
+            return undefined;
+        }
+        elementTypes.push(elementType);
+    }
+    if (elementTypes.length === 0) {
+        return undefined;
+    }
+    if (elementTypes.length === 1) {
+        return elementTypes[0];
+    }
+    return normalizedUnionType(elementTypes);
+};
+export const deriveForOfElementType = (type, context) => {
+    const normalized = normalizeForIteration(type, context);
+    if (!normalized)
+        return undefined;
+    if (normalized.kind === "unionType") {
+        return deriveUnionIterationElementType(normalized.types, context);
+    }
+    if (normalized.kind === "arrayType") {
+        return normalized.elementType;
+    }
+    if (normalized.kind === "tupleType") {
+        return deriveTupleIterationElementType(normalized.elementTypes);
+    }
+    if (normalized.kind === "primitiveType" && normalized.name === "string") {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (normalized.kind === "referenceType" &&
+        normalized.typeArguments &&
+        normalized.typeArguments.length > 0) {
+        const [firstTypeArg, secondTypeArg] = normalized.typeArguments;
+        const simpleName = (normalized.name.split(".").pop() ?? normalized.name).replace(/\$instance$/, "");
+        const clrSimpleName = normalized.resolvedClrType
+            ?.split(".")
+            .pop()
+            ?.replace(/\$instance$/, "");
+        switch (simpleName) {
+            case "Array":
+            case "ReadonlyArray":
+            case "Iterable":
+            case "IterableIterator":
+            case "Iterator":
+            case "IEnumerable":
+            case "IEnumerable_1":
+            case "IEnumerator":
+            case "IEnumerator_1":
+            case "AsyncIterable":
+            case "AsyncIterableIterator":
+            case "Generator":
+            case "AsyncGenerator":
+            case "IAsyncEnumerable":
+            case "IAsyncEnumerable_1":
+            case "IAsyncEnumerator":
+            case "IAsyncEnumerator_1":
+            case "Set":
+            case "ReadonlySet":
+                return firstTypeArg;
+            case "Map":
+            case "ReadonlyMap":
+                return firstTypeArg && secondTypeArg
+                    ? {
+                        kind: "tupleType",
+                        elementTypes: [firstTypeArg, secondTypeArg],
+                    }
+                    : undefined;
+            default:
+                if (clrSimpleName === "IEnumerable" ||
+                    clrSimpleName === "IEnumerator" ||
+                    clrSimpleName === "IAsyncEnumerable" ||
+                    clrSimpleName === "IAsyncEnumerator") {
+                    return firstTypeArg;
+                }
+                return undefined;
+        }
+    }
+    return undefined;
+};
+//# sourceMappingURL=iteration-types.js.map

package/dist/core/semantic/iteration-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"iteration-types.js","sourceRoot":"","sources":["../../../src/core/semantic/iteration-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAgB,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAErE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEtE,MAAM,qBAAqB,GAAG,CAC5B,IAAkC,EAClC,OAAuB,EACO,EAAE;IAChC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CACxC,CAAC;IACF,OAAO,SAAS;QACd,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;QACpD,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAAmE,EACzB,EAAE;IAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAClC,CAAC,OAAO,EAA0C,EAAE,CAAC,OAAO,KAAK,SAAS,CAC3E,CAAC;IAEF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,WAAkE,EAClE,OAAuB,EACmB,EAAE;IAC5C,MAAM,YAAY,GAAgD,EAAE,CAAC;IAErE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,WAAW,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,mBAAmB,CAAC,YAAY,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAkC,EAClC,OAAuB,EACmB,EAAE;IAC5C,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,+BAA+B,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC,WAAW,CAAC;IAChC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,+BAA+B,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,UAAU,CAAC,aAAa;QACxB,UAAU,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;QACD,MAAM,CAAC,YAAY,EAAE,aAAa,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC;QAC/D,MAAM,UAAU,GAAG,CACjB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,CAAC,IAAI,CACpD,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,aAAa,GAAG,UAAU,CAAC,eAAe;YAC9C,EAAE,KAAK,CAAC,GAAG,CAAC;aACX,GAAG,EAAE;YACN,EAAE,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC/B,QAAQ,UAAU,EAAE,CAAC;YACnB,KAAK,OAAO,CAAC;YACb,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,UAAU,CAAC;YAChB,KAAK,aAAa,CAAC;YACnB,KAAK,eAAe,CAAC;YACrB,KAAK,aAAa,CAAC;YACnB,KAAK,eAAe,CAAC;YACrB,KAAK,eAAe,CAAC;YACrB,KAAK,uBAAuB,CAAC;YAC7B,KAAK,WAAW,CAAC;YACjB,KAAK,gBAAgB,CAAC;YACtB,KAAK,kBAAkB,CAAC;YACxB,KAAK,oBAAoB,CAAC;YAC1B,KAAK,kBAAkB,CAAC;YACxB,KAAK,oBAAoB,CAAC;YAC1B,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,YAAY,CAAC;YACtB,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,YAAY,IAAI,aAAa;oBAClC,CAAC,CAAC;wBACE,IAAI,EAAE,WAAW;wBACjB,YAAY,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;qBAC5C;oBACH,CAAC,CAAC,SAAS,CAAC;YAChB;gBACE,IACE,aAAa,KAAK,aAAa;oBAC/B,aAAa,KAAK,aAAa;oBAC/B,aAAa,KAAK,kBAAkB;oBACpC,aAAa,KAAK,kBAAkB,EACpC,CAAC;oBACD,OAAO,YAAY,CAAC;gBACtB,CAAC;gBACD,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/core/semantic/js-value-types.d.ts

@@ -0,0 +1,5 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export { isBroadObjectSlotType, isJsValueReferenceType, normalizeBroadObjectSinkType, } from "./broad-object-types.js";
+export declare const isBroadObjectPassThroughType: (type: IrType | undefined, context: EmitterContext, seen?: Set<IrType>) => boolean;
+//# sourceMappingURL=js-value-types.d.ts.map

package/dist/core/semantic/js-value-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-value-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/js-value-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AAEjC,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,EACvB,kBAAwB,KACvB,OAiDF,CAAC"}

package/dist/core/semantic/js-value-types.js

@@ -0,0 +1,42 @@
+import { resolveComparableType } from "./comparable-types.js";
+import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+import { willCarryAsRuntimeUnion } from "./union-semantics.js";
+export { isBroadObjectSlotType, isJsValueReferenceType, normalizeBroadObjectSinkType, } from "./broad-object-types.js";
+export const isBroadObjectPassThroughType = (type, context, seen = new Set()) => {
+    if (!type || seen.has(type)) {
+        return false;
+    }
+    seen.add(type);
+    if (willCarryAsRuntimeUnion(resolveTypeAlias(stripNullish(type), context), context)) {
+        return false;
+    }
+    const resolved = resolveComparableType(type, context);
+    switch (resolved.kind) {
+        case "referenceType":
+        case "functionType":
+        case "objectType":
+        case "arrayType":
+        case "tupleType":
+        case "dictionaryType":
+            return true;
+        case "literalType":
+            return (typeof resolved.value === "string" ||
+                typeof resolved.value === "boolean");
+        case "primitiveType":
+            return (resolved.name === "string" ||
+                resolved.name === "boolean" ||
+                resolved.name === "null" ||
+                resolved.name === "undefined");
+        case "unionType":
+            return resolved.types.every((member) => {
+                const comparableMember = resolveComparableType(member, context);
+                return ((comparableMember.kind === "primitiveType" &&
+                    (comparableMember.name === "null" ||
+                        comparableMember.name === "undefined")) ||
+                    isBroadObjectPassThroughType(member, context, seen));
+            });
+        default:
+            return false;
+    }
+};
+//# sourceMappingURL=js-value-types.js.map

package/dist/core/semantic/js-value-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-value-types.js","sourceRoot":"","sources":["../../../src/core/semantic/js-value-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAwB,EACxB,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,IACE,uBAAuB,CACrB,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAC7C,OAAO,CACR,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC;QACd,KAAK,aAAa;YAChB,OAAO,CACL,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;gBAClC,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS,CACpC,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1B,QAAQ,CAAC,IAAI,KAAK,SAAS;gBAC3B,QAAQ,CAAC,IAAI,KAAK,MAAM;gBACxB,QAAQ,CAAC,IAAI,KAAK,WAAW,CAC9B,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE;gBACrC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAChE,OAAO,CACL,CAAC,gBAAgB,CAAC,IAAI,KAAK,eAAe;oBACxC,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM;wBAC/B,gBAAgB,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;oBAC3C,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CACpD,CAAC;YACJ,CAAC,CAAC,CAAC;QACL;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC"}

package/dist/core/semantic/local-type-lookup.d.ts

@@ -0,0 +1,8 @@
+import type { LocalTypeInfo } from "../../emitter-types/core.js";
+export type LocalTypeLookupCandidate = {
+    readonly name: string;
+    readonly fromEmittedObjectAlias: boolean;
+};
+export declare const getLocalTypeLookupCandidates: (typeName: string) => readonly LocalTypeLookupCandidate[];
+export declare const canUseLocalTypeLookupCandidate: (info: LocalTypeInfo, candidate: LocalTypeLookupCandidate) => boolean;
+//# sourceMappingURL=local-type-lookup.d.ts.map

package/dist/core/semantic/local-type-lookup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-type-lookup.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/local-type-lookup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAEjE,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C,CAAC;AAcF,eAAO,MAAM,4BAA4B,GACvC,UAAU,MAAM,KACf,SAAS,wBAAwB,EAgCnC,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,aAAa,EACnB,WAAW,wBAAwB,KAClC,OAE6D,CAAC"}

package/dist/core/semantic/local-type-lookup.js

@@ -0,0 +1,36 @@
+const EMITTED_OBJECT_ALIAS_PATTERN = /^(.+)__Alias(?:_\d+)?$/;
+const getSimpleLookupName = (typeName) => typeName.includes(".") ? (typeName.split(".").pop() ?? typeName) : typeName;
+const getEmittedObjectAliasSourceName = (simpleName) => {
+    const match = EMITTED_OBJECT_ALIAS_PATTERN.exec(simpleName);
+    return match?.[1] && match[1].length > 0 ? match[1] : undefined;
+};
+export const getLocalTypeLookupCandidates = (typeName) => {
+    const candidates = [];
+    const seen = new Set();
+    const add = (name, fromEmittedObjectAlias) => {
+        if (name.length === 0 || seen.has(name)) {
+            return;
+        }
+        seen.add(name);
+        candidates.push({ name, fromEmittedObjectAlias });
+    };
+    const addWithObjectAliasSource = (name) => {
+        add(name, false);
+        const sourceName = getEmittedObjectAliasSourceName(name);
+        if (sourceName) {
+            add(sourceName, true);
+        }
+    };
+    const simpleLookupName = getSimpleLookupName(typeName);
+    addWithObjectAliasSource(simpleLookupName);
+    if (simpleLookupName.endsWith("$instance")) {
+        const baseName = simpleLookupName.slice(0, -"$instance".length);
+        addWithObjectAliasSource(baseName);
+        const unsuffixedBaseName = baseName.replace(/_\d+$/, "");
+        addWithObjectAliasSource(unsuffixedBaseName);
+    }
+    return candidates;
+};
+export const canUseLocalTypeLookupCandidate = (info, candidate) => !candidate.fromEmittedObjectAlias ||
+    (info.kind === "typeAlias" && info.type.kind === "objectType");
+//# sourceMappingURL=local-type-lookup.js.map

package/dist/core/semantic/local-type-lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-type-lookup.js","sourceRoot":"","sources":["../../../src/core/semantic/local-type-lookup.ts"],"names":[],"mappings":"AAOA,MAAM,4BAA4B,GAAG,wBAAwB,CAAC;AAE9D,MAAM,mBAAmB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACvD,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAE9E,MAAM,+BAA+B,GAAG,CACtC,UAAkB,EACE,EAAE;IACtB,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAgB,EACqB,EAAE;IACvC,MAAM,UAAU,GAA+B,EAAE,CAAC;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,sBAA+B,EAAQ,EAAE;QAClE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO;QACT,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAQ,EAAE;QACtD,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjB,MAAM,UAAU,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,UAAU,EAAE,CAAC;YACf,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvD,wBAAwB,CAAC,gBAAgB,CAAC,CAAC;IAE3C,IAAI,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAChE,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QAEnC,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACzD,wBAAwB,CAAC,kBAAkB,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAmB,EACnB,SAAmC,EAC1B,EAAE,CACX,CAAC,SAAS,CAAC,sBAAsB;IACjC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC"}

package/dist/core/semantic/local-types.d.ts

@@ -16,4 +16,5 @@ import type { LocalTypeInfo } from "../../types.js";
  * @returns Map from type name to LocalTypeInfo
  */
 export declare const buildLocalTypes: (module: IrModule) => ReadonlyMap<string, LocalTypeInfo>;
+export declare const collectPublicLocalTypes: (module: IrModule, localTypes: ReadonlyMap<string, LocalTypeInfo>) => ReadonlySet<string>;
 //# sourceMappingURL=local-types.d.ts.map

package/dist/core/semantic/local-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"local-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/local-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EAMT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,EAAE,aAAa,CAWnC,CAAC"}
+{"version":3,"file":"local-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/local-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EAOT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,EAAE,aAAa,CAWnC,CAAC;AAqLF,eAAO,MAAM,uBAAuB,GAClC,QAAQ,QAAQ,EAChB,YAAY,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,KAC7C,WAAW,CAAC,MAAM,CA4JpB,CAAC"}