@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/internal/type-converter/direct-alias-expansion.js

@@ -0,0 +1,232 @@
+import * as ts from "typescript";
+import { resolveTypeAlias, unwrapParens, } from "./conditional-utility-types-core.js";
+const entityNameToText = (entityName) => ts.isIdentifier(entityName)
+    ? entityName.text
+    : `${entityNameToText(entityName.left)}.${entityName.right.text}`;
+const createStringLiteralTypeNode = (value) => ts.factory.createLiteralTypeNode(ts.factory.createStringLiteral(value));
+const resolveAliasTypeArguments = (declNode, refNode) => {
+    const typeParameters = declNode.typeParameters ?? [];
+    if (typeParameters.length === 0) {
+        return new Map();
+    }
+    const explicitArgs = refNode.typeArguments ?? [];
+    const substitution = new Map();
+    for (let index = 0; index < typeParameters.length; index++) {
+        const parameter = typeParameters[index];
+        const parameterName = parameter?.name.text;
+        const explicitArg = explicitArgs[index];
+        const fallbackArg = parameter?.default;
+        const resolvedArg = explicitArg ?? fallbackArg;
+        if (!parameterName || !resolvedArg) {
+            return undefined;
+        }
+        substitution.set(parameterName, resolvedArg);
+    }
+    return substitution;
+};
+const substituteTypeNode = (node, substitution) => {
+    const current = unwrapParens(node);
+    if (ts.isTypeReferenceNode(current)) {
+        if (ts.isIdentifier(current.typeName) &&
+            !current.typeArguments?.length &&
+            substitution.has(current.typeName.text)) {
+            return substitution.get(current.typeName.text) ?? current;
+        }
+        const typeArguments = current.typeArguments?.map((typeArgument) => substituteTypeNode(typeArgument, substitution));
+        return ts.factory.updateTypeReferenceNode(current, current.typeName, typeArguments ? ts.factory.createNodeArray(typeArguments) : undefined);
+    }
+    if (ts.isUnionTypeNode(current)) {
+        return ts.factory.updateUnionTypeNode(current, ts.factory.createNodeArray(current.types.map((typePart) => substituteTypeNode(typePart, substitution))));
+    }
+    if (ts.isIntersectionTypeNode(current)) {
+        return ts.factory.updateIntersectionTypeNode(current, ts.factory.createNodeArray(current.types.map((typePart) => substituteTypeNode(typePart, substitution))));
+    }
+    if (ts.isArrayTypeNode(current)) {
+        return ts.factory.updateArrayTypeNode(current, substituteTypeNode(current.elementType, substitution));
+    }
+    if (ts.isParenthesizedTypeNode(current)) {
+        return ts.factory.updateParenthesizedType(current, substituteTypeNode(current.type, substitution));
+    }
+    if (ts.isIndexedAccessTypeNode(current)) {
+        return ts.factory.updateIndexedAccessTypeNode(current, substituteTypeNode(current.objectType, substitution), substituteTypeNode(current.indexType, substitution));
+    }
+    if (ts.isTypeOperatorNode(current)) {
+        return ts.factory.updateTypeOperatorNode(current, substituteTypeNode(current.type, substitution));
+    }
+    if (ts.isConditionalTypeNode(current)) {
+        return ts.factory.updateConditionalTypeNode(current, substituteTypeNode(current.checkType, substitution), substituteTypeNode(current.extendsType, substitution), substituteTypeNode(current.trueType, substitution), substituteTypeNode(current.falseType, substitution));
+    }
+    return current;
+};
+const resolveConcreteSourceMembers = (sourceTypeNode, binding, convertType) => {
+    const resolvedSource = resolveTypeAlias(sourceTypeNode, binding);
+    const irType = convertType(resolvedSource, binding);
+    if (irType.kind === "objectType") {
+        return irType.members;
+    }
+    if (irType.kind === "referenceType" &&
+        irType.structuralMembers &&
+        irType.structuralMembers.length > 0) {
+        return irType.structuralMembers;
+    }
+    return undefined;
+};
+const applyMappedOptionality = (member, mappedNode) => {
+    if (mappedNode.questionToken?.kind === ts.SyntaxKind.MinusToken) {
+        return false;
+    }
+    if (mappedNode.questionToken) {
+        return true;
+    }
+    return member.kind === "propertySignature" ? member.isOptional : false;
+};
+const applyMappedReadonly = (member, mappedNode) => {
+    if (mappedNode.readonlyToken?.kind === ts.SyntaxKind.MinusToken) {
+        return false;
+    }
+    if (mappedNode.readonlyToken) {
+        return true;
+    }
+    return member.kind === "propertySignature" ? member.isReadonly : false;
+};
+const expandMappedAliasType = (mappedNode, aliasSubstitution, binding, convertType) => {
+    const mappedParameterName = mappedNode.typeParameter.name.text;
+    const mappedConstraint = mappedNode.typeParameter.constraint
+        ? substituteTypeNode(mappedNode.typeParameter.constraint, aliasSubstitution)
+        : undefined;
+    if (!mappedConstraint ||
+        !ts.isTypeOperatorNode(mappedConstraint) ||
+        mappedConstraint.operator !== ts.SyntaxKind.KeyOfKeyword) {
+        return undefined;
+    }
+    const sourceTypeNode = mappedConstraint.type;
+    const sourceMembers = resolveConcreteSourceMembers(sourceTypeNode, binding, convertType);
+    if (!sourceMembers) {
+        return undefined;
+    }
+    const mappedValueNode = mappedNode.type;
+    if (!mappedValueNode) {
+        return undefined;
+    }
+    const members = sourceMembers.map((member) => {
+        const keyTypeNode = createStringLiteralTypeNode(member.name);
+        const memberSubstitution = new Map(aliasSubstitution);
+        memberSubstitution.set(mappedParameterName, keyTypeNode);
+        const resolvedMemberType = convertType(substituteTypeNode(mappedValueNode, memberSubstitution), binding);
+        return {
+            kind: "propertySignature",
+            name: member.name,
+            type: resolvedMemberType,
+            isOptional: applyMappedOptionality(member, mappedNode),
+            isReadonly: applyMappedReadonly(member, mappedNode),
+        };
+    });
+    return {
+        kind: "objectType",
+        members,
+    };
+};
+const matchConditionalExtends = (actualNode, extendsNode, binding) => {
+    const actual = unwrapParens(resolveTypeAlias(actualNode, binding));
+    const expected = unwrapParens(resolveTypeAlias(extendsNode, binding));
+    if (ts.isInferTypeNode(expected)) {
+        return new Map([[expected.typeParameter.name.text, actual]]);
+    }
+    if (expected.kind === ts.SyntaxKind.NumberKeyword) {
+        return actual.kind === ts.SyntaxKind.NumberKeyword ||
+            (ts.isLiteralTypeNode(actual) && ts.isNumericLiteral(actual.literal))
+            ? new Map()
+            : false;
+    }
+    if (expected.kind === ts.SyntaxKind.StringKeyword) {
+        return actual.kind === ts.SyntaxKind.StringKeyword ||
+            (ts.isLiteralTypeNode(actual) && ts.isStringLiteral(actual.literal))
+            ? new Map()
+            : false;
+    }
+    if (expected.kind === ts.SyntaxKind.BooleanKeyword) {
+        return actual.kind === ts.SyntaxKind.BooleanKeyword ||
+            (ts.isLiteralTypeNode(actual) &&
+                (actual.literal.kind === ts.SyntaxKind.TrueKeyword ||
+                    actual.literal.kind === ts.SyntaxKind.FalseKeyword))
+            ? new Map()
+            : false;
+    }
+    if (ts.isTypeReferenceNode(actual) && ts.isTypeReferenceNode(expected)) {
+        const actualName = entityNameToText(actual.typeName);
+        const expectedName = entityNameToText(expected.typeName);
+        if (actualName !== expectedName) {
+            return false;
+        }
+        const actualArgs = actual.typeArguments ?? [];
+        const expectedArgs = expected.typeArguments ?? [];
+        if (actualArgs.length !== expectedArgs.length) {
+            return false;
+        }
+        const inference = new Map();
+        for (let index = 0; index < actualArgs.length; index++) {
+            const actualArg = actualArgs[index];
+            const expectedArg = expectedArgs[index];
+            if (!actualArg || !expectedArg) {
+                return undefined;
+            }
+            if (ts.isInferTypeNode(expectedArg)) {
+                inference.set(expectedArg.typeParameter.name.text, actualArg);
+                continue;
+            }
+            const nested = matchConditionalExtends(actualArg, expectedArg, binding);
+            if (nested === false) {
+                return false;
+            }
+            if (nested === undefined) {
+                return undefined;
+            }
+            for (const [name, inferredNode] of nested) {
+                inference.set(name, inferredNode);
+            }
+        }
+        return inference;
+    }
+    if (ts.isLiteralTypeNode(actual) && ts.isLiteralTypeNode(expected)) {
+        if (ts.isStringLiteral(actual.literal) &&
+            ts.isStringLiteral(expected.literal)) {
+            return actual.literal.text === expected.literal.text ? new Map() : false;
+        }
+        if (ts.isNumericLiteral(actual.literal) &&
+            ts.isNumericLiteral(expected.literal)) {
+            return actual.literal.text === expected.literal.text ? new Map() : false;
+        }
+    }
+    return undefined;
+};
+const expandConditionalAliasType = (conditionalNode, aliasSubstitution, binding, convertType) => {
+    const instantiatedCheck = substituteTypeNode(conditionalNode.checkType, aliasSubstitution);
+    const instantiatedExtends = substituteTypeNode(conditionalNode.extendsType, aliasSubstitution);
+    const inferred = matchConditionalExtends(instantiatedCheck, instantiatedExtends, binding);
+    if (inferred === undefined) {
+        return undefined;
+    }
+    const branch = inferred === false ? conditionalNode.falseType : conditionalNode.trueType;
+    const branchSubstitution = new Map(aliasSubstitution);
+    if (inferred !== false) {
+        for (const [name, inferredNode] of inferred) {
+            branchSubstitution.set(name, inferredNode);
+        }
+    }
+    return convertType(substituteTypeNode(branch, branchSubstitution), binding);
+};
+export const expandDirectAliasSyntax = (declNode, refNode, binding, convertType) => {
+    const aliasSubstitution = resolveAliasTypeArguments(declNode, refNode);
+    if (!aliasSubstitution) {
+        return undefined;
+    }
+    const aliasBody = unwrapParens(declNode.type);
+    if (ts.isConditionalTypeNode(aliasBody)) {
+        return expandConditionalAliasType(aliasBody, aliasSubstitution, binding, convertType);
+    }
+    if (ts.isMappedTypeNode(aliasBody)) {
+        return expandMappedAliasType(aliasBody, aliasSubstitution, binding, convertType);
+    }
+    return undefined;
+};
+//# sourceMappingURL=direct-alias-expansion.js.map

package/dist/ir/type-system/internal/type-converter/direct-alias-expansion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-alias-expansion.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/direct-alias-expansion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EACL,gBAAgB,EAChB,YAAY,GACb,MAAM,qCAAqC,CAAC;AAE7C,MAAM,gBAAgB,GAAG,CAAC,UAAyB,EAAU,EAAE,CAC7D,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;IACzB,CAAC,CAAC,UAAU,CAAC,IAAI;IACjB,CAAC,CAAC,GAAG,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AAEtE,MAAM,2BAA2B,GAAG,CAAC,KAAa,EAAe,EAAE,CACjE,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;AAE1E,MAAM,yBAAyB,GAAG,CAChC,QAAiC,EACjC,OAA6B,EACS,EAAE;IACxC,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC;IACrD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;IACjD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEpD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,aAAa,GAAG,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC;QAC3C,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,WAAW,GAAG,SAAS,EAAE,OAAO,CAAC;QACvC,MAAM,WAAW,GAAG,WAAW,IAAI,WAAW,CAAC;QAC/C,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;YACnC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAiB,EACjB,YAA8C,EACjC,EAAE;IACf,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEnC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,IACE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjC,CAAC,OAAO,CAAC,aAAa,EAAE,MAAM;YAC9B,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EACvC,CAAC;YACD,OAAO,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC;QAC5D,CAAC;QAED,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAChE,kBAAkB,CAAC,YAAY,EAAE,YAAY,CAAC,CAC/C,CAAC;QACF,OAAO,EAAE,CAAC,OAAO,CAAC,uBAAuB,CACvC,OAAO,EACP,OAAO,CAAC,QAAQ,EAChB,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CACtE,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC,OAAO,CAAC,mBAAmB,CACnC,OAAO,EACP,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,kBAAkB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAC3C,CACF,CACF,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAC1C,OAAO,EACP,EAAE,CAAC,OAAO,CAAC,eAAe,CACxB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,kBAAkB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAC3C,CACF,CACF,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC,OAAO,CAAC,mBAAmB,CACnC,OAAO,EACP,kBAAkB,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,CAAC,CACtD,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,CAAC,OAAO,CAAC,uBAAuB,CACvC,OAAO,EACP,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAC/C,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAC3C,OAAO,EACP,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,EACpD,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CACpD,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC,OAAO,CAAC,sBAAsB,CACtC,OAAO,EACP,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAC/C,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,CAAC,OAAO,CAAC,yBAAyB,CACzC,OAAO,EACP,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,EACnD,kBAAkB,CAAC,OAAO,CAAC,WAAW,EAAE,YAAY,CAAC,EACrD,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,EAClD,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CACpD,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,cAA2B,EAC3B,OAAgB,EAChB,WAA4D,EAClB,EAAE;IAC5C,MAAM,cAAc,GAAG,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAEpD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,OAAO,CAAC;IACxB,CAAC;IAED,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,MAAM,CAAC,iBAAiB;QACxB,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;QACD,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAClC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,MAAyB,EACzB,UAA6B,EACpB,EAAE;IACX,IAAI,UAAU,CAAC,aAAa,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAAyB,EACzB,UAA6B,EACpB,EAAE;IACX,IAAI,UAAU,CAAC,aAAa,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,UAA6B,EAC7B,iBAAmD,EACnD,OAAgB,EAChB,WAA4D,EAClC,EAAE;IAC5B,MAAM,mBAAmB,GAAG,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,MAAM,gBAAgB,GAAG,UAAU,CAAC,aAAa,CAAC,UAAU;QAC1D,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,EAAE,iBAAiB,CAAC;QAC5E,CAAC,CAAC,SAAS,CAAC;IAEd,IACE,CAAC,gBAAgB;QACjB,CAAC,EAAE,CAAC,kBAAkB,CAAC,gBAAgB,CAAC;QACxC,gBAAgB,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC;IAC7C,MAAM,aAAa,GAAG,4BAA4B,CAChD,cAAc,EACd,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC;IACxC,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAqB,EAAE;QAC9D,MAAM,WAAW,GAAG,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACtD,kBAAkB,CAAC,GAAG,CAAC,mBAAmB,EAAE,WAAW,CAAC,CAAC;QAEzD,MAAM,kBAAkB,GAAG,WAAW,CACpC,kBAAkB,CAAC,eAAe,EAAE,kBAAkB,CAAC,EACvD,OAAO,CACR,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,kBAAkB;YACxB,UAAU,EAAE,sBAAsB,CAAC,MAAM,EAAE,UAAU,CAAC;YACtD,UAAU,EAAE,mBAAmB,CAAC,MAAM,EAAE,UAAU,CAAC;SACpD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,UAAuB,EACvB,WAAwB,EACxB,OAAgB,EAC8B,EAAE;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,YAAY,CAAC,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;IAEtE,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAChD,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACrE,CAAC,CAAC,IAAI,GAAG,EAAE;YACX,CAAC,CAAC,KAAK,CAAC;IACZ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAChD,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACpE,CAAC,CAAC,IAAI,GAAG,EAAE;YACX,CAAC,CAAC,KAAK,CAAC;IACZ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YACjD,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;gBAC3B,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBAChD,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YACxD,CAAC,CAAC,IAAI,GAAG,EAAE;YACX,CAAC,CAAC,KAAK,CAAC;IACZ,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;QAClD,IAAI,UAAU,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;YAC9C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;QACjD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,SAAS,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC/B,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;gBACpC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC9D,SAAS;YACX,CAAC;YAED,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YACxE,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;gBAC1C,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,IACE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC;YAClC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,EACpC,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3E,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC;YACnC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,EACrC,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,eAAuC,EACvC,iBAAmD,EACnD,OAAgB,EAChB,WAA4D,EACxC,EAAE;IACtB,MAAM,iBAAiB,GAAG,kBAAkB,CAC1C,eAAe,CAAC,SAAS,EACzB,iBAAiB,CAClB,CAAC;IACF,MAAM,mBAAmB,GAAG,kBAAkB,CAC5C,eAAe,CAAC,WAAW,EAC3B,iBAAiB,CAClB,CAAC;IAEF,MAAM,QAAQ,GAAG,uBAAuB,CACtC,iBAAiB,EACjB,mBAAmB,EACnB,OAAO,CACR,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GACV,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC;IAC5E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC5C,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,kBAAkB,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAiC,EACjC,OAA6B,EAC7B,OAAgB,EAChB,WAA4D,EACxC,EAAE;IACtB,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAE9C,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,OAAO,0BAA0B,CAC/B,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAC1B,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAe,MAAM,mBAAmB,CAAC;AAExE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,gBAAgB,EACzB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,cAMF,CAAC"}
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,cAAc,EAGf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,gBAAgB,EACzB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,cAYF,CAAC"}

package/dist/ir/type-system/internal/type-converter/functions.js

@@ -10,12 +10,33 @@ import { convertBindingName } from "../../../syntax/binding-patterns.js";
  * Convert TypeScript function type to IR function type
  */
 export const convertFunctionType = (node, binding, convertType) => {
+    const typeParameters = convertFunctionTypeParameters(node.typeParameters, binding, convertType);
     return {
         kind: "functionType",
+        ...(typeParameters ? { typeParameters } : {}),
         parameters: convertTypeParameters(node.parameters, binding, convertType),
         returnType: convertType(node.type, binding),
     };
 };
+const convertFunctionTypeParameters = (typeParameters, binding, convertType) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    return typeParameters.map((typeParameter) => ({
+        kind: "typeParameter",
+        name: typeParameter.name.text,
+        constraint: typeParameter.constraint
+            ? convertType(typeParameter.constraint, binding)
+            : undefined,
+        default: typeParameter.default
+            ? convertType(typeParameter.default, binding)
+            : undefined,
+        variance: undefined,
+        isStructuralConstraint: !!typeParameter.constraint &&
+            ts.isTypeLiteralNode(typeParameter.constraint),
+        structuralMembers: undefined,
+    }));
+};
 /**
  * Convert parameters for type signatures (no initializers, no ProgramContext).
  *

package/dist/ir/type-system/internal/type-converter/functions.js.map

@@ -1 +1 @@
-{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAGzE;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAyB,EACzB,OAAgB,EAChB,WAA4D,EAC5C,EAAE;IAClB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC;QACxE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;KAC5C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiD,EACjD,OAAgB,EAChB,WAA4D,EACpC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,uDAAuD;QACvD,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK;gBACjB,QAAQ,KAAK,KAAK;gBAClB,QAAQ,KAAK,IAAI;gBACjB,QAAQ,KAAK,OAAO,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,0DAA0D;gBAC1D,OAAO;oBACL,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,OAAO;wBACvC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAE,QAA0B,CAAC;gBAClC,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,SAAS;YACf,0CAA0C;YAC1C,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAGzE;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAyB,EACzB,OAAgB,EAChB,WAA4D,EAC5C,EAAE;IAClB,MAAM,cAAc,GAAG,6BAA6B,CAClD,IAAI,CAAC,cAAc,EACnB,OAAO,EACP,WAAW,CACZ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,UAAU,EAAE,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC;QACxE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;KAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,cAAkE,EAClE,OAAgB,EAChB,WAA4D,EACpB,EAAE;IAC1C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI;QAC7B,UAAU,EAAE,aAAa,CAAC,UAAU;YAClC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;YAChD,CAAC,CAAC,SAAS;QACb,OAAO,EAAE,aAAa,CAAC,OAAO;YAC5B,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC;YAC7C,CAAC,CAAC,SAAS;QACb,QAAQ,EAAE,SAAS;QACnB,sBAAsB,EACpB,CAAC,CAAC,aAAa,CAAC,UAAU;YAC1B,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,UAAU,CAAC;QAChD,iBAAiB,EAAE,SAAS;KAC7B,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiD,EACjD,OAAgB,EAChB,WAA4D,EACpC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,uDAAuD;QACvD,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK;gBACjB,QAAQ,KAAK,KAAK;gBAClB,QAAQ,KAAK,IAAI;gBACjB,QAAQ,KAAK,OAAO,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,0DAA0D;gBAC1D,OAAO;oBACL,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,OAAO;wBACvC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAE,QAA0B,CAAC;gBAClC,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,SAAS;YACf,0CAA0C;YAC1C,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Mapped utility type expansion — Partial, Required, Readonly, Pick, Omit
+ *
+ * Contains EXPANDABLE_UTILITY_TYPES, isExpandableUtilityType, type parameter
+ * checking, member extraction, key extraction, and expandUtilityType.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * These utility types are expanded using AST-based analysis only.
+ */
+import * as ts from "typescript";
+import { IrType, IrObjectType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Set of supported mapped utility types that can be expanded
+ */
+export declare const EXPANDABLE_UTILITY_TYPES: Set<string>;
+/**
+ * Check if a type name is an expandable utility type
+ */
+export declare const isExpandableUtilityType: (name: string) => boolean;
+/**
+ * Check if a TypeNode is a type parameter reference (symbol-based, INV-0 compliant)
+ */
+export declare const isTypeParameterNode: (node: ts.TypeNode, binding: Binding) => boolean;
+/**
+ * Check if a TypeNode recursively contains type parameters.
+ * Uses symbol-based checks only (INV-0 compliant).
+ */
+export declare const typeNodeContainsTypeParameter: (node: ts.TypeNode, binding: Binding) => boolean;
+/**
+ * Expand a mapped utility type to an IrObjectType.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based analysis only.
+ */
+export declare const expandUtilityType: (node: ts.TypeReferenceNode, typeName: string, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | null;
+//# sourceMappingURL=mapped-utility-expansion.d.ts.map

package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapped-utility-expansion.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/mapped-utility-expansion.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAqB,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAE1E;;GAEG;AACH,eAAO,MAAM,wBAAwB,aAMnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,MAAM,KAAG,OACnB,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,QAAQ,EACjB,SAAS,OAAO,KACf,OAgBF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,EAAE,CAAC,QAAQ,EACjB,SAAS,OAAO,KACf,OAwBF,CAAC;AAwJF;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,IA2JjB,CAAC"}