@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/nullish-value-helpers.js

@@ -0,0 +1,346 @@
+/**
+ * Nullish stripping, value-type classification, array-like element extraction,
+ * and type-alias resolution. Foundational leaf utilities consumed by all other
+ * type-resolution sub-modules.
+ *
+ * Type-argument substitution lives in:
+ *   - type-substitution.ts
+ */
+import { normalizedUnionType } from "@tsonic/frontend";
+import { getIdentifierTypeName } from "../format/backend-ast/utils.js";
+import { resolveLocalTypeInfo } from "./property-lookup-resolution.js";
+import { rebuildUnionTypePreservingCarrierFamily } from "./runtime-union-family-preservation.js";
+import { substituteTypeArgs } from "./type-substitution.js";
+import { canUseLocalTypeLookupCandidate, getLocalTypeLookupCandidates, } from "./local-type-lookup.js";
+// ---------------------------------------------------------------------------
+// stripNullish
+// ---------------------------------------------------------------------------
+export const stripNullish = (type) => {
+    if (type.kind !== "unionType")
+        return type;
+    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    // Single non-nullish type: return it (e.g., T | null -> T)
+    if (nonNullish.length === 1 && nonNullish[0]) {
+        return nonNullish[0];
+    }
+    if (nonNullish.length === type.types.length) {
+        return type;
+    }
+    if (nonNullish.length > 1) {
+        return rebuildUnionTypePreservingCarrierFamily(type, nonNullish);
+    }
+    return type;
+};
+// ---------------------------------------------------------------------------
+// isRuntimeNullishMember / isRuntimeNullishType
+// ---------------------------------------------------------------------------
+export const isRuntimeNullishMember = (type) => type.kind === "primitiveType" &&
+    (type.name === "null" || type.name === "undefined");
+/**
+ * Runtime-absence members in TypeScript unions.
+ *
+ * `void` is a type-level way of saying "the runtime value is undefined".
+ * For C# emission we must treat `void` exactly like `undefined` / `null`
+ * when deciding whether a union can be represented as a nullable type.
+ */
+export const isRuntimeNullishType = (type) => type.kind === "voidType" ||
+    (type.kind === "primitiveType" &&
+        (type.name === "null" || type.name === "undefined"));
+// ---------------------------------------------------------------------------
+// splitRuntimeNullishUnionMembers
+// ---------------------------------------------------------------------------
+/**
+ * Split a union into runtime-nullish members and non-nullish members.
+ *
+ * Returns `undefined` for non-union types.
+ */
+export const splitRuntimeNullishUnionMembers = (type) => {
+    if (type.kind !== "unionType") {
+        return undefined;
+    }
+    const nonNullishMembers = type.types.filter((member) => {
+        return !isRuntimeNullishType(member);
+    });
+    if (type.preserveRuntimeLayout === true) {
+        return {
+            hasRuntimeNullish: nonNullishMembers.length !== type.types.length,
+            nonNullishMembers,
+        };
+    }
+    const canonicalUnion = nonNullishMembers.length <= 1
+        ? undefined
+        : normalizedUnionType(nonNullishMembers);
+    const canonicalMembers = nonNullishMembers.length <= 1
+        ? nonNullishMembers
+        : canonicalUnion?.kind === "unionType"
+            ? canonicalUnion.types
+            : canonicalUnion
+                ? [canonicalUnion]
+                : nonNullishMembers;
+    return {
+        hasRuntimeNullish: nonNullishMembers.length !== type.types.length,
+        nonNullishMembers: canonicalMembers,
+    };
+};
+// ---------------------------------------------------------------------------
+// isDefinitelyValueType
+// ---------------------------------------------------------------------------
+const CLR_VALUE_TYPES = new Set([
+    "global::System.DateTime",
+    "global::System.DateOnly",
+    "global::System.TimeOnly",
+    "global::System.TimeSpan",
+    "global::System.Guid",
+    "global::System.Decimal",
+    "System.DateTime",
+    "System.DateOnly",
+    "System.TimeOnly",
+    "System.TimeSpan",
+    "System.Guid",
+    "System.Decimal",
+]);
+const TS_VALUE_TYPE_REFERENCE_NAMES = new Set([
+    "bool",
+    "boolean",
+    "byte",
+    "sbyte",
+    "short",
+    "ushort",
+    "int",
+    "uint",
+    "long",
+    "ulong",
+    "nint",
+    "nuint",
+    "char",
+    "float",
+    "double",
+    "decimal",
+    "Half",
+    "System.Half",
+    "Int128",
+    "System.Int128",
+    "UInt128",
+    "System.UInt128",
+]);
+/**
+ * Check if a type is definitely a C# value type.
+ *
+ * Value types require `default` instead of `null` in object initializers
+ * because `null` cannot be assigned to non-nullable value types.
+ *
+ * @param type - The type to check (should be non-nullish, use stripNullish first)
+ * @returns true if the type is a known value type
+ */
+export const isDefinitelyValueType = (type) => {
+    // Strip nullish first if caller forgot
+    const base = stripNullish(type);
+    // Primitive value types (number -> double, int -> int, boolean -> bool, char -> char)
+    if (base.kind === "primitiveType") {
+        return ["number", "int", "boolean", "char"].includes(base.name);
+    }
+    if (base.kind === "tupleType") {
+        return true;
+    }
+    // Known CLR struct types
+    if (base.kind === "referenceType") {
+        if (TS_VALUE_TYPE_REFERENCE_NAMES.has(base.name)) {
+            return true;
+        }
+        const clr = base.resolvedClrType;
+        if (clr && CLR_VALUE_TYPES.has(clr)) {
+            return true;
+        }
+    }
+    return false;
+};
+// ---------------------------------------------------------------------------
+// getArrayLikeElementType / resolveArrayLikeReceiverType
+// ---------------------------------------------------------------------------
+/**
+ * Resolve the element type of an array-like IR type after alias/nullish expansion.
+ *
+ * This is used by emission paths that need the element contract of rest parameters
+ * or contextual array expressions even when the surface type is spelled through
+ * local aliases or ReadonlyArray-style wrappers.
+ */
+export const getArrayLikeElementType = (type, context) => {
+    if (!type)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "arrayType") {
+        return resolved.elementType;
+    }
+    if (resolved.kind === "tupleType") {
+        if (resolved.elementTypes.length === 1) {
+            return resolved.elementTypes[0];
+        }
+        return undefined;
+    }
+    if (resolved.kind === "referenceType" &&
+        (resolved.name === "Array" ||
+            resolved.name === "ReadonlyArray" ||
+            resolved.name === "ArrayLike") &&
+        resolved.typeArguments?.length === 1) {
+        const localTypeInfo = resolveLocalTypeInfo(resolved, context);
+        if (localTypeInfo?.info.kind === "class") {
+            return undefined;
+        }
+        return resolved.typeArguments[0];
+    }
+    return undefined;
+};
+export const resolveArrayLikeReceiverType = (type, context) => {
+    if (!type)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "arrayType") {
+        return resolved;
+    }
+    const elementType = getArrayLikeElementType(type, context);
+    if (!elementType) {
+        return undefined;
+    }
+    return {
+        kind: "arrayType",
+        elementType,
+        origin: "explicit",
+    };
+};
+// ---------------------------------------------------------------------------
+// resolveTypeAlias
+// ---------------------------------------------------------------------------
+/**
+ * Resolve a type alias to its underlying type.
+ *
+ * If the type is a reference type that points to a type alias,
+ * returns the underlying type with type arguments substituted.
+ *
+ * @param type - The type to resolve
+ * @param context - Emitter context with localTypes map
+ * @returns The resolved underlying type, or the original type if not an alias
+ */
+export const resolveTypeAlias = (type, context, options = {}) => {
+    if (type.kind !== "referenceType") {
+        return type;
+    }
+    const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+    const lookupCandidates = getLocalTypeLookupCandidates(type.name);
+    const localTypeInfo = (() => {
+        for (const candidate of lookupCandidates) {
+            const hit = context.localTypes?.get(candidate.name);
+            if (hit && canUseLocalTypeLookupCandidate(hit, candidate)) {
+                return hit;
+            }
+        }
+        return undefined;
+    })();
+    if (localTypeInfo?.kind === "typeAlias") {
+        if (options.preserveObjectTypeAliases &&
+            localTypeInfo.type.kind === "objectType") {
+            return type;
+        }
+        // Substitute type arguments if present
+        if (type.typeArguments && type.typeArguments.length > 0) {
+            const substituted = substituteTypeArgs(localTypeInfo.type, localTypeInfo.typeParameters, type.typeArguments);
+            return substituted;
+        }
+        return localTypeInfo.type;
+    }
+    const importedAliasBinding = context.importBindings?.get(type.name) ??
+        lookupCandidates
+            .map((candidate) => context.importBindings?.get(candidate.name))
+            .find((binding) => binding !== undefined);
+    if (importedAliasBinding?.kind === "type" &&
+        importedAliasBinding.aliasType !== undefined) {
+        if (options.preserveObjectTypeAliases &&
+            importedAliasBinding.aliasType.kind === "objectType") {
+            return type;
+        }
+        if (type.typeArguments && type.typeArguments.length > 0) {
+            const substituted = substituteTypeArgs(importedAliasBinding.aliasType, importedAliasBinding.aliasTypeParameters ?? [], type.typeArguments);
+            return substituted;
+        }
+        return importedAliasBinding.aliasType;
+    }
+    const moduleMap = context.options.moduleMap;
+    if (moduleMap) {
+        const importedBindingTypeName = importedAliasBinding?.kind === "type"
+            ? getIdentifierTypeName(importedAliasBinding.typeAst)
+            : undefined;
+        const crossModuleAliasMatches = [];
+        for (const candidate of lookupCandidates) {
+            for (const moduleInfo of moduleMap.values()) {
+                const aliasInfo = moduleInfo.localTypes?.get(candidate.name);
+                if (!aliasInfo ||
+                    aliasInfo.kind !== "typeAlias" ||
+                    !canUseLocalTypeLookupCandidate(aliasInfo, candidate)) {
+                    continue;
+                }
+                crossModuleAliasMatches.push({
+                    namespace: moduleInfo.namespace,
+                    type: aliasInfo.type,
+                    typeParameters: aliasInfo.typeParameters,
+                });
+            }
+        }
+        const resolveCrossModuleAlias = (match) => {
+            if (!match) {
+                return undefined;
+            }
+            if (options.preserveObjectTypeAliases &&
+                match.type.kind === "objectType") {
+                return type;
+            }
+            if (type.typeArguments && type.typeArguments.length > 0) {
+                const substituted = substituteTypeArgs(match.type, match.typeParameters, type.typeArguments);
+                return substituted;
+            }
+            return match.type;
+        };
+        const fqnCandidate = (importedBindingTypeName
+            ? stripGlobalPrefix(importedBindingTypeName)
+            : undefined) ??
+            type.resolvedClrType ??
+            type.typeId?.clrName ??
+            (type.name.includes(".") ? stripGlobalPrefix(type.name) : undefined);
+        if (fqnCandidate && fqnCandidate.includes(".")) {
+            const namespace = fqnCandidate.slice(0, fqnCandidate.lastIndexOf("."));
+            const scopedMatches = crossModuleAliasMatches.filter((match) => match.namespace === namespace);
+            if (scopedMatches.length === 1) {
+                const resolved = resolveCrossModuleAlias(scopedMatches[0]);
+                if (resolved) {
+                    return resolved;
+                }
+            }
+        }
+    }
+    const aliasIndex = context.options.typeAliasIndex;
+    if (!aliasIndex) {
+        return type;
+    }
+    const qualifiedAliasCandidates = [
+        type.resolvedClrType,
+        type.typeId?.clrName,
+        stripGlobalPrefix(type.name),
+    ]
+        .filter((candidate) => !!candidate)
+        .map(stripGlobalPrefix);
+    const aliasEntry = qualifiedAliasCandidates
+        .map((candidate) => aliasIndex.byFqn.get(candidate))
+        .find((entry) => entry !== undefined);
+    if (!aliasEntry) {
+        return type;
+    }
+    if (options.preserveObjectTypeAliases &&
+        aliasEntry.type.kind === "objectType") {
+        return type;
+    }
+    if (type.typeArguments && type.typeArguments.length > 0) {
+        const substituted = substituteTypeArgs(aliasEntry.type, aliasEntry.typeParameters, type.typeArguments);
+        return substituted;
+    }
+    return aliasEntry.type;
+};
+//# sourceMappingURL=nullish-value-helpers.js.map

package/dist/core/semantic/nullish-value-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish-value-helpers.js","sourceRoot":"","sources":["../../../src/core/semantic/nullish-value-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,uCAAuC,EAAE,MAAM,wCAAwC,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAEhC,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAE3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IAEF,2DAA2D;IAC3D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,uCAAuC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,8EAA8E;AAC9E,gDAAgD;AAChD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9D,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CAC5D,IAAI,CAAC,IAAI,KAAK,UAAU;IACxB,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;QAC5B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;AAEzD,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EAMA,EAAE;IACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;QACrD,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO;YACL,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;YACjE,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAClB,iBAAiB,CAAC,MAAM,IAAI,CAAC;QAC3B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC7C,MAAM,gBAAgB,GACpB,iBAAiB,CAAC,MAAM,IAAI,CAAC;QAC3B,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,cAAc,EAAE,IAAI,KAAK,WAAW;YACpC,CAAC,CAAC,cAAc,CAAC,KAAK;YACtB,CAAC,CAAC,cAAc;gBACd,CAAC,CAAC,CAAC,cAAc,CAAC;gBAClB,CAAC,CAAC,iBAAiB,CAAC;IAE5B,OAAO;QACL,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QACjE,iBAAiB,EAAE,gBAAgB;KACpC,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,yBAAyB;IACzB,qBAAqB;IACrB,wBAAwB;IACxB,iBAAiB;IACjB,iBAAiB;IACjB,iBAAiB;IACjB,iBAAiB;IACjB,aAAa;IACb,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC;IAC5C,MAAM;IACN,SAAS;IACT,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,KAAK;IACL,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,MAAM;IACN,aAAa;IACb,QAAQ;IACR,eAAe;IACf,SAAS;IACT,gBAAgB;CACjB,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE;IAC7D,uCAAuC;IACvC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEhC,sFAAsF;IACtF,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yBAAyB;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IAAI,6BAA6B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC;QACjC,IAAI,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,8EAA8E;AAC9E,yDAAyD;AACzD,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,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,WAAW,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,OAAO,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO;YACxB,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC;QAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EACpC,CAAC;QACD,MAAM,aAAa,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,aAAa,EAAE,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAwB,EACxB,OAAuB,EAC6B,EAAE;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,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,WAAW,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,WAAW;QACX,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EACvB,UAEI,EAAE,EACE,EAAE;IACV,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAErE,MAAM,gBAAgB,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjE,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE;QAC1B,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACpD,IAAI,GAAG,IAAI,8BAA8B,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC1D,OAAO,GAAG,CAAC;YACb,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACxC,IACE,OAAO,CAAC,yBAAyB;YACjC,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EACxC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uCAAuC;QACvC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,WAAW,GAAG,kBAAkB,CACpC,aAAa,CAAC,IAAI,EAClB,aAAa,CAAC,cAAc,EAC5B,IAAI,CAAC,aAAa,CACnB,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,OAAO,aAAa,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED,MAAM,oBAAoB,GACxB,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QACtC,gBAAgB;aACb,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;aAC/D,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC9C,IACE,oBAAoB,EAAE,IAAI,KAAK,MAAM;QACrC,oBAAoB,CAAC,SAAS,KAAK,SAAS,EAC5C,CAAC;QACD,IACE,OAAO,CAAC,yBAAyB;YACjC,oBAAoB,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,EACpD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,WAAW,GAAG,kBAAkB,CACpC,oBAAoB,CAAC,SAAS,EAC9B,oBAAoB,CAAC,mBAAmB,IAAI,EAAE,EAC9C,IAAI,CAAC,aAAa,CACnB,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,OAAO,oBAAoB,CAAC,SAAS,CAAC;IACxC,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,uBAAuB,GAC3B,oBAAoB,EAAE,IAAI,KAAK,MAAM;YACnC,CAAC,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,OAAO,CAAC;YACrD,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,uBAAuB,GAIvB,EAAE,CAAC;QAET,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;YACzC,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC5C,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC7D,IACE,CAAC,SAAS;oBACV,SAAS,CAAC,IAAI,KAAK,WAAW;oBAC9B,CAAC,8BAA8B,CAAC,SAAS,EAAE,SAAS,CAAC,EACrD,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,uBAAuB,CAAC,IAAI,CAAC;oBAC3B,SAAS,EAAE,UAAU,CAAC,SAAS;oBAC/B,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,cAAc,EAAE,SAAS,CAAC,cAAc;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,MAAM,uBAAuB,GAAG,CAC9B,KAMa,EACO,EAAE;YACtB,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IACE,OAAO,CAAC,yBAAyB;gBACjC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAChC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,MAAM,WAAW,GAAG,kBAAkB,CACpC,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,IAAI,CAAC,aAAa,CACnB,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YAED,OAAO,KAAK,CAAC,IAAI,CAAC;QACpB,CAAC,CAAC;QAEF,MAAM,YAAY,GAChB,CAAC,uBAAuB;YACtB,CAAC,CAAC,iBAAiB,CAAC,uBAAuB,CAAC;YAC5C,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,CAAC,eAAe;YACpB,IAAI,CAAC,MAAM,EAAE,OAAO;YACpB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACvE,IAAI,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YACvE,MAAM,aAAa,GAAG,uBAAuB,CAAC,MAAM,CAClD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CACzC,CAAC;YACF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,IAAI,QAAQ,EAAE,CAAC;oBACb,OAAO,QAAQ,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC;IAClD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,wBAAwB,GAAG;QAC/B,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,MAAM,EAAE,OAAO;QACpB,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;KAC7B;SACE,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;SACvD,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,wBAAwB;SACxC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;SACnD,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAExC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IACE,OAAO,CAAC,yBAAyB;QACjC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,WAAW,GAAG,kBAAkB,CACpC,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,cAAc,EACzB,IAAI,CAAC,aAAa,CACnB,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC;AACzB,CAAC,CAAC"}

package/dist/core/semantic/parameter-modifier-types.d.ts

@@ -0,0 +1,3 @@
+import type { IrType } from "@tsonic/frontend";
+export declare const unwrapParameterModifierType: (type: IrType | undefined) => IrType | undefined;
+//# sourceMappingURL=parameter-modifier-types.d.ts.map

package/dist/core/semantic/parameter-modifier-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-modifier-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/parameter-modifier-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SAmBX,CAAC"}

package/dist/core/semantic/parameter-modifier-types.js

@@ -0,0 +1,17 @@
+export const unwrapParameterModifierType = (type) => {
+    let current = type;
+    while (current?.kind === "referenceType" &&
+        (current.name === "out" ||
+            current.name === "ref" ||
+            current.name === "In" ||
+            current.name === "inref") &&
+        current.typeArguments?.length === 1) {
+        const inner = current.typeArguments[0];
+        if (!inner) {
+            break;
+        }
+        current = inner;
+    }
+    return current;
+};
+//# sourceMappingURL=parameter-modifier-types.js.map

package/dist/core/semantic/parameter-modifier-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-modifier-types.js","sourceRoot":"","sources":["../../../src/core/semantic/parameter-modifier-types.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACJ,EAAE;IACtB,IAAI,OAAO,GAAG,IAAI,CAAC;IAEnB,OACE,OAAO,EAAE,IAAI,KAAK,eAAe;QACjC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;YACrB,OAAO,CAAC,IAAI,KAAK,KAAK;YACtB,OAAO,CAAC,IAAI,KAAK,IAAI;YACrB,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;QAC3B,OAAO,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM;QACR,CAAC;QACD,OAAO,GAAG,KAAK,CAAC;IAClB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}

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

@@ -0,0 +1,59 @@
+/**
+ * Pattern-specific type derivation helpers.
+ *
+ * Semantic type computations for extracting element/rest types from
+ * arrays and tuples during pattern destructuring. These are the pattern
+ * analogue of deriveForOfElementType in iteration-types.ts.
+ *
+ * No emission imports — only IR type manipulation and peer semantic helpers.
+ */
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+/**
+ * Resolved array pattern type info.
+ *
+ * Discriminated union so callers can switch on `.kind` to route
+ * into tuple vs array lowering paths.
+ */
+export type ArrayPatternTypeInfo = {
+    readonly kind: "tuple";
+    readonly tupleType: Extract<IrType, {
+        kind: "tupleType";
+    }>;
+} | {
+    readonly kind: "array";
+    readonly elementType: IrType | undefined;
+    readonly originalType: IrType | undefined;
+};
+/**
+ * Resolve the element type info for an array pattern.
+ *
+ * Tuple routing: resolves aliases and strips nullish to check for tuples,
+ * which need dedicated lowering (ValueTuple member access).
+ *
+ * Array element derivation: delegates to the canonical `getArrayLikeElementType`
+ * which handles nullish stripping, aliases, Array<T>, ReadonlyArray<T>,
+ * and ArrayLike<T>.
+ *
+ * Callers switch on `.kind` to route into tuple vs array lowering.
+ */
+export declare const resolveArrayPatternType: (type: IrType | undefined, context: EmitterContext) => ArrayPatternTypeInfo;
+/**
+ * Extract the element type at a given index from a tuple type.
+ *
+ * For indices >= 7, follows the C# ValueTuple nesting convention
+ * (Rest field holds remaining elements as a nested tuple).
+ */
+export declare const getTupleElementType: (tupleType: Extract<IrType, {
+    kind: "tupleType";
+}>, index: number) => IrType | undefined;
+/**
+ * Derive the array type for a rest binding from a tuple pattern.
+ *
+ * For `const [a, b, ...rest] = tuple`, computes the type of `rest`
+ * as an array of the remaining tuple element types (or their union).
+ */
+export declare const getTupleRestArrayType: (tupleType: Extract<IrType, {
+    kind: "tupleType";
+}>, startIndex: number) => IrType | undefined;
+//# sourceMappingURL=pattern-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/pattern-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAOrD;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;CAC5D,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C,CAAC;AAEN;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,oBAmBF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,OAAO,MAAM,KACZ,MAAM,GAAG,SAeX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,YAAY,MAAM,KACjB,MAAM,GAAG,SA4BX,CAAC"}

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

@@ -0,0 +1,92 @@
+/**
+ * Pattern-specific type derivation helpers.
+ *
+ * Semantic type computations for extracting element/rest types from
+ * arrays and tuples during pattern destructuring. These are the pattern
+ * analogue of deriveForOfElementType in iteration-types.ts.
+ *
+ * No emission imports — only IR type manipulation and peer semantic helpers.
+ */
+import { resolveTypeAlias, stripNullish, getArrayLikeElementType, } from "./type-resolution.js";
+/**
+ * Resolve the element type info for an array pattern.
+ *
+ * Tuple routing: resolves aliases and strips nullish to check for tuples,
+ * which need dedicated lowering (ValueTuple member access).
+ *
+ * Array element derivation: delegates to the canonical `getArrayLikeElementType`
+ * which handles nullish stripping, aliases, Array<T>, ReadonlyArray<T>,
+ * and ArrayLike<T>.
+ *
+ * Callers switch on `.kind` to route into tuple vs array lowering.
+ */
+export const resolveArrayPatternType = (type, context) => {
+    if (!type)
+        return { kind: "array", elementType: undefined, originalType: undefined };
+    // Resolve through aliases and strip nullish for tuple detection.
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    // Tuples need dedicated lowering (ValueTuple.ItemN member access).
+    if (resolved.kind === "tupleType") {
+        return { kind: "tuple", tupleType: resolved };
+    }
+    // For everything else (arrays, reference-backed array-likes),
+    // use the canonical shared helper.
+    return {
+        kind: "array",
+        elementType: getArrayLikeElementType(type, context),
+        originalType: type,
+    };
+};
+/**
+ * Extract the element type at a given index from a tuple type.
+ *
+ * For indices >= 7, follows the C# ValueTuple nesting convention
+ * (Rest field holds remaining elements as a nested tuple).
+ */
+export const getTupleElementType = (tupleType, index) => {
+    const direct = tupleType.elementTypes[index];
+    if (direct)
+        return direct;
+    if (index < 7)
+        return undefined;
+    const rest = tupleType.elementTypes.slice(7);
+    if (rest.length === 0)
+        return undefined;
+    return getTupleElementType({
+        kind: "tupleType",
+        elementTypes: rest,
+    }, index - 7);
+};
+/**
+ * Derive the array type for a rest binding from a tuple pattern.
+ *
+ * For `const [a, b, ...rest] = tuple`, computes the type of `rest`
+ * as an array of the remaining tuple element types (or their union).
+ */
+export const getTupleRestArrayType = (tupleType, startIndex) => {
+    const remaining = tupleType.elementTypes.slice(startIndex);
+    if (remaining.length === 0) {
+        return {
+            kind: "arrayType",
+            elementType: { kind: "unknownType" },
+        };
+    }
+    const [first, ...rest] = remaining;
+    if (!first) {
+        return {
+            kind: "arrayType",
+            elementType: { kind: "unknownType" },
+        };
+    }
+    if (rest.length === 0) {
+        return { kind: "arrayType", elementType: first };
+    }
+    return {
+        kind: "arrayType",
+        elementType: {
+            kind: "unionType",
+            types: remaining.filter((item) => item !== undefined),
+        },
+    };
+};
+//# sourceMappingURL=pattern-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-types.js","sourceRoot":"","sources":["../../../src/core/semantic/pattern-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAmB9B;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAwB,EACxB,OAAuB,EACD,EAAE;IACxB,IAAI,CAAC,IAAI;QACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;IAE5E,iEAAiE;IACjE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,mEAAmE;IACnE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAChD,CAAC;IAED,8DAA8D;IAC9D,mCAAmC;IACnC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,WAAW,EAAE,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC;QACnD,YAAY,EAAE,IAAI;KACnB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,SAAiD,EACjD,KAAa,EACO,EAAE;IACtB,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAExC,OAAO,mBAAmB,CACxB;QACE,IAAI,EAAE,WAAW;QACjB,YAAY,EAAE,IAAI;KACnB,EACD,KAAK,GAAG,CAAC,CACV,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,SAAiD,EACjD,UAAkB,EACE,EAAE;IACtB,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACrC,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC;IACnC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACrC,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IACnD,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE;YACX,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;SACtE;KACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/property-lookup-membership.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Property membership checks and structural type analysis.
+ *
+ * Deterministic property membership:
+ * - hasDeterministicPropertyMembership: Check if a type has a property
+ * - getAllPropertySignatures: Get all property signatures for a type
+ * - collectInterfaceProps: Recursive interface property collection
+ * - isTypeOnlyStructuralTarget: Check if a type is purely structural
+ * - isCompilerGeneratedStructuralCarrierType: Detect compiler-generated carriers
+ */
+import type { IrType, IrPropertySignature } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const hasDeterministicPropertyMembership: (type: IrType, propertyName: string, context: EmitterContext) => boolean | undefined;
+/**
+ * Get all property signatures for a type, including inherited interface members.
+ *
+ * Notes:
+ * - Only supports referenceType -> local interface lookup (synthetic union members are always interfaces).
+ * - Derived members override base members by name.
+ * - Cycle-safe via visitedTypes.
+ */
+export declare const getAllPropertySignatures: (type: IrType, context: EmitterContext) => readonly IrPropertySignature[] | undefined;
+/**
+ * True when a type is purely structural/type-only at runtime.
+ *
+ * Type assertions to these targets must be erased rather than emitted as
+ * CLR casts, because there is no meaningful runtime conversion.
+ */
+export declare const isTypeOnlyStructuralTarget: (type: IrType, context: EmitterContext) => boolean;
+//# sourceMappingURL=property-lookup-membership.d.ts.map

package/dist/core/semantic/property-lookup-membership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-lookup-membership.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/property-lookup-membership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAgDrD,eAAO,MAAM,kCAAkC,GAC7C,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAAO,GAAG,SAiDZ,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,SAAS,mBAAmB,EAAE,GAAG,SAgBnC,CAAC;AA+CF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAyCF,CAAC"}