@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/structural-shape-matching.js

@@ -0,0 +1,255 @@
+/**
+ * Structural shape matching and structural-to-nominal type resolution.
+ *
+ * Extracted from structural-resolution.ts — contains structural shape
+ * comparison logic and the normalizeStructuralEmissionType deep walker.
+ */
+import { resolveTypeAlias, stripNullish } from "./nullish-value-helpers.js";
+import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
+const isCompilerGeneratedStructuralName = (name) => !!name && (name.startsWith("__Anon_") || name.startsWith("__Rest_"));
+export const isCompilerGeneratedStructuralReferenceType = (type) => {
+    const simpleName = type.name.split(".").pop() ?? type.name;
+    const clrSimpleName = type.resolvedClrType?.split(".").pop();
+    return (isCompilerGeneratedStructuralName(simpleName) ||
+        isCompilerGeneratedStructuralName(clrSimpleName));
+};
+const buildReferenceType = (name, resolvedClrType, typeArguments) => ({
+    kind: "referenceType",
+    name,
+    ...(resolvedClrType ? { resolvedClrType } : {}),
+    ...(typeArguments ? { typeArguments: [...typeArguments] } : {}),
+});
+const tryResolveIteratorResultVariant = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    const members = resolved.kind === "objectType"
+        ? resolved.members
+        : resolved.kind === "referenceType"
+            ? resolved.structuralMembers
+            : undefined;
+    if (!members || members.length !== 2) {
+        return undefined;
+    }
+    const properties = members.filter((member) => member.kind === "propertySignature");
+    if (properties.length !== 2) {
+        return undefined;
+    }
+    const doneProperty = properties.find((member) => member.name === "done");
+    const valueProperty = properties.find((member) => member.name === "value");
+    if (!doneProperty ||
+        !valueProperty ||
+        doneProperty.isOptional ||
+        valueProperty.isOptional) {
+        return undefined;
+    }
+    if (doneProperty.type.kind !== "literalType" ||
+        typeof doneProperty.type.value !== "boolean") {
+        return undefined;
+    }
+    return {
+        done: doneProperty.type.value,
+        valueType: valueProperty.type,
+    };
+};
+export const resolveIteratorResultReferenceType = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind !== "unionType" || resolved.types.length !== 2) {
+        return undefined;
+    }
+    const variants = resolved.types
+        .map((member) => tryResolveIteratorResultVariant(member, context))
+        .filter((variant) => variant !== undefined);
+    if (variants.length !== 2) {
+        return undefined;
+    }
+    const doneFalseVariant = variants.find((variant) => variant.done === false);
+    const doneTrueVariant = variants.find((variant) => variant.done === true);
+    if (!doneFalseVariant || !doneTrueVariant) {
+        return undefined;
+    }
+    return buildReferenceType("IteratorResult", "global::Tsonic.Runtime.IteratorResult", [doneFalseVariant.valueType]);
+};
+/**
+ * Resolve structural emission-only helpers that already have an explicit reference
+ * representation. Inline structural object types intentionally stay compiler-owned
+ * and must not be rebound to authored aliases or classes here.
+ */
+export const resolveStructuralReferenceType = (type, context) => {
+    const stripped = stripNullish(type);
+    const iteratorResultReference = resolveIteratorResultReferenceType(stripped, context);
+    if (iteratorResultReference) {
+        return iteratorResultReference;
+    }
+    if (stripped.kind === "referenceType") {
+        return stripped;
+    }
+    return undefined;
+};
+export const normalizeStructuralEmissionType = (type, context) => {
+    const cache = new Map();
+    const active = new Set();
+    const normalize = (current) => {
+        const rebound = resolveStructuralReferenceType(current, context);
+        if (rebound) {
+            return rebound;
+        }
+        if (active.has(current)) {
+            return current;
+        }
+        const cached = cache.get(current);
+        if (cached) {
+            return cached;
+        }
+        active.add(current);
+        const normalized = (() => {
+            switch (current.kind) {
+                case "referenceType": {
+                    const typeArguments = current.typeArguments?.map(normalize);
+                    const hasChanged = !!typeArguments &&
+                        typeArguments.some((argument, index) => argument !== current.typeArguments?.[index]);
+                    return hasChanged
+                        ? {
+                            ...current,
+                            typeArguments,
+                        }
+                        : current;
+                }
+                case "arrayType": {
+                    const elementType = normalize(current.elementType);
+                    const tuplePrefixElementTypes = current.tuplePrefixElementTypes?.map(normalize);
+                    const tupleRestElementType = current.tupleRestElementType
+                        ? normalize(current.tupleRestElementType)
+                        : undefined;
+                    const hasChanged = elementType !== current.elementType ||
+                        (!!tuplePrefixElementTypes &&
+                            tuplePrefixElementTypes.some((element, index) => element !== current.tuplePrefixElementTypes?.[index])) ||
+                        tupleRestElementType !== current.tupleRestElementType;
+                    return hasChanged
+                        ? {
+                            ...current,
+                            elementType,
+                            ...(tuplePrefixElementTypes ? { tuplePrefixElementTypes } : {}),
+                            ...(tupleRestElementType ? { tupleRestElementType } : {}),
+                        }
+                        : current;
+                }
+                case "tupleType": {
+                    const elementTypes = current.elementTypes.map(normalize);
+                    return elementTypes.some((element, index) => element !== current.elementTypes[index])
+                        ? { ...current, elementTypes }
+                        : current;
+                }
+                case "functionType": {
+                    const parameters = current.parameters.map((parameter) => parameter.type
+                        ? {
+                            ...parameter,
+                            type: normalize(parameter.type),
+                        }
+                        : parameter);
+                    const returnType = normalize(current.returnType);
+                    const hasChanged = returnType !== current.returnType ||
+                        parameters.some((parameter, index) => parameter !== current.parameters[index]);
+                    return hasChanged
+                        ? {
+                            ...current,
+                            parameters,
+                            returnType,
+                        }
+                        : current;
+                }
+                case "objectType": {
+                    const members = current.members.map((member) => {
+                        switch (member.kind) {
+                            case "propertySignature": {
+                                const memberType = normalize(member.type);
+                                return memberType !== member.type
+                                    ? {
+                                        ...member,
+                                        type: memberType,
+                                    }
+                                    : member;
+                            }
+                            case "methodSignature": {
+                                const parameters = member.parameters.map((parameter) => parameter.type
+                                    ? {
+                                        ...parameter,
+                                        type: normalize(parameter.type),
+                                    }
+                                    : parameter);
+                                const returnType = member.returnType
+                                    ? normalize(member.returnType)
+                                    : undefined;
+                                const typeParameters = member.typeParameters?.map((typeParameter) => typeParameter.constraint || typeParameter.default
+                                    ? {
+                                        ...typeParameter,
+                                        ...(typeParameter.constraint
+                                            ? {
+                                                constraint: normalize(typeParameter.constraint),
+                                            }
+                                            : {}),
+                                        ...(typeParameter.default
+                                            ? {
+                                                default: normalize(typeParameter.default),
+                                            }
+                                            : {}),
+                                    }
+                                    : typeParameter);
+                                const hasChanged = parameters.some((parameter, index) => parameter !== member.parameters[index]) ||
+                                    returnType !== member.returnType ||
+                                    (!!typeParameters &&
+                                        typeParameters.some((typeParameter, index) => typeParameter !== member.typeParameters?.[index]));
+                                return hasChanged
+                                    ? {
+                                        ...member,
+                                        parameters,
+                                        ...(returnType ? { returnType } : {}),
+                                        ...(typeParameters ? { typeParameters } : {}),
+                                    }
+                                    : member;
+                            }
+                        }
+                    });
+                    return members.some((member, index) => member !== current.members[index])
+                        ? { ...current, members }
+                        : current;
+                }
+                case "dictionaryType": {
+                    const keyType = normalize(current.keyType);
+                    const valueType = normalize(current.valueType);
+                    return keyType !== current.keyType || valueType !== current.valueType
+                        ? {
+                            ...current,
+                            keyType,
+                            valueType,
+                        }
+                        : current;
+                }
+                case "unionType":
+                case "intersectionType": {
+                    const types = current.types.map(normalize);
+                    if (!types.some((member, index) => member !== current.types[index])) {
+                        return current;
+                    }
+                    return current.kind === "unionType"
+                        ? rebuildUnionTypePreservingCarrierFamily(current, types)
+                        : {
+                            ...current,
+                            types,
+                        };
+                }
+                case "primitiveType":
+                case "typeParameterType":
+                case "literalType":
+                case "anyType":
+                case "unknownType":
+                case "voidType":
+                case "neverType":
+                    return current;
+            }
+        })();
+        cache.set(current, normalized);
+        active.delete(current);
+        return normalized;
+    };
+    return normalize(type);
+};
+//# sourceMappingURL=structural-shape-matching.js.map

package/dist/core/semantic/structural-shape-matching.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-shape-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/structural-shape-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,iCAAiC,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC9E,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAgD,EACvC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7D,OAAO,CACL,iCAAiC,CAAC,UAAU,CAAC;QAC7C,iCAAiC,CAAC,aAAa,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,eAAmC,EACnC,aAA4C,EACA,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAChE,CAAC,CAAC;AAOH,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACY,EAAE;IACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC5B,CAAC,CAAC,QAAQ,CAAC,OAAO;QAClB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,CAAC,CAAC,QAAQ,CAAC,iBAAiB;YAC5B,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAC/B,CAAC,MAAM,EAAmE,EAAE,CAC1E,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC3E,IACE,CAAC,YAAY;QACb,CAAC,aAAa;QACd,YAAY,CAAC,UAAU;QACvB,aAAa,CAAC,UAAU,EACxB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QACxC,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,EAC5C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK;QAC7B,SAAS,EAAE,aAAa,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAY,EACZ,OAAuB,EACiC,EAAE;IAC1D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;SAC5B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;SACjE,MAAM,CACL,CAAC,OAAO,EAAoC,EAAE,CAAC,OAAO,KAAK,SAAS,CACrE,CAAC;IACJ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAC5E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,gBAAgB,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,kBAAkB,CACvB,gBAAgB,EAChB,uCAAuC,EACvC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,uBAAuB,GAAG,kCAAkC,CAChE,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,MAAM,SAAS,GAAG,CAAC,OAAe,EAAU,EAAE;QAC5C,MAAM,OAAO,GAAG,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEpB,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;YACvB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC5D,MAAM,UAAU,GACd,CAAC,CAAC,aAAa;wBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CACjE,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,aAAa;yBACd;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;oBACnD,MAAM,uBAAuB,GAC3B,OAAO,CAAC,uBAAuB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;oBAClD,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB;wBACvD,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC;wBACzC,CAAC,CAAC,SAAS,CAAC;oBACd,MAAM,UAAU,GACd,WAAW,KAAK,OAAO,CAAC,WAAW;wBACnC,CAAC,CAAC,CAAC,uBAAuB;4BACxB,uBAAuB,CAAC,IAAI,CAC1B,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,OAAO,KAAK,OAAO,CAAC,uBAAuB,EAAE,CAAC,KAAK,CAAC,CACvD,CAAC;wBACJ,oBAAoB,KAAK,OAAO,CAAC,oBAAoB,CAAC;oBACxD,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,WAAW;4BACX,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC/D,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBAC1D;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACzD,OAAO,YAAY,CAAC,IAAI,CACtB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAC5D;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE;wBAC9B,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,cAAc,CAAC,CAAC,CAAC;oBACpB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtD,SAAS,CAAC,IAAI;wBACZ,CAAC,CAAC;4BACE,GAAG,SAAS;4BACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;yBAChC;wBACH,CAAC,CAAC,SAAS,CACd,CAAC;oBACF,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBACjD,MAAM,UAAU,GACd,UAAU,KAAK,OAAO,CAAC,UAAU;wBACjC,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAC9D,CAAC;oBACJ,OAAO,UAAU;wBACf,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,UAAU;4BACV,UAAU;yBACX;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,YAAY,CAAC,CAAC,CAAC;oBAClB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;wBAC7C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;4BACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gCACzB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gCAC1C,OAAO,UAAU,KAAK,MAAM,CAAC,IAAI;oCAC/B,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,IAAI,EAAE,UAAU;qCACjB;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;4BACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gCACvB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,SAAS,CAAC,IAAI;oCACZ,CAAC,CAAC;wCACE,GAAG,SAAS;wCACZ,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;qCAChC;oCACH,CAAC,CAAC,SAAS,CACd,CAAC;gCACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU;oCAClC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC;oCAC9B,CAAC,CAAC,SAAS,CAAC;gCACd,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,CAC/C,CAAC,aAAa,EAAE,EAAE,CAChB,aAAa,CAAC,UAAU,IAAI,aAAa,CAAC,OAAO;oCAC/C,CAAC,CAAC;wCACE,GAAG,aAAa;wCAChB,GAAG,CAAC,aAAa,CAAC,UAAU;4CAC1B,CAAC,CAAC;gDACE,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC,UAAU,CAAC;6CAChD;4CACH,CAAC,CAAC,EAAE,CAAC;wCACP,GAAG,CAAC,aAAa,CAAC,OAAO;4CACvB,CAAC,CAAC;gDACE,OAAO,EAAE,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC;6CAC1C;4CACH,CAAC,CAAC,EAAE,CAAC;qCACR;oCACH,CAAC,CAAC,aAAa,CACpB,CAAC;gCACF,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAC7D;oCACD,UAAU,KAAK,MAAM,CAAC,UAAU;oCAChC,CAAC,CAAC,CAAC,cAAc;wCACf,cAAc,CAAC,IAAI,CACjB,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,aAAa,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,CACnD,CAAC,CAAC;gCACP,OAAO,UAAU;oCACf,CAAC,CAAC;wCACE,GAAG,MAAM;wCACT,UAAU;wCACV,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wCACrC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qCAC9C;oCACH,CAAC,CAAC,MAAM,CAAC;4BACb,CAAC;wBACH,CAAC;oBACH,CAAC,CAAC,CAAC;oBACH,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CACrD;wBACC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE;wBACzB,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;oBACtB,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;oBAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBAC/C,OAAO,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS;wBACnE,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,OAAO;4BACP,SAAS;yBACV;wBACH,CAAC,CAAC,OAAO,CAAC;gBACd,CAAC;gBACD,KAAK,WAAW,CAAC;gBACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;oBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC3C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;wBACpE,OAAO,OAAO,CAAC;oBACjB,CAAC;oBAED,OAAO,OAAO,CAAC,IAAI,KAAK,WAAW;wBACjC,CAAC,CAAC,uCAAuC,CAAC,OAAO,EAAE,KAAK,CAAC;wBACzD,CAAC,CAAC;4BACE,GAAG,OAAO;4BACV,KAAK;yBACN,CAAC;gBACR,CAAC;gBACD,KAAK,eAAe,CAAC;gBACrB,KAAK,mBAAmB,CAAC;gBACzB,KAAK,aAAa,CAAC;gBACnB,KAAK,SAAS,CAAC;gBACf,KAAK,aAAa,CAAC;gBACnB,KAAK,UAAU,CAAC;gBAChB,KAAK,WAAW;oBACd,OAAO,OAAO,CAAC;YACnB,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;QAEL,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvB,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC,CAAC"}

package/dist/core/semantic/structural-view-types.d.ts

@@ -0,0 +1,10 @@
+import type { IrExpression, IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export type StructuralViewMethodSurface = {
+    readonly parameterTypes: readonly (IrType | undefined)[];
+    readonly returnType?: IrType;
+};
+export declare const resolveStructuralViewMethodSurface: (callee: IrExpression, context: EmitterContext, options?: {
+    readonly includeErasedAsInterface?: boolean;
+}) => StructuralViewMethodSurface | undefined;
+//# sourceMappingURL=structural-view-types.d.ts.map

package/dist/core/semantic/structural-view-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-view-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/structural-view-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAqBrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACzD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AA+CF,eAAO,MAAM,kCAAkC,GAC7C,QAAQ,YAAY,EACpB,SAAS,cAAc,EACvB,UAAS;IAAE,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAA;CAAO,KAC5D,2BAA2B,GAAG,SAkDhC,CAAC"}

package/dist/core/semantic/structural-view-types.js

@@ -0,0 +1,46 @@
+import { resolveLocalTypeInfo, resolveTypeAlias, stripNullish, substituteTypeArgs, } from "./type-resolution.js";
+const isStructuralViewExpression = (expression, includeErasedAsInterface) => (includeErasedAsInterface && expression.kind === "asinterface") ||
+    expression.kind === "typeAssertion" ||
+    expression.kind === "trycast";
+const substituteMemberType = (type, typeParameterNames, typeArguments) => type && typeParameterNames && typeArguments
+    ? substituteTypeArgs(type, typeParameterNames, typeArguments)
+    : type;
+const findMethodSurface = (members, memberName, typeParameterNames, typeArguments) => {
+    const method = members?.find((member) => (member.kind === "methodSignature" ||
+        member.kind === "methodDeclaration") &&
+        member.name === memberName);
+    if (!method?.parameters) {
+        return undefined;
+    }
+    return {
+        parameterTypes: method.parameters.map((parameter) => substituteMemberType(parameter.type, typeParameterNames, typeArguments)),
+        returnType: substituteMemberType(method.returnType, typeParameterNames, typeArguments),
+    };
+};
+export const resolveStructuralViewMethodSurface = (callee, context, options = {}) => {
+    if (callee.kind !== "memberAccess" ||
+        callee.isComputed ||
+        typeof callee.property !== "string" ||
+        !isStructuralViewExpression(callee.object, options.includeErasedAsInterface === true)) {
+        return undefined;
+    }
+    const targetType = callee.object.targetType;
+    const memberName = callee.property;
+    const resolvedTarget = resolveTypeAlias(stripNullish(targetType), context);
+    if (resolvedTarget.kind === "objectType") {
+        return findMethodSurface(resolvedTarget.members, memberName, undefined, undefined);
+    }
+    if (resolvedTarget.kind !== "referenceType") {
+        return undefined;
+    }
+    const structuralSurface = findMethodSurface(resolvedTarget.structuralMembers, memberName, undefined, undefined);
+    if (structuralSurface) {
+        return structuralSurface;
+    }
+    const localType = resolveLocalTypeInfo(resolvedTarget, context)?.info;
+    if (localType?.kind !== "class" && localType?.kind !== "interface") {
+        return undefined;
+    }
+    return findMethodSurface(localType.members, memberName, localType.typeParameters, resolvedTarget.typeArguments);
+};
+//# sourceMappingURL=structural-view-types.js.map

package/dist/core/semantic/structural-view-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-view-types.js","sourceRoot":"","sources":["../../../src/core/semantic/structural-view-types.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAoB9B,MAAM,0BAA0B,GAAG,CACjC,UAAwB,EACxB,wBAAiC,EACO,EAAE,CAC1C,CAAC,wBAAwB,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC;IAC/D,UAAU,CAAC,IAAI,KAAK,eAAe;IACnC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC;AAEhC,MAAM,oBAAoB,GAAG,CAC3B,IAAwB,EACxB,kBAAiD,EACjD,aAA4C,EACxB,EAAE,CACtB,IAAI,IAAI,kBAAkB,IAAI,aAAa;IACzC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC;AAEX,MAAM,iBAAiB,GAAG,CACxB,OAAgD,EAChD,UAAkB,EAClB,kBAAiD,EACjD,aAA4C,EACH,EAAE;IAC3C,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,CAC1B,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB;QAChC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC;QACtC,MAAM,CAAC,IAAI,KAAK,UAAU,CAC7B,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,oBAAoB,CAAC,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,CAAC,CACxE;QACD,UAAU,EAAE,oBAAoB,CAC9B,MAAM,CAAC,UAAU,EACjB,kBAAkB,EAClB,aAAa,CACd;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,MAAoB,EACpB,OAAuB,EACvB,UAA2D,EAAE,EACpB,EAAE;IAC3C,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;QAC9B,MAAM,CAAC,UAAU;QACjB,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACnC,CAAC,0BAA0B,CACzB,MAAM,CAAC,MAAM,EACb,OAAO,CAAC,wBAAwB,KAAK,IAAI,CAC1C,EACD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC;IACnC,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,cAAc,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACzC,OAAO,iBAAiB,CACtB,cAAc,CAAC,OAAO,EACtB,UAAU,EACV,SAAS,EACT,SAAS,CACV,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,iBAAiB,CACzC,cAAc,CAAC,iBAAiB,EAChC,UAAU,EACV,SAAS,EACT,SAAS,CACV,CAAC;IACF,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IACtE,IAAI,SAAS,EAAE,IAAI,KAAK,OAAO,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,iBAAiB,CACtB,SAAS,CAAC,OAAO,EACjB,UAAU,EACV,SAAS,CAAC,cAAc,EACxB,cAAc,CAAC,aAAa,CAC7B,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,80 @@
+/**
+ * Canonical symbol type registration — the single authority for deciding
+ * what goes into localSemanticTypes vs localValueTypes.
+ *
+ * Construct emitters (functions, variables, loops, patterns, catch) call
+ * these helpers instead of computing semantic/storage splits ad hoc.
+ * Each function encapsulates the derivation strategy for its construct kind
+ * and delegates to registerLocalSymbolTypes for the actual map update.
+ *
+ * ## Materialization boundary
+ *
+ * The emitter maintains two type channels:
+ *
+ * - **Semantic types** (localSemanticTypes): Authored frontend IR types
+ *   preserving alias identity, union structure, and type-parameter shapes.
+ *   These flow into analysis functions (narrowing, guard analysis, layout
+ *   building, `buildRuntimeUnionLayout`, `tryBuildRuntimeMaterializationAst`).
+ *
+ * - **Storage types** (localValueTypes): CLR-normalized carriers produced
+ *   by `normalizeRuntimeStorageType`. These are used for C# declarations
+ *   and runtime dispatch.
+ *
+ * The lowering boundary is enforced at emission points:
+ *
+ * - `emitTypeAst()` is where semantic → C# AST conversion happens.
+ * - `normalizeRuntimeStorageType` is called only at symbol registration
+ *   time (here) or at final emission boundaries (e.g., `access.ts`).
+ * - Analysis functions must receive semantic types, never pre-lowered
+ *   storage types. Parameter modifier wrappers (ref/out/In) may be
+ *   stripped for emission-time comparisons but must not be stripped
+ *   before passing types to materialization functions.
+ */
+import type { IrExpression, IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import { type VariableDeclaratorLike } from "./variable-type-resolution.js";
+/**
+ * Register a local symbol from its semantic (frontend IR) type.
+ *
+ * Storage type is derived automatically via normalizeRuntimeStorageType.
+ * Falls back to the semantic type itself when normalization returns undefined.
+ *
+ * Use for: parameters, pattern bindings — where the authored type is the
+ * single source of truth and storage is purely derived.
+ */
+export declare const registerParameterTypes: (originalName: string, semanticType: IrType | undefined, acceptsExplicitUndefined: boolean, context: EmitterContext) => EmitterContext;
+/**
+ * Register for-of element semantic and storage types for a loop variable.
+ *
+ * Semantic: element type derived from the collection's frontend IR type.
+ * Storage: element type derived from the collection's CLR-normalized type,
+ * falling back to semantic when normalization produces no change.
+ *
+ * The two-step derivation (normalize collection → extract element) is
+ * intentionally different from normalizing the element type directly,
+ * because collection-level normalization can change the element extraction.
+ */
+export declare const registerForOfElementSymbolTypes: (originalName: string, collectionType: IrExpression["inferredType"], context: EmitterContext) => EmitterContext;
+/**
+ * Register both semantic and storage types for a variable declaration.
+ *
+ * Semantic: decl.type (explicit annotation) or the un-normalized
+ * initializer type (preserving alias identity and union structure).
+ * Storage: the CLR-normalized carrier via resolveLocalStorageType.
+ */
+export declare const registerVariableSymbolTypes: (originalName: string, decl: VariableDeclaratorLike, context: EmitterContext, storageTypeOverride?: IrType, semanticTypeOverride?: IrType) => EmitterContext;
+/**
+ * Register catch variable types.
+ *
+ * Semantic: JsValue (broad JS-visible thrown value channel).
+ * Storage: System.Exception (the CLR catch carrier).
+ */
+export declare const registerCatchVariableTypes: (originalName: string, context: EmitterContext) => EmitterContext;
+/**
+ * Register for-in key variable types.
+ *
+ * Both semantic and storage are string — for-in keys are always strings
+ * in both channels.
+ */
+export declare const registerForInKeyTypes: (originalName: string, context: EmitterContext) => EmitterContext;
+//# sourceMappingURL=symbol-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EAGL,KAAK,sBAAsB,EAC5B,MAAM,+BAA+B,CAAC;AAGvC;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,OAAO,EACjC,SAAS,cAAc,KACtB,cAgBF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,+BAA+B,GAC1C,cAAc,MAAM,EACpB,gBAAgB,YAAY,CAAC,cAAc,CAAC,EAC5C,SAAS,cAAc,KACtB,cAYF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,cAAc,MAAM,EACpB,MAAM,sBAAsB,EAC5B,SAAS,cAAc,EACvB,sBAAsB,MAAM,EAC5B,uBAAuB,MAAM,KAC5B,cAQA,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAcA,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,cAMA,CAAC"}

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

@@ -0,0 +1,102 @@
+/**
+ * Canonical symbol type registration — the single authority for deciding
+ * what goes into localSemanticTypes vs localValueTypes.
+ *
+ * Construct emitters (functions, variables, loops, patterns, catch) call
+ * these helpers instead of computing semantic/storage splits ad hoc.
+ * Each function encapsulates the derivation strategy for its construct kind
+ * and delegates to registerLocalSymbolTypes for the actual map update.
+ *
+ * ## Materialization boundary
+ *
+ * The emitter maintains two type channels:
+ *
+ * - **Semantic types** (localSemanticTypes): Authored frontend IR types
+ *   preserving alias identity, union structure, and type-parameter shapes.
+ *   These flow into analysis functions (narrowing, guard analysis, layout
+ *   building, `buildRuntimeUnionLayout`, `tryBuildRuntimeMaterializationAst`).
+ *
+ * - **Storage types** (localValueTypes): CLR-normalized carriers produced
+ *   by `normalizeRuntimeStorageType`. These are used for C# declarations
+ *   and runtime dispatch.
+ *
+ * The lowering boundary is enforced at emission points:
+ *
+ * - `emitTypeAst()` is where semantic → C# AST conversion happens.
+ * - `normalizeRuntimeStorageType` is called only at symbol registration
+ *   time (here) or at final emission boundaries (e.g., `access.ts`).
+ * - Analysis functions must receive semantic types, never pre-lowered
+ *   storage types. Parameter modifier wrappers (ref/out/In) may be
+ *   stripped for emission-time comparisons but must not be stripped
+ *   before passing types to materialization functions.
+ */
+import { normalizeRuntimeStorageType } from "./storage-types.js";
+import { registerLocalSymbolTypes } from "../format/local-names.js";
+import { deriveForOfElementType } from "./iteration-types.js";
+import { resolveSemanticVariableInitializerType, resolveLocalStorageType, } from "./variable-type-resolution.js";
+import { getAcceptedParameterType } from "./defaults.js";
+/**
+ * Register a local symbol from its semantic (frontend IR) type.
+ *
+ * Storage type is derived automatically via normalizeRuntimeStorageType.
+ * Falls back to the semantic type itself when normalization returns undefined.
+ *
+ * Use for: parameters, pattern bindings — where the authored type is the
+ * single source of truth and storage is purely derived.
+ */
+export const registerParameterTypes = (originalName, semanticType, acceptsExplicitUndefined, context) => {
+    const acceptedType = getAcceptedParameterType(semanticType, acceptsExplicitUndefined);
+    const storageType = normalizeRuntimeStorageType(acceptedType, context) ??
+        acceptedType ??
+        semanticType;
+    return registerLocalSymbolTypes(originalName, acceptedType ?? semanticType, storageType, context);
+};
+/**
+ * Register for-of element semantic and storage types for a loop variable.
+ *
+ * Semantic: element type derived from the collection's frontend IR type.
+ * Storage: element type derived from the collection's CLR-normalized type,
+ * falling back to semantic when normalization produces no change.
+ *
+ * The two-step derivation (normalize collection → extract element) is
+ * intentionally different from normalizing the element type directly,
+ * because collection-level normalization can change the element extraction.
+ */
+export const registerForOfElementSymbolTypes = (originalName, collectionType, context) => {
+    const semanticElementType = deriveForOfElementType(collectionType, context);
+    const storageElementType = deriveForOfElementType(normalizeRuntimeStorageType(collectionType, context), context);
+    return registerLocalSymbolTypes(originalName, semanticElementType, storageElementType ?? semanticElementType, context);
+};
+/**
+ * Register both semantic and storage types for a variable declaration.
+ *
+ * Semantic: decl.type (explicit annotation) or the un-normalized
+ * initializer type (preserving alias identity and union structure).
+ * Storage: the CLR-normalized carrier via resolveLocalStorageType.
+ */
+export const registerVariableSymbolTypes = (originalName, decl, context, storageTypeOverride, semanticTypeOverride) => registerLocalSymbolTypes(originalName, semanticTypeOverride ??
+    decl.type ??
+    resolveSemanticVariableInitializerType(decl.initializer, context), storageTypeOverride ?? resolveLocalStorageType(decl, context), context);
+/**
+ * Register catch variable types.
+ *
+ * Semantic: JsValue (broad JS-visible thrown value channel).
+ * Storage: System.Exception (the CLR catch carrier).
+ */
+export const registerCatchVariableTypes = (originalName, context) => registerLocalSymbolTypes(originalName, {
+    kind: "referenceType",
+    name: "JsValue",
+    resolvedClrType: "Tsonic.Runtime.JsValue",
+}, {
+    kind: "referenceType",
+    name: "System.Exception",
+    resolvedClrType: "global::System.Exception",
+}, context);
+/**
+ * Register for-in key variable types.
+ *
+ * Both semantic and storage are string — for-in keys are always strings
+ * in both channels.
+ */
+export const registerForInKeyTypes = (originalName, context) => registerLocalSymbolTypes(originalName, { kind: "primitiveType", name: "string" }, { kind: "primitiveType", name: "string" }, context);
+//# sourceMappingURL=symbol-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-types.js","sourceRoot":"","sources":["../../../src/core/semantic/symbol-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAIH,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EACL,sCAAsC,EACtC,uBAAuB,GAExB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAEzD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,YAAgC,EAChC,wBAAiC,EACjC,OAAuB,EACP,EAAE;IAClB,MAAM,YAAY,GAAG,wBAAwB,CAC3C,YAAY,EACZ,wBAAwB,CACzB,CAAC;IACF,MAAM,WAAW,GACf,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC;QAClD,YAAY;QACZ,YAAY,CAAC;IAEf,OAAO,wBAAwB,CAC7B,YAAY,EACZ,YAAY,IAAI,YAAY,EAC5B,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAoB,EACpB,cAA4C,EAC5C,OAAuB,EACP,EAAE;IAClB,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,sBAAsB,CAC/C,2BAA2B,CAAC,cAAc,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACF,OAAO,wBAAwB,CAC7B,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,IAAI,mBAAmB,EACzC,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAAoB,EACpB,IAA4B,EAC5B,OAAuB,EACvB,mBAA4B,EAC5B,oBAA6B,EACb,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,oBAAoB;IAClB,IAAI,CAAC,IAAI;IACT,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,EACnE,mBAAmB,IAAI,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7D,OAAO,CACR,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,YAAoB,EACpB,OAAuB,EACP,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,SAAS;IACf,eAAe,EAAE,wBAAwB;CAC1C,EACD;IACE,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,eAAe,EAAE,0BAA0B;CAC5C,EACD,OAAO,CACR,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAoB,EACpB,OAAuB,EACP,EAAE,CAClB,wBAAwB,CACtB,YAAY,EACZ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CAAC"}

package/dist/core/semantic/ternary-guards.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Ternary (conditional expression) guard detection helpers.
+ *
+ * Pure detection module — extracts TernaryGuardInfo from condition expressions
+ * for use by the conditional-emitter. Lives in core/semantic to avoid a module
+ * cycle between expressions/ and statements/control/.
+ *
+ * The ternary guard path differs from the if-statement guard path in two ways:
+ * - Uses `findRuntimeUnionMemberIndices` (semantic matching) instead of
+ *   `findExactRuntimeUnionMemberIndices` (strict key matching).
+ * - Uses `buildRuntimeUnionLayout` (not `resolveRuntimeUnionFrame`) for
+ *   discriminant equality detection.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import { type EmitTypeAstLike } from "./runtime-unions.js";
+/**
+ * Information extracted from a ternary condition guard.
+ * Used to generate inline Union.IsN()/AsN() narrowing in conditional expressions.
+ *
+ * Unlike statement-level GuardInfo (which produces `var __narrowed = x.AsN()`),
+ * TernaryGuardInfo uses inline narrowedBindings (`x → (x.AsN())`).
+ */
+export type TernaryGuardInfo = {
+    readonly originalName: string;
+    readonly memberN: number;
+    readonly narrowedType: IrType;
+    readonly sourceType: IrType;
+    readonly escapedOrig: string;
+    readonly polarity: "positive" | "negative";
+};
+/**
+ * Try to extract ternary guard info from a condition expression.
+ * Handles type predicate calls (`isUser(x)`), negated calls (`!isUser(x)`),
+ * and discriminant literal equality (`x.kind === "circle"`).
+ * Returns guard info with polarity indicating which branch to narrow.
+ *
+ * Accepts `emitTypeAst` as a callback (threaded to discriminant equality
+ * detection via `buildRuntimeUnionLayout`) to keep this module free of
+ * upward imports into the root emitter layer.
+ */
+export declare const tryResolveTernaryGuard: (condition: IrExpression, context: EmitterContext, emitTypeAst: EmitTypeAstLike) => TernaryGuardInfo | undefined;
+//# sourceMappingURL=ternary-guards.d.ts.map

package/dist/core/semantic/ternary-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ternary-guards.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,qBAAqB,CAAC;AAW7B;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;CAC5C,CAAC;AAwOF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,GACjC,WAAW,YAAY,EACvB,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,gBAAgB,GAAG,SA8BrB,CAAC"}