@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/internal/universe/clr-type-string-parsing.js

@@ -0,0 +1,208 @@
+/**
+ * CLR Type String Parsing
+ *
+ * Pure functions for parsing CLR type strings (from normalized signatures
+ * and bindings.json) into IrType nodes.
+ */
+// ═══════════════════════════════════════════════════════════════════════════
+// CLR TYPE STRING PARSING
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Parse a CLR type string from normalized signature into IrType.
+ *
+ * Examples:
+ * - "System.String" → { kind: "primitiveType", name: "string" }
+ * - "System.Int32" → { kind: "primitiveType", name: "int" }
+ * - "System.Double" → { kind: "primitiveType", name: "number" }
+ * - "System.Boolean" → { kind: "primitiveType", name: "boolean" }
+ * - "System.Char" → { kind: "primitiveType", name: "char" }
+ * - "System.Void" → { kind: "voidType" }
+ * - "System.Object" → { kind: "referenceType", name: "object" }
+ * - "T" → { kind: "typeParameterType", name: "T" }
+ * - "System.Collections.Generic.List`1[[T]]" → array type or reference
+ * - "T[]" → { kind: "arrayType", elementType: ... }
+ */
+export const parseClrTypeString = (clrType) => {
+    // Handle void
+    if (clrType === "System.Void" || clrType === "void") {
+        return { kind: "voidType" };
+    }
+    // Handle primitive mappings
+    const primitiveMap = {
+        "System.String": { kind: "primitiveType", name: "string" },
+        string: { kind: "primitiveType", name: "string" },
+        "System.Int32": { kind: "primitiveType", name: "int" },
+        int: { kind: "primitiveType", name: "int" },
+        // Distinct CLR numeric aliases from @tsonic/core
+        "System.SByte": { kind: "referenceType", name: "sbyte" },
+        sbyte: { kind: "referenceType", name: "sbyte" },
+        "System.Byte": { kind: "referenceType", name: "byte" },
+        byte: { kind: "referenceType", name: "byte" },
+        "System.Int16": { kind: "referenceType", name: "short" },
+        short: { kind: "referenceType", name: "short" },
+        "System.UInt16": { kind: "referenceType", name: "ushort" },
+        ushort: { kind: "referenceType", name: "ushort" },
+        "System.UInt32": { kind: "referenceType", name: "uint" },
+        uint: { kind: "referenceType", name: "uint" },
+        "System.Int64": { kind: "referenceType", name: "long" },
+        long: { kind: "referenceType", name: "long" },
+        "System.UInt64": { kind: "referenceType", name: "ulong" },
+        ulong: { kind: "referenceType", name: "ulong" },
+        "System.IntPtr": { kind: "referenceType", name: "nint" },
+        nint: { kind: "referenceType", name: "nint" },
+        "System.UIntPtr": { kind: "referenceType", name: "nuint" },
+        nuint: { kind: "referenceType", name: "nuint" },
+        "System.Int128": { kind: "referenceType", name: "int128" },
+        int128: { kind: "referenceType", name: "int128" },
+        "System.UInt128": { kind: "referenceType", name: "uint128" },
+        uint128: { kind: "referenceType", name: "uint128" },
+        "System.Double": { kind: "primitiveType", name: "number" },
+        double: { kind: "primitiveType", name: "number" },
+        "System.Single": { kind: "referenceType", name: "float" },
+        float: { kind: "referenceType", name: "float" },
+        "System.Half": { kind: "referenceType", name: "half" },
+        half: { kind: "referenceType", name: "half" },
+        "System.Decimal": { kind: "referenceType", name: "decimal" },
+        decimal: { kind: "referenceType", name: "decimal" },
+        "System.Boolean": { kind: "primitiveType", name: "boolean" },
+        bool: { kind: "primitiveType", name: "boolean" },
+        "System.Char": { kind: "primitiveType", name: "char" },
+        char: { kind: "primitiveType", name: "char" },
+        // System.Object is the CLR "top" reference type. Treat it as C# `object`,
+        // not TypeScript `any` (airplane-grade: no implicit "any" in IR).
+        "System.Object": { kind: "referenceType", name: "object" },
+        object: { kind: "referenceType", name: "object" },
+    };
+    const primitive = primitiveMap[clrType];
+    if (primitive)
+        return primitive;
+    // Handle array types: T[] or System.Array`1[[T]]
+    if (clrType.endsWith("[]")) {
+        const elementType = clrType.slice(0, -2);
+        return {
+            kind: "arrayType",
+            elementType: parseClrTypeString(elementType),
+        };
+    }
+    // Handle pointer types (convert to ref semantics - just use the base type)
+    if (clrType.endsWith("*")) {
+        return parseClrTypeString(clrType.slice(0, -1));
+    }
+    // Handle nullable: Nullable<T> or T?
+    if (clrType.startsWith("System.Nullable`1")) {
+        // Extract inner type
+        const innerMatch = clrType.match(/System\.Nullable`1\[\[([^\]]+)\]\]/);
+        if (innerMatch && innerMatch[1]) {
+            const innerType = parseClrTypeString(innerMatch[1]);
+            return {
+                kind: "unionType",
+                types: [innerType, { kind: "primitiveType", name: "undefined" }],
+            };
+        }
+    }
+    // Handle type parameters (single uppercase letter or common patterns)
+    if (/^T\d*$/.test(clrType) || /^T[A-Z][a-zA-Z]*$/.test(clrType)) {
+        return { kind: "typeParameterType", name: clrType };
+    }
+    // Handle tsbindgen-style generic instantiations using underscore arity:
+    //   KeyValuePair_2[[TKey,TValue]]
+    // This format is used in bindings.json for inheritance type arguments.
+    const underscoreInstantiationMatch = clrType.match(/^(.+?)_(\d+)\[\[(.+)\]\]$/);
+    if (underscoreInstantiationMatch &&
+        underscoreInstantiationMatch[1] &&
+        underscoreInstantiationMatch[2] &&
+        underscoreInstantiationMatch[3]) {
+        const baseName = underscoreInstantiationMatch[1];
+        const arity = parseInt(underscoreInstantiationMatch[2], 10);
+        const typeArgsStr = underscoreInstantiationMatch[3];
+        // NOTE: CLR type strings inside normalized signatures often use assembly-qualified
+        // type arguments (commas for AssemblyName/Version/Culture/PublicKeyToken).
+        // Those commas are not type-argument separators. Only parse `[[...]]` payloads
+        // that follow our deterministic tsbindgen encoding for bindings.json heritage
+        // (no assembly identity segments).
+        //
+        // If we mis-parse assembly-qualified args, we break signatureKey matching which
+        // hydrates optional/rest flags from tsbindgen .d.ts (airplane-grade determinism).
+        const looksAssemblyQualified = /\bVersion=|\bCulture=|\bPublicKeyToken=/.test(typeArgsStr);
+        const args = looksAssemblyQualified ? [] : splitTypeArguments(typeArgsStr);
+        // Airplane-grade safety: only attach parsed typeArguments when we can prove
+        // the arity matches. Otherwise, preserve only the generic *definition* arity
+        // and keep the raw CLR string for later resolution.
+        const typeArguments = !looksAssemblyQualified && args.length === arity
+            ? args.map((arg) => parseClrTypeString(arg.trim()))
+            : undefined;
+        return {
+            kind: "referenceType",
+            name: `${baseName}_${arity}`,
+            typeArguments,
+            resolvedClrType: clrType,
+        };
+    }
+    // Handle generic types: Name`N[[TypeArgs]]
+    const genericMatch = clrType.match(/^(.+)`(\d+)(?:\[\[(.+)\]\])?$/);
+    if (genericMatch && genericMatch[1] && genericMatch[2]) {
+        const baseName = genericMatch[1];
+        const arity = parseInt(genericMatch[2], 10);
+        const typeArgsStr = genericMatch[3]; // May be undefined
+        // Extract type arguments if present
+        const typeArguments = [];
+        if (typeArgsStr) {
+            // Parse comma-separated type args (this is simplified, may need proper parsing)
+            const args = splitTypeArguments(typeArgsStr);
+            for (const arg of args) {
+                typeArguments.push(parseClrTypeString(arg.trim()));
+            }
+        }
+        else {
+            // Generate placeholder type parameters
+            for (let i = 0; i < arity; i++) {
+                typeArguments.push({
+                    kind: "typeParameterType",
+                    name: i === 0 ? "T" : `T${i + 1}`,
+                });
+            }
+        }
+        return {
+            kind: "referenceType",
+            name: baseName,
+            typeArguments: typeArguments.length > 0 ? typeArguments : undefined,
+            resolvedClrType: clrType,
+        };
+    }
+    // Default: treat as reference type
+    return {
+        kind: "referenceType",
+        name: clrType,
+        resolvedClrType: clrType,
+    };
+};
+/**
+ * Split type arguments handling nested brackets.
+ */
+export const splitTypeArguments = (str) => {
+    const result = [];
+    let depth = 0;
+    let current = "";
+    for (const char of str) {
+        if (char === "[") {
+            depth++;
+            current += char;
+        }
+        else if (char === "]") {
+            depth--;
+            current += char;
+        }
+        else if (char === "," && depth === 0) {
+            result.push(current.trim());
+            current = "";
+        }
+        else {
+            current += char;
+        }
+    }
+    if (current.trim()) {
+        result.push(current.trim());
+    }
+    return result;
+};
+//# sourceMappingURL=clr-type-string-parsing.js.map

package/dist/ir/type-system/internal/universe/clr-type-string-parsing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-string-parsing.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-string-parsing.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAU,EAAE;IAC5D,cAAc;IACd,IAAI,OAAO,KAAK,aAAa,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,4BAA4B;IAC5B,MAAM,YAAY,GAA2B;QAC3C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QACtD,GAAG,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QAC3C,iDAAiD;QACjD,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACxD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,aAAa,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACxD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACxD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACvD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACzD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACxD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC1D,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5D,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QACnD,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACzD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,aAAa,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5D,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QACnD,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5D,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAChD,aAAa,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,0EAA0E;QAC1E,kEAAkE;QAClE,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KAClD,CAAC;IAEF,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhC,iDAAiD;IACjD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,kBAAkB,CAAC,WAAW,CAAC;SAC7C,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,qCAAqC;IACrC,IAAI,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5C,qBAAqB;QACrB,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvE,IAAI,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACtD,CAAC;IAED,wEAAwE;IACxE,kCAAkC;IAClC,uEAAuE;IACvE,MAAM,4BAA4B,GAAG,OAAO,CAAC,KAAK,CAChD,2BAA2B,CAC5B,CAAC;IACF,IACE,4BAA4B;QAC5B,4BAA4B,CAAC,CAAC,CAAC;QAC/B,4BAA4B,CAAC,CAAC,CAAC;QAC/B,4BAA4B,CAAC,CAAC,CAAC,EAC/B,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,MAAM,WAAW,GAAG,4BAA4B,CAAC,CAAC,CAAC,CAAC;QAEpD,mFAAmF;QACnF,2EAA2E;QAC3E,+EAA+E;QAC/E,8EAA8E;QAC9E,mCAAmC;QACnC,EAAE;QACF,gFAAgF;QAChF,kFAAkF;QAClF,MAAM,sBAAsB,GAC1B,yCAAyC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE9D,MAAM,IAAI,GAAG,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;QAE3E,4EAA4E;QAC5E,6EAA6E;QAC7E,oDAAoD;QACpD,MAAM,aAAa,GACjB,CAAC,sBAAsB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;YAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QAEhB,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,GAAG,QAAQ,IAAI,KAAK,EAAE;YAC5B,aAAa;YACb,eAAe,EAAE,OAAO;SACzB,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACpE,IAAI,YAAY,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAExD,oCAAoC;QACpC,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,WAAW,EAAE,CAAC;YAChB,gFAAgF;YAChF,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAC7C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uCAAuC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/B,aAAa,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACnE,eAAe,EAAE,OAAO;SACzB,CAAC;IACJ,CAAC;IAED,mCAAmC;IACnC,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO;QACb,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAW,EAAY,EAAE;IAC1D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IAEjB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/dts-type-node-conversion.d.ts

@@ -0,0 +1,28 @@
+/**
+ * DTS Type Node Conversion & Signature Keys
+ *
+ * Helpers for converting tsbindgen .d.ts TypeNode AST nodes to IrType
+ * and computing signature keys for deterministic overload matching.
+ */
+import * as ts from "typescript";
+import type { IrType } from "../../../types/index.js";
+import type { TypeId } from "./types.js";
+export declare const INSTANCE_SUFFIX = "$instance";
+export declare const VIEWS_PREFIX = "__";
+export declare const VIEWS_SUFFIX = "$views";
+export declare const stripTsBindgenInstanceSuffix: (name: string) => string;
+export declare const stripTsBindgenViewsWrapper: (name: string) => string | undefined;
+export declare const getRightmostQualifiedNameText: (name: ts.EntityName) => string;
+export declare const getRightmostPropertyAccessText: (expr: ts.Expression) => string | undefined;
+export declare const dtsTypeNodeToIrType: (node: ts.TypeNode, inScopeTypeParams: ReadonlySet<string>, tsNameToTypeId: ReadonlyMap<string, TypeId>) => IrType;
+export declare const irTypeToSignatureKey: (type: IrType) => string;
+export declare const makeMethodOverloadKey: (args: {
+    readonly isStatic: boolean;
+    readonly name: string;
+    readonly typeParamCount: number;
+    readonly parameters: readonly {
+        readonly type: IrType;
+        readonly isRest: boolean;
+    }[];
+}) => string;
+//# sourceMappingURL=dts-type-node-conversion.d.ts.map

package/dist/ir/type-system/internal/universe/dts-type-node-conversion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dts-type-node-conversion.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/dts-type-node-conversion.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAMzC,eAAO,MAAM,eAAe,cAAc,CAAC;AAC3C,eAAO,MAAM,YAAY,OAAO,CAAC;AACjC,eAAO,MAAM,YAAY,WAAW,CAAC;AAErC,eAAO,MAAM,4BAA4B,GAAI,MAAM,MAAM,KAAG,MAI3D,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,KACX,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,6BAA6B,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,MAGnE,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,UAAU,KAClB,MAAM,GAAG,SAQX,CAAC;AA4DF,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,QAAQ,EACjB,mBAAmB,WAAW,CAAC,MAAM,CAAC,EACtC,gBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC1C,MAsIF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MAiFnD,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,MAAM;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;KAC1B,EAAE,CAAC;CACL,KAAG,MAOH,CAAC"}

package/dist/ir/type-system/internal/universe/dts-type-node-conversion.js

@@ -0,0 +1,279 @@
+/**
+ * DTS Type Node Conversion & Signature Keys
+ *
+ * Helpers for converting tsbindgen .d.ts TypeNode AST nodes to IrType
+ * and computing signature keys for deterministic overload matching.
+ */
+import * as ts from "typescript";
+// ═══════════════════════════════════════════════════════════════════════════
+// TSBINDGEN .D.TS TYPE NODE CONVERSION
+// ═══════════════════════════════════════════════════════════════════════════
+export const INSTANCE_SUFFIX = "$instance";
+export const VIEWS_PREFIX = "__";
+export const VIEWS_SUFFIX = "$views";
+export const stripTsBindgenInstanceSuffix = (name) => {
+    return name.endsWith(INSTANCE_SUFFIX)
+        ? name.slice(0, -INSTANCE_SUFFIX.length)
+        : name;
+};
+export const stripTsBindgenViewsWrapper = (name) => {
+    if (!name.startsWith(VIEWS_PREFIX))
+        return undefined;
+    if (!name.endsWith(VIEWS_SUFFIX))
+        return undefined;
+    return name.slice(VIEWS_PREFIX.length, -VIEWS_SUFFIX.length);
+};
+export const getRightmostQualifiedNameText = (name) => {
+    if (ts.isIdentifier(name))
+        return name.text;
+    return getRightmostQualifiedNameText(name.right);
+};
+export const getRightmostPropertyAccessText = (expr) => {
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    if (ts.isPropertyAccessExpression(expr))
+        return expr.name.text;
+    if (ts.isCallExpression(expr))
+        return getRightmostPropertyAccessText(expr.expression);
+    if (ts.isParenthesizedExpression(expr))
+        return getRightmostPropertyAccessText(expr.expression);
+    return undefined;
+};
+const isSymbolTypeNode = (node) => node.kind === ts.SyntaxKind.SymbolKeyword ||
+    (ts.isTypeReferenceNode(node) &&
+        ts.isIdentifier(node.typeName) &&
+        node.typeName.text === "symbol");
+const classifyRecordKeyTypeNode = (keyTypeNode) => {
+    const nodes = ts.isUnionTypeNode(keyTypeNode)
+        ? keyTypeNode.types
+        : [keyTypeNode];
+    let sawString = false;
+    let sawNumber = false;
+    let sawSymbol = false;
+    for (const node of nodes) {
+        if (node.kind === ts.SyntaxKind.StringKeyword) {
+            sawString = true;
+            continue;
+        }
+        if (node.kind === ts.SyntaxKind.NumberKeyword) {
+            sawNumber = true;
+            continue;
+        }
+        if (isSymbolTypeNode(node)) {
+            sawSymbol = true;
+            continue;
+        }
+        if (ts.isLiteralTypeNode(node)) {
+            if (ts.isStringLiteral(node.literal)) {
+                sawString = true;
+                continue;
+            }
+            if (ts.isNumericLiteral(node.literal)) {
+                sawNumber = true;
+                continue;
+            }
+        }
+        return undefined;
+    }
+    const distinctKinds = (sawString ? 1 : 0) + (sawNumber ? 1 : 0) + (sawSymbol ? 1 : 0);
+    if (distinctKinds === 0)
+        return undefined;
+    if (distinctKinds > 1 || sawSymbol) {
+        return { kind: "referenceType", name: "object" };
+    }
+    if (sawNumber) {
+        return { kind: "primitiveType", name: "number" };
+    }
+    return { kind: "primitiveType", name: "string" };
+};
+export const dtsTypeNodeToIrType = (node, inScopeTypeParams, tsNameToTypeId) => {
+    // Parenthesized type
+    if (ts.isParenthesizedTypeNode(node)) {
+        return dtsTypeNodeToIrType(node.type, inScopeTypeParams, tsNameToTypeId);
+    }
+    // Type references (including type parameters)
+    if (ts.isTypeReferenceNode(node)) {
+        const rawName = getRightmostQualifiedNameText(node.typeName);
+        const baseName = stripTsBindgenInstanceSuffix(rawName);
+        // Utility: Record<K, V> should lower to dictionaryType in CLR bindings paths too.
+        // Without this, contextual object literals against imported CLR interfaces can carry
+        // unresolved `referenceType("Record")` and fail IR soundness.
+        if (baseName === "Record" && node.typeArguments?.length === 2) {
+            const keyTypeNode = node.typeArguments[0];
+            const valueTypeNode = node.typeArguments[1];
+            if (keyTypeNode && valueTypeNode) {
+                const keyType = classifyRecordKeyTypeNode(keyTypeNode);
+                if (keyType) {
+                    return {
+                        kind: "dictionaryType",
+                        keyType,
+                        valueType: dtsTypeNodeToIrType(valueTypeNode, inScopeTypeParams, tsNameToTypeId),
+                    };
+                }
+            }
+        }
+        // tsbindgen imports CLR numeric aliases from @tsonic/core as type references.
+        // For IR purposes, `int` is a distinct primitive type (not referenceType).
+        if (baseName === "int" && !node.typeArguments?.length) {
+            return { kind: "primitiveType", name: "int" };
+        }
+        // Type parameter reference: `T` (no type args) where T is in scope
+        if (inScopeTypeParams.has(baseName) && !node.typeArguments?.length) {
+            return { kind: "typeParameterType", name: baseName };
+        }
+        const typeArguments = node.typeArguments?.map((a) => dtsTypeNodeToIrType(a, inScopeTypeParams, tsNameToTypeId));
+        const resolvedName = typeArguments && typeArguments.length > 0
+            ? (() => {
+                const arityName = `${baseName}_${typeArguments.length}`;
+                return tsNameToTypeId.has(arityName) ? arityName : baseName;
+            })()
+            : baseName;
+        return {
+            kind: "referenceType",
+            name: resolvedName,
+            typeArguments: typeArguments && typeArguments.length > 0 ? typeArguments : undefined,
+        };
+    }
+    // Array types
+    if (ts.isArrayTypeNode(node)) {
+        return {
+            kind: "arrayType",
+            elementType: dtsTypeNodeToIrType(node.elementType, inScopeTypeParams, tsNameToTypeId),
+        };
+    }
+    // Union / intersection
+    if (ts.isUnionTypeNode(node)) {
+        return {
+            kind: "unionType",
+            types: node.types.map((t) => dtsTypeNodeToIrType(t, inScopeTypeParams, tsNameToTypeId)),
+        };
+    }
+    if (ts.isIntersectionTypeNode(node)) {
+        return {
+            kind: "intersectionType",
+            types: node.types.map((t) => dtsTypeNodeToIrType(t, inScopeTypeParams, tsNameToTypeId)),
+        };
+    }
+    // Literal types
+    if (ts.isLiteralTypeNode(node)) {
+        const lit = node.literal;
+        if (ts.isStringLiteral(lit))
+            return { kind: "literalType", value: lit.text };
+        if (ts.isNumericLiteral(lit))
+            return { kind: "literalType", value: Number(lit.text) };
+        if (lit.kind === ts.SyntaxKind.TrueKeyword)
+            return { kind: "literalType", value: true };
+        if (lit.kind === ts.SyntaxKind.FalseKeyword)
+            return { kind: "literalType", value: false };
+        if (lit.kind === ts.SyntaxKind.NullKeyword)
+            return { kind: "primitiveType", name: "null" };
+    }
+    // Keywords
+    switch (node.kind) {
+        case ts.SyntaxKind.StringKeyword:
+            return { kind: "primitiveType", name: "string" };
+        case ts.SyntaxKind.NumberKeyword:
+            return { kind: "primitiveType", name: "number" };
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "primitiveType", name: "boolean" };
+        case ts.SyntaxKind.SymbolKeyword:
+            return { kind: "referenceType", name: "object" };
+        case ts.SyntaxKind.VoidKeyword:
+            return { kind: "voidType" };
+        case ts.SyntaxKind.AnyKeyword:
+            return { kind: "anyType" };
+        case ts.SyntaxKind.UnknownKeyword:
+            return { kind: "unknownType", explicit: true };
+        case ts.SyntaxKind.NeverKeyword:
+            return { kind: "neverType" };
+        case ts.SyntaxKind.NullKeyword:
+            return { kind: "primitiveType", name: "null" };
+        case ts.SyntaxKind.UndefinedKeyword:
+            return { kind: "primitiveType", name: "undefined" };
+        default:
+            return { kind: "unknownType" };
+    }
+};
+export const irTypeToSignatureKey = (type) => {
+    switch (type.kind) {
+        case "primitiveType":
+            return `p:${type.name}`;
+        case "literalType":
+            return `lit:${JSON.stringify(type.value)}`;
+        case "voidType":
+            return "void";
+        case "neverType":
+            return "never";
+        case "unknownType":
+            return "unknown";
+        case "anyType":
+            return "any";
+        case "typeParameterType":
+            // Canonicalize all type parameters to a stable placeholder so tsbindgen's
+            // `TContext` matches metadata's `T0`/`T` deterministically.
+            return "T";
+        case "arrayType":
+            return `${irTypeToSignatureKey(type.elementType)}[]`;
+        case "tupleType":
+            return `[${type.elementTypes
+                .map((t) => (t ? irTypeToSignatureKey(t) : "unknown"))
+                .join(",")}]`;
+        case "unionType": {
+            const parts = type.types
+                .map((t) => (t ? irTypeToSignatureKey(t) : "unknown"))
+                .sort();
+            return `(${parts.join("|")})`;
+        }
+        case "intersectionType": {
+            const parts = type.types
+                .map((t) => (t ? irTypeToSignatureKey(t) : "unknown"))
+                .sort();
+            return `(${parts.join("&")})`;
+        }
+        case "dictionaryType":
+            return `{[${irTypeToSignatureKey(type.keyType)}]:${irTypeToSignatureKey(type.valueType)}}`;
+        case "functionType": {
+            const params = type.parameters
+                .map((p) => (p.type ? irTypeToSignatureKey(p.type) : "unknown"))
+                .join(",");
+            return `fn(${params})->${irTypeToSignatureKey(type.returnType)}`;
+        }
+        case "objectType":
+            return "object";
+        case "referenceType": {
+            const raw = type.resolvedClrType ?? type.name;
+            const withoutArgs = raw.includes("[[")
+                ? (raw.split("[[")[0] ?? raw)
+                : raw;
+            const lastSep = Math.max(withoutArgs.lastIndexOf("."), withoutArgs.lastIndexOf("+"));
+            let simple = lastSep >= 0 ? withoutArgs.slice(lastSep + 1) : withoutArgs;
+            // Canonicalize CLR backtick arity: `Action`1` -> `Action_1`.
+            const backtickMatch = simple.match(/`(\d+)$/);
+            if (backtickMatch && backtickMatch[1]) {
+                simple = `${simple.slice(0, -backtickMatch[0].length)}_${backtickMatch[1]}`;
+            }
+            const underscoreMatch = simple.match(/_(\d+)$/);
+            const arity = underscoreMatch && underscoreMatch[1]
+                ? Number(underscoreMatch[1])
+                : undefined;
+            const argCount = type.typeArguments?.length ?? arity ?? 0;
+            // Signature matching is used only to hydrate optional/rest flags from tsbindgen .d.ts
+            // into CLR metadata signatures. To keep matching robust across:
+            // - CLR names vs TS names
+            // - generic instantiation encodings (Action_1[[...]] vs Action_1<T>)
+            // we intentionally ignore concrete type argument *identities* and retain only arity.
+            if (argCount <= 0)
+                return simple;
+            return `${simple}<${Array.from({ length: argCount }, () => "*").join(",")}>`;
+        }
+        default:
+            return "unknown";
+    }
+};
+export const makeMethodOverloadKey = (args) => {
+    const params = args.parameters
+        .map((p) => `${p.isRest ? "..." : ""}${irTypeToSignatureKey(p.type)}`)
+        .join(",");
+    return `${args.isStatic ? "static" : "instance"}|${args.name}|${args.typeParamCount}|(${params})`;
+};
+//# sourceMappingURL=dts-type-node-conversion.js.map

package/dist/ir/type-system/internal/universe/dts-type-node-conversion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dts-type-node-conversion.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/dts-type-node-conversion.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,CAAC;AACjC,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;AAErC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAY,EAAU,EAAE;IACnE,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QACxC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACQ,EAAE;IACtB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,IAAmB,EAAU,EAAE;IAC3E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,OAAO,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAmB,EACC,EAAE;IACtB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC3B,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QACpC,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAiB,EAAW,EAAE,CACtD,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;IACzC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAErC,MAAM,yBAAyB,GAAG,CAChC,WAAwB,EACJ,EAAE;IACtB,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAC3C,CAAC,CAAC,WAAW,CAAC,KAAK;QACnB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAElB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YAC9C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YAC9C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACrC,SAAS,GAAG,IAAI,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,SAAS,GAAG,IAAI,CAAC;gBACjB,SAAS;YACX,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GACjB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,aAAa,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE1C,IAAI,aAAa,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAiB,EACjB,iBAAsC,EACtC,cAA2C,EACnC,EAAE;IACV,qBAAqB;IACrB,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAAC;IAC3E,CAAC;IAED,8CAA8C;IAC9C,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QAEvD,kFAAkF;QAClF,qFAAqF;QACrF,8DAA8D;QAC9D,IAAI,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC5C,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;gBACvD,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO;wBACL,IAAI,EAAE,gBAAgB;wBACtB,OAAO;wBACP,SAAS,EAAE,mBAAmB,CAC5B,aAAa,EACb,iBAAiB,EACjB,cAAc,CACf;qBACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,8EAA8E;QAC9E,2EAA2E;QAC3E,IAAI,QAAQ,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;QAED,mEAAmE;QACnE,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;YACnE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC1D,CAAC;QAEF,MAAM,YAAY,GAChB,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;YACvC,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,SAAS,GAAG,GAAG,QAAQ,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;gBACxD,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC9D,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,QAAQ,CAAC;QAEf,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,aAAa,EACX,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SACxE,CAAC;IACJ,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,mBAAmB,CAC9B,IAAI,CAAC,WAAW,EAChB,iBAAiB,EACjB,cAAc,CACf;SACF,CAAC;IACJ,CAAC;IAED,uBAAuB;IACvB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1B,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1B,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;IAED,gBAAgB;IAChB,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAC1B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACxC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YACzC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC/C,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACxC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnD,CAAC;IAED,WAAW;IACX,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD;YACE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACnC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,aAAa;YAChB,OAAO,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;QACjB,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,mBAAmB;YACtB,0EAA0E;YAC1E,4DAA4D;YAC5D,OAAO,GAAG,CAAC;QACb,KAAK,WAAW;YACd,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QACvD,KAAK,WAAW;YACd,OAAO,IAAI,IAAI,CAAC,YAAY;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBACrD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBACrD,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAChC,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBACrD,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAChC,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,KAAK,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QAC7F,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;iBAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBAC/D,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,MAAM,MAAM,MAAM,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnE,CAAC;QACD,KAAK,YAAY;YACf,OAAO,QAAQ,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC;YAC9C,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACpC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAC7B,CAAC,CAAC,GAAG,CAAC;YACR,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,EAC5B,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAC7B,CAAC;YACF,IAAI,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;YAEzE,6DAA6D;YAC7D,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,aAAa,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,CAAC;YAED,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,KAAK,GACT,eAAe,IAAI,eAAe,CAAC,CAAC,CAAC;gBACnC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC,CAAC;YAE1D,sFAAsF;YACtF,gEAAgE;YAChE,0BAA0B;YAC1B,qEAAqE;YACrE,qFAAqF;YACrF,IAAI,QAAQ,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC;YACjC,OAAO,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC/E,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAQrC,EAAU,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SACrE,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,IAC1D,IAAI,CAAC,cACP,KAAK,MAAM,GAAG,CAAC;AACjB,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/index.d.ts

@@ -13,7 +13,7 @@
  * - Resolution: resolveTypeName, validateStdlibTypes
  * - Queries: getTypeId, lookupMemberWithInheritance
  */
-export type { TypeId, NominalEntry, NominalKind, TypeOrigin, TypeParameterEntry, HeritageEdge, MemberEntry, MemberKind, MethodSignatureEntry, ParameterEntry, ParameterMode, ConstructorEntry, FieldEntry, AssemblyTypeCatalog, UnifiedTypeCatalog, RawBindingsType, RawBindingsMethod, RawBindingsProperty, RawBindingsField, RawBindingsConstructor, RawBindingsFile, } from "./types.js";
+export type { TypeId, NominalEntry, NominalKind, TypeOrigin, TypeParameterEntry, HeritageEdge, MemberEntry, MemberKind, MethodSignatureEntry, ParameterEntry, ParameterMode, ConstructorEntry, FieldEntry, AssemblyTypeCatalog, UnifiedTypeCatalog, RawBindingsType, RawBindingsMethod, RawBindingsProperty, RawBindingsField, RawBindingsConstructor, RawTsbindgenBindingsFile, RawBindingsFileV2, RawBindingsFile, RawBindingsPayload, } from "./types.js";
 export { makeTypeId, parseStableId, PRIMITIVE_TO_STABLE_ID, STABLE_ID_TO_PRIMITIVE, } from "./types.js";
 export { loadClrCatalog, loadSinglePackageBindings, getTypeByStableId, getTypeByTsName, getTypeByClrName, getMemberByTsName, } from "./clr-catalog.js";
 export { buildUnifiedUniverse, normalizePrimitiveToTypeId, getTypeId, lookupMemberWithInheritance, getMemberDeclaredType, } from "./unified-universe.js";

package/dist/ir/type-system/internal/universe/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,YAAY,EACV,MAAM,EACN,YAAY,EACZ,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAM/B,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAM1B,YAAY,EACV,gBAAgB,EAChB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAMzB,YAAY,EACV,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,YAAY,EACV,MAAM,EACN,YAAY,EACZ,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,wBAAwB,EACxB,iBAAiB,EACjB,eAAe,EACf,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAM/B,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAM1B,YAAY,EACV,gBAAgB,EAChB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAMzB,YAAY,EACV,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/ir/type-system/internal/universe/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA8BH,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAa1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAiCH,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAa1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}