@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/utility-type-filter-helpers.js

@@ -0,0 +1,142 @@
+/**
+ * Utility Type Filter Helpers — Exclude/Extract/NonNullable/ReturnType/Parameters/Awaited/Record
+ *
+ * Implements utility types that filter, extract, or transform types without
+ * modifying object members:
+ * - NonNullable: Filter null/undefined from union
+ * - Exclude/Extract: Filter union members by type matching
+ * - ReturnType/Parameters: Extract from function types
+ * - Awaited: Recursive unwrap of async wrappers
+ * - Record: Create dictionary or object type from keys + value
+ *
+ * DAG position: depends on type-system-state + type-system-relations
+ */
+import { unknownType, neverType, voidType } from "./types.js";
+import { emitDiagnostic, isNullishPrimitive } from "./type-system-state.js";
+import { typesEqual } from "./type-system-relations.js";
+import { getAwaitedIrType } from "../types/type-ops.js";
+import { expandReferenceAlias } from "./type-alias-expansion.js";
+import { extractLiteralKeys } from "./utility-type-mapped-helpers.js";
+/**
+ * Expand ReturnType<F>: Extract return type from function type
+ */
+export const expandReturnTypeUtility = (state, type, site) => {
+    if (type.kind === "functionType") {
+        return type.returnType ?? voidType;
+    }
+    emitDiagnostic(state, "TSN7414", `ReturnType requires a function type argument`, site);
+    return unknownType;
+};
+/**
+ * Expand Parameters<F>: Extract parameters as tuple from function type
+ */
+export const expandParametersUtility = (state, type, site) => {
+    if (type.kind === "functionType") {
+        const elementTypes = type.parameters.map((p) => p.type ?? { kind: "anyType" });
+        return { kind: "tupleType", elementTypes };
+    }
+    emitDiagnostic(state, "TSN7414", `Parameters requires a function type argument`, site);
+    return unknownType;
+};
+/**
+ * Expand Exclude<T, U> or Extract<T, U>
+ */
+export const expandExcludeExtractUtility = (tType, uType, isExtract) => {
+    // If T is not a union, check if it matches U
+    if (tType.kind !== "unionType") {
+        const matches = typesEqual(tType, uType) ||
+            (uType.kind === "unionType" &&
+                uType.types.some((u) => typesEqual(tType, u)));
+        if (isExtract) {
+            return matches ? tType : neverType;
+        }
+        else {
+            return matches ? neverType : tType;
+        }
+    }
+    // T is a union - filter its constituents
+    const uTypes = uType.kind === "unionType" ? uType.types : [uType];
+    const filtered = tType.types.filter((t) => {
+        const matches = uTypes.some((u) => typesEqual(t, u));
+        return isExtract ? matches : !matches;
+    });
+    if (filtered.length === 0)
+        return neverType;
+    if (filtered.length === 1 && filtered[0])
+        return filtered[0];
+    return { kind: "unionType", types: filtered };
+};
+/**
+ * Expand NonNullable<T>: Filter out null and undefined from union
+ */
+export const expandNonNullableUtility = (type) => {
+    // Direct null/undefined
+    if (isNullishPrimitive(type)) {
+        return neverType;
+    }
+    // Not a union - return as-is
+    if (type.kind !== "unionType") {
+        return type;
+    }
+    // Filter out null and undefined from union
+    const filtered = type.types.filter((t) => !isNullishPrimitive(t));
+    if (filtered.length === 0) {
+        return neverType;
+    }
+    if (filtered.length === 1 && filtered[0]) {
+        return filtered[0];
+    }
+    return { kind: "unionType", types: filtered };
+};
+/**
+ * Expand Awaited<T>: Recursively unwrap Promise/Task/ValueTask.
+ */
+export const expandAwaitedUtility = (state, type) => {
+    if (type.kind === "referenceType") {
+        const expandedAlias = expandReferenceAlias(state, type);
+        if (expandedAlias) {
+            return expandAwaitedUtility(state, expandedAlias);
+        }
+    }
+    const awaited = getAwaitedIrType(type);
+    if (awaited) {
+        return awaited.kind === "voidType"
+            ? awaited
+            : expandAwaitedUtility(state, awaited);
+    }
+    // Union: Awaited each member
+    if (type.kind === "unionType") {
+        const expanded = type.types.map((member) => expandAwaitedUtility(state, member));
+        return { kind: "unionType", types: expanded };
+    }
+    return type;
+};
+/**
+ * Expand Record<K, V>: Create dictionary or object type.
+ */
+export const expandRecordUtility = (state, keyArg, valueArg, site) => {
+    // string or number → dictionary type
+    if (keyArg.kind === "primitiveType" &&
+        (keyArg.name === "string" || keyArg.name === "number")) {
+        return {
+            kind: "dictionaryType",
+            keyType: keyArg,
+            valueType: valueArg,
+        };
+    }
+    // Finite literal union → object type
+    const keys = extractLiteralKeys(keyArg);
+    if (!keys) {
+        emitDiagnostic(state, "TSN7414", "Record key type must be string, number, or string literal union", site);
+        return unknownType;
+    }
+    const members = Array.from(keys).map((key) => ({
+        kind: "propertySignature",
+        name: key,
+        type: valueArg,
+        isOptional: false,
+        isReadonly: false,
+    }));
+    return { kind: "objectType", members };
+};
+//# sourceMappingURL=utility-type-filter-helpers.js.map

package/dist/ir/type-system/utility-type-filter-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-type-filter-helpers.js","sourceRoot":"","sources":["../../../src/ir/type-system/utility-type-filter-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAEtE;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAsB,EACtB,IAAY,EACZ,IAAW,EACH,EAAE;IACV,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC;IACrC,CAAC;IACD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,8CAA8C,EAC9C,IAAI,CACL,CAAC;IACF,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAsB,EACtB,IAAY,EACZ,IAAW,EACH,EAAE;IACV,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,SAAkB,EAAE,CAC9C,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAC7C,CAAC;IACD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,8CAA8C,EAC9C,IAAI,CACL,CAAC;IACF,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAa,EACb,KAAa,EACb,SAAkB,EACV,EAAE;IACV,6CAA6C;IAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/B,MAAM,OAAO,GACX,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;YACxB,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;gBACzB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;QACrC,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrD,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC/D,wBAAwB;IACxB,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6BAA6B;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAElE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAsB,EACtB,IAAY,EACJ,EAAE;IACV,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU;YAChC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,6BAA6B;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACzC,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CACpC,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAChD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,MAAc,EACd,QAAgB,EAChB,IAAW,EACH,EAAE;IACV,qCAAqC;IACrC,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,EACtD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,MAAM;YACf,SAAS,EAAE,QAAQ;SACpB,CAAC;IACJ,CAAC;IAED,qCAAqC;IACrC,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,cAAc,CACZ,KAAK,EACL,SAAS,EACT,iEAAiE,EACjE,IAAI,CACL,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,OAAO,GAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,mBAA4B;QAClC,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC,CAAC"}

package/dist/ir/type-system/utility-type-mapped-helpers.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Utility Type Mapped Helpers — Partial/Required/Readonly/Pick/Omit expansion
+ *
+ * Implements mapped utility types that transform object type members:
+ * - Partial/Required/Readonly: T must be object-like
+ * - Pick/Omit: K must be string literal union (finite keys)
+ *
+ * DAG position: depends on type-system-state + type-system-relations
+ */
+import type { IrType, IrInterfaceMember, IrReferenceType } from "../types/index.js";
+import type { UtilityTypeName } from "./types.js";
+import type { TypeSystemState, Site } from "./type-system-state.js";
+export declare const expandUtility: (state: TypeSystemState, name: UtilityTypeName, args: readonly IrType[], site?: Site) => IrType;
+/**
+ * Expand Partial/Required/Readonly<T>: Mapped type transformation
+ */
+export declare const expandMappedUtility: (state: TypeSystemState, type: IrType, mode: "optional" | "required" | "readonly", site?: Site) => IrType;
+/**
+ * Transform members for Partial/Required/Readonly
+ */
+export declare const transformMembers: (members: readonly IrInterfaceMember[], mode: "optional" | "required" | "readonly") => IrInterfaceMember[];
+/**
+ * Get structural members for a reference type
+ */
+export declare const getStructuralMembersForType: (state: TypeSystemState, type: IrReferenceType) => readonly IrInterfaceMember[];
+/**
+ * Expand Pick/Omit<T, K>: Filter members by keys
+ */
+export declare const expandPickOmitUtility: (state: TypeSystemState, type: IrType, keysType: IrType, isPick: boolean, site?: Site) => IrType;
+/**
+ * Extract literal keys from a type (string literals or union of string literals)
+ */
+export declare const extractLiteralKeys: (type: IrType) => Set<string> | null;
+//# sourceMappingURL=utility-type-mapped-helpers.d.ts.map

package/dist/ir/type-system/utility-type-mapped-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-type-mapped-helpers.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/utility-type-mapped-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,iBAAiB,EACjB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AA0BpE,eAAO,MAAM,aAAa,GACxB,OAAO,eAAe,EACtB,MAAM,eAAe,EACrB,MAAM,SAAS,MAAM,EAAE,EACvB,OAAO,IAAI,KACV,MA2HF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,MAAM,UAAU,GAAG,UAAU,GAAG,UAAU,EAC1C,OAAO,IAAI,KACV,MAmCF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,SAAS,SAAS,iBAAiB,EAAE,EACrC,MAAM,UAAU,GAAG,UAAU,GAAG,UAAU,KACzC,iBAAiB,EAgBnB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,eAAe,EACtB,MAAM,eAAe,KACpB,SAAS,iBAAiB,EAyB5B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,UAAU,MAAM,EAChB,QAAQ,OAAO,EACf,OAAO,IAAI,KACV,MAoCF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,GAAG,CAAC,MAAM,CAAC,GAAG,IAoB/D,CAAC"}

package/dist/ir/type-system/utility-type-mapped-helpers.js

@@ -0,0 +1,243 @@
+/**
+ * Utility Type Mapped Helpers — Partial/Required/Readonly/Pick/Omit expansion
+ *
+ * Implements mapped utility types that transform object type members:
+ * - Partial/Required/Readonly: T must be object-like
+ * - Pick/Omit: K must be string literal union (finite keys)
+ *
+ * DAG position: depends on type-system-state + type-system-relations
+ */
+import { unknownType } from "./types.js";
+import { emitDiagnostic } from "./type-system-state.js";
+import { containsTypeParameter } from "./type-system-relations.js";
+import { expandExcludeExtractUtility, expandNonNullableUtility, expandReturnTypeUtility, expandParametersUtility, expandAwaitedUtility, expandRecordUtility, } from "./utility-type-filter-helpers.js";
+// ─────────────────────────────────────────────────────────────────────────
+// expandUtility — Utility type expansion (Step 8)
+//
+// Implements all 13 utility types with deterministic constraints:
+// - Partial/Required/Readonly: T must be object-like
+// - Pick/Omit: K must be string literal union (finite keys)
+// - ReturnType/Parameters: F must be function type
+// - NonNullable: Works on any type
+// - Exclude/Extract: Works on any types
+// - Awaited: Recursive on Promise<T>, Task<T>, ValueTask<T>
+// - Record: K must be finite literal union (string/number infinite → dictionary)
+// ─────────────────────────────────────────────────────────────────────────
+export const expandUtility = (state, name, args, site) => {
+    const firstArg = args[0];
+    if (!firstArg) {
+        emitDiagnostic(state, "TSN7414", `Utility type '${name}' requires a type argument`, site);
+        return unknownType;
+    }
+    // For utility types that operate on T where T is a type parameter,
+    // return a reference type that preserves the utility type structure.
+    // This allows downstream substitution to expand it later.
+    if (containsTypeParameter(firstArg)) {
+        // NonNullable, Exclude, Extract, Awaited can still partially evaluate
+        if (name !== "NonNullable" &&
+            name !== "Exclude" &&
+            name !== "Extract" &&
+            name !== "Awaited") {
+            return {
+                kind: "referenceType",
+                name,
+                typeArguments: [...args],
+            };
+        }
+    }
+    switch (name) {
+        case "Partial":
+            return expandMappedUtility(state, firstArg, "optional", site);
+        case "Required":
+            return expandMappedUtility(state, firstArg, "required", site);
+        case "Readonly":
+            return expandMappedUtility(state, firstArg, "readonly", site);
+        case "Pick": {
+            const keysArg = args[1];
+            if (!keysArg) {
+                emitDiagnostic(state, "TSN7414", "Pick requires two type arguments", site);
+                return unknownType;
+            }
+            return expandPickOmitUtility(state, firstArg, keysArg, true, site);
+        }
+        case "Omit": {
+            const keysArg = args[1];
+            if (!keysArg) {
+                emitDiagnostic(state, "TSN7414", "Omit requires two type arguments", site);
+                return unknownType;
+            }
+            return expandPickOmitUtility(state, firstArg, keysArg, false, site);
+        }
+        case "Record": {
+            const valueArg = args[1];
+            if (!valueArg) {
+                emitDiagnostic(state, "TSN7414", "Record requires two type arguments", site);
+                return unknownType;
+            }
+            return expandRecordUtility(state, firstArg, valueArg, site);
+        }
+        case "Exclude": {
+            const uArg = args[1];
+            if (!uArg) {
+                emitDiagnostic(state, "TSN7414", "Exclude requires two type arguments", site);
+                return unknownType;
+            }
+            return expandExcludeExtractUtility(firstArg, uArg, false);
+        }
+        case "Extract": {
+            const uArg = args[1];
+            if (!uArg) {
+                emitDiagnostic(state, "TSN7414", "Extract requires two type arguments", site);
+                return unknownType;
+            }
+            return expandExcludeExtractUtility(firstArg, uArg, true);
+        }
+        case "NonNullable":
+            return expandNonNullableUtility(firstArg);
+        case "ReturnType":
+            return expandReturnTypeUtility(state, firstArg, site);
+        case "Parameters":
+            return expandParametersUtility(state, firstArg, site);
+        case "Awaited":
+            return expandAwaitedUtility(state, firstArg);
+        case "InstanceType":
+            // InstanceType<T> - not fully supported yet, return as-is
+            return firstArg;
+        default:
+            emitDiagnostic(state, "TSN7414", `Unsupported utility type '${name}'`, site);
+            return unknownType;
+    }
+};
+// ─────────────────────────────────────────────────────────────────────────
+// Mapped Utility Type Helper Functions
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Expand Partial/Required/Readonly<T>: Mapped type transformation
+ */
+export const expandMappedUtility = (state, type, mode, site) => {
+    // Must be object-like
+    if (type.kind !== "objectType") {
+        // For reference types, we need structural members
+        if (type.kind === "referenceType") {
+            // Try to get structural members from type
+            const members = getStructuralMembersForType(state, type);
+            if (members.length === 0) {
+                emitDiagnostic(state, "TSN7414", `${mode === "optional" ? "Partial" : mode === "required" ? "Required" : "Readonly"} requires a concrete object type`, site);
+                return unknownType;
+            }
+            // Transform the members
+            return {
+                kind: "objectType",
+                members: transformMembers(members, mode),
+            };
+        }
+        emitDiagnostic(state, "TSN7414", `${mode === "optional" ? "Partial" : mode === "required" ? "Required" : "Readonly"} requires an object type`, site);
+        return unknownType;
+    }
+    return {
+        kind: "objectType",
+        members: transformMembers(type.members, mode),
+    };
+};
+/**
+ * Transform members for Partial/Required/Readonly
+ */
+export const transformMembers = (members, mode) => {
+    return members.map((m) => {
+        if (m.kind === "propertySignature") {
+            return {
+                ...m,
+                isOptional: mode === "optional"
+                    ? true
+                    : mode === "required"
+                        ? false
+                        : m.isOptional,
+                isReadonly: mode === "readonly" ? true : m.isReadonly,
+            };
+        }
+        return m;
+    });
+};
+/**
+ * Get structural members for a reference type
+ */
+export const getStructuralMembersForType = (state, type) => {
+    if (type.structuralMembers) {
+        return type.structuralMembers;
+    }
+    // Try to look up in registry
+    const fqName = state.typeRegistry.getFQName(type.name);
+    const entry = fqName
+        ? state.typeRegistry.resolveNominal(fqName)
+        : state.typeRegistry.resolveBySimpleName(type.name);
+    if (!entry)
+        return [];
+    // Convert registry members to IR members
+    const members = [];
+    entry.members.forEach((info, name) => {
+        if (info.kind === "property" && info.type) {
+            members.push({
+                kind: "propertySignature",
+                name,
+                type: info.type,
+                isOptional: info.isOptional,
+                isReadonly: info.isReadonly,
+            });
+        }
+    });
+    return members;
+};
+/**
+ * Expand Pick/Omit<T, K>: Filter members by keys
+ */
+export const expandPickOmitUtility = (state, type, keysType, isPick, site) => {
+    // Extract literal keys from keysType
+    const keys = extractLiteralKeys(keysType);
+    if (keys === null) {
+        emitDiagnostic(state, "TSN7414", `${isPick ? "Pick" : "Omit"} requires literal string keys`, site);
+        return unknownType;
+    }
+    // Get members from type
+    let members;
+    if (type.kind === "objectType") {
+        members = type.members;
+    }
+    else if (type.kind === "referenceType") {
+        members = getStructuralMembersForType(state, type);
+    }
+    else {
+        emitDiagnostic(state, "TSN7414", `${isPick ? "Pick" : "Omit"} requires an object type`, site);
+        return unknownType;
+    }
+    // Filter members
+    const filtered = members.filter((m) => {
+        const include = isPick ? keys.has(m.name) : !keys.has(m.name);
+        return include;
+    });
+    return { kind: "objectType", members: filtered };
+};
+/**
+ * Extract literal keys from a type (string literals or union of string literals)
+ */
+export const extractLiteralKeys = (type) => {
+    if (type.kind === "literalType" && typeof type.value === "string") {
+        return new Set([type.value]);
+    }
+    if (type.kind === "unionType") {
+        const keys = new Set();
+        for (const t of type.types) {
+            if (t.kind === "literalType" && typeof t.value === "string") {
+                keys.add(t.value);
+            }
+            else if (t.kind === "literalType" && typeof t.value === "number") {
+                keys.add(String(t.value));
+            }
+            else {
+                return null; // Non-literal in union
+            }
+        }
+        return keys;
+    }
+    return null;
+};
+//# sourceMappingURL=utility-type-mapped-helpers.js.map

package/dist/ir/type-system/utility-type-mapped-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-type-mapped-helpers.js","sourceRoot":"","sources":["../../../src/ir/type-system/utility-type-mapped-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EACL,2BAA2B,EAC3B,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC;AAE1C,4EAA4E;AAC5E,kDAAkD;AAClD,EAAE;AACF,kEAAkE;AAClE,qDAAqD;AACrD,4DAA4D;AAC5D,mDAAmD;AACnD,mCAAmC;AACnC,wCAAwC;AACxC,4DAA4D;AAC5D,iFAAiF;AACjF,4EAA4E;AAE5E,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAAsB,EACtB,IAAqB,EACrB,IAAuB,EACvB,IAAW,EACH,EAAE;IACV,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,cAAc,CACZ,KAAK,EACL,SAAS,EACT,iBAAiB,IAAI,4BAA4B,EACjD,IAAI,CACL,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,0DAA0D;IAC1D,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,sEAAsE;QACtE,IACE,IAAI,KAAK,aAAa;YACtB,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,SAAS;YAClB,IAAI,KAAK,SAAS,EAClB,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI;gBACJ,aAAa,EAAE,CAAC,GAAG,IAAI,CAAC;aACzB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAChE,KAAK,UAAU;YACb,OAAO,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAChE,KAAK,UAAU;YACb,OAAO,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,cAAc,CACZ,KAAK,EACL,SAAS,EACT,kCAAkC,EAClC,IAAI,CACL,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,OAAO,qBAAqB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,cAAc,CACZ,KAAK,EACL,SAAS,EACT,kCAAkC,EAClC,IAAI,CACL,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,OAAO,qBAAqB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,cAAc,CACZ,KAAK,EACL,SAAS,EACT,oCAAoC,EACpC,IAAI,CACL,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,OAAO,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,cAAc,CACZ,KAAK,EACL,SAAS,EACT,qCAAqC,EACrC,IAAI,CACL,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,OAAO,2BAA2B,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,cAAc,CACZ,KAAK,EACL,SAAS,EACT,qCAAqC,EACrC,IAAI,CACL,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,OAAO,2BAA2B,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QAC5C,KAAK,YAAY;YACf,OAAO,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxD,KAAK,YAAY;YACf,OAAO,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxD,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC/C,KAAK,cAAc;YACjB,0DAA0D;YAC1D,OAAO,QAAQ,CAAC;QAClB;YACE,cAAc,CACZ,KAAK,EACL,SAAS,EACT,6BAA6B,IAAI,GAAG,EACpC,IAAI,CACL,CAAC;YACF,OAAO,WAAW,CAAC;IACvB,CAAC;AACH,CAAC,CAAC;AAEF,4EAA4E;AAC5E,uCAAuC;AACvC,4EAA4E;AAE5E;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,IAAY,EACZ,IAA0C,EAC1C,IAAW,EACH,EAAE;IACV,sBAAsB;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,kDAAkD;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,0CAA0C;YAC1C,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,cAAc,CACZ,KAAK,EACL,SAAS,EACT,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,kCAAkC,EACpH,IAAI,CACL,CAAC;gBACF,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,wBAAwB;YACxB,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC;aACzC,CAAC;QACJ,CAAC;QACD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,0BAA0B,EAC5G,IAAI,CACL,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;KAC9C,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAqC,EACrC,IAA0C,EACrB,EAAE;IACvB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,OAAO;gBACL,GAAG,CAAC;gBACJ,UAAU,EACR,IAAI,KAAK,UAAU;oBACjB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,IAAI,KAAK,UAAU;wBACnB,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,CAAC,CAAC,UAAU;gBACpB,UAAU,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;aACtD,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAsB,EACtB,IAAqB,EACS,EAAE;IAChC,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;IACD,6BAA6B;IAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,MAAM;QAClB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC;QAC3C,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAEtB,yCAAyC;IACzC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,mBAAmB;gBACzB,IAAI;gBACJ,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAsB,EACtB,IAAY,EACZ,QAAgB,EAChB,MAAe,EACf,IAAW,EACH,EAAE;IACV,qCAAqC;IACrC,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,cAAc,CACZ,KAAK,EACL,SAAS,EACT,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,+BAA+B,EAC1D,IAAI,CACL,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,wBAAwB;IACxB,IAAI,OAAqC,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACzC,OAAO,GAAG,2BAA2B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,cAAc,CACZ,KAAK,EACL,SAAS,EACT,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,0BAA0B,EACrD,IAAI,CACL,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,iBAAiB;IACjB,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACpC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9D,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAClE,OAAO,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC5D,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5B,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACtC,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}