@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/type-system-utilities.d.ts

@@ -3,54 +3,10 @@
  *
  * Implements all 13 TypeScript utility types with deterministic constraints.
  *
+ * FACADE: re-exports from utility-type-mapped-helpers and utility-type-filter-helpers.
+ *
  * 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 NonNullable<T>: Filter out null and undefined from union
- */
-export declare const expandNonNullableUtility: (type: IrType) => 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;
-/**
- * Expand ReturnType<F>: Extract return type from function type
- */
-export declare const expandReturnTypeUtility: (state: TypeSystemState, type: IrType, site?: Site) => IrType;
-/**
- * Expand Parameters<F>: Extract parameters as tuple from function type
- */
-export declare const expandParametersUtility: (state: TypeSystemState, type: IrType, site?: Site) => IrType;
-/**
- * Expand Exclude<T, U> or Extract<T, U>
- */
-export declare const expandExcludeExtractUtility: (tType: IrType, uType: IrType, isExtract: boolean) => IrType;
-/**
- * Expand Awaited<T>: Recursively unwrap Promise/Task/ValueTask.
- */
-export declare const expandAwaitedUtility: (type: IrType) => IrType;
-/**
- * Expand Record<K, V>: Create dictionary or object type.
- */
-export declare const expandRecordUtility: (state: TypeSystemState, keyArg: IrType, valueArg: IrType, site?: Site) => IrType;
+export { expandUtility, expandMappedUtility, transformMembers, getStructuralMembersForType, expandPickOmitUtility, extractLiteralKeys, } from "./utility-type-mapped-helpers.js";
+export { expandNonNullableUtility, expandReturnTypeUtility, expandParametersUtility, expandExcludeExtractUtility, expandAwaitedUtility, expandRecordUtility, } from "./utility-type-filter-helpers.js";
 //# sourceMappingURL=type-system-utilities.d.ts.map

package/dist/ir/type-system/type-system-utilities.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-system-utilities.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,iBAAiB,EAEjB,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;AAkBpE,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,wBAAwB,GAAI,MAAM,MAAM,KAAG,MAqBvD,CAAC;AAEF;;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;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,OAAO,IAAI,KACV,MAWF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,OAAO,IAAI,KACV,MAcF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,MAAM,EACb,OAAO,MAAM,EACb,WAAW,OAAO,KACjB,MAwBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MAenD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,QAAQ,MAAM,EACd,UAAU,MAAM,EAChB,OAAO,IAAI,KACV,MAkCF,CAAC"}
+{"version":3,"file":"type-system-utilities.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,2BAA2B,EAC3B,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC"}

package/dist/ir/type-system/type-system-utilities.js

@@ -3,355 +3,10 @@
  *
  * Implements all 13 TypeScript utility types with deterministic constraints.
  *
+ * FACADE: re-exports from utility-type-mapped-helpers and utility-type-filter-helpers.
+ *
  * 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, containsTypeParameter } from "./type-system-relations.js";
-import { getAwaitedIrType } from "../types/type-ops.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(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;
-    }
-};
-// ─────────────────────────────────────────────────────────────────────────
-// Utility Type Helper Functions
-// ─────────────────────────────────────────────────────────────────────────
-/**
- * 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 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;
-};
-/**
- * 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 Awaited<T>: Recursively unwrap Promise/Task/ValueTask.
- */
-export const expandAwaitedUtility = (type) => {
-    const awaited = getAwaitedIrType(type);
-    if (awaited) {
-        return awaited.kind === "voidType"
-            ? awaited
-            : expandAwaitedUtility(awaited);
-    }
-    // Union: Awaited each member
-    if (type.kind === "unionType") {
-        const expanded = type.types.map(expandAwaitedUtility);
-        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 };
-};
+export { expandUtility, expandMappedUtility, transformMembers, getStructuralMembersForType, expandPickOmitUtility, extractLiteralKeys, } from "./utility-type-mapped-helpers.js";
+export { expandNonNullableUtility, expandReturnTypeUtility, expandParametersUtility, expandExcludeExtractUtility, expandAwaitedUtility, expandRecordUtility, } from "./utility-type-filter-helpers.js";
 //# sourceMappingURL=type-system-utilities.js.map

package/dist/ir/type-system/type-system-utilities.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-system-utilities.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,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,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExD,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,QAAQ,CAAC,CAAC;QACxC,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,gCAAgC;AAChC,4EAA4E;AAE5E;;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,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;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,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,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3D,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,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,6BAA6B;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QACtD,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"}
+{"version":3,"file":"type-system-utilities.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-utilities.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,uBAAuB,EACvB,2BAA2B,EAC3B,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,kCAAkC,CAAC"}