@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/call-resolution-candidate-selection.js

@@ -0,0 +1,413 @@
+import { getRawSignature } from "./call-resolution-signatures.js";
+import { resolveCall } from "./call-resolution-resolve.js";
+import { refineParameterTypeForConcreteArgument, scoreSignatureMatch, } from "./call-resolution-scoring.js";
+import { isAssignableTo, typesEqual } from "./type-system-relations.js";
+import { containsMethodTypeParameter, delegateToFunctionType, expandParameterTypesForArguments, } from "./call-resolution-utilities.js";
+import { normalizeToNominal, stripTsonicExtensionWrappers, } from "./type-system-state-helpers.js";
+const scoreReceiverCompatibility = (state, resolved, receiverType) => {
+    if (!receiverType || !resolved.thisParameterType) {
+        return 0;
+    }
+    const effectiveReceiverType = stripTsonicExtensionWrappers(receiverType);
+    const expectedReceiverType = resolved.thisParameterType;
+    const normalizedActual = normalizeToNominal(state, effectiveReceiverType);
+    const normalizedExpected = normalizeToNominal(state, expectedReceiverType);
+    if (normalizedActual &&
+        normalizedExpected &&
+        normalizedActual.typeId.stableId === normalizedExpected.typeId.stableId) {
+        return 3;
+    }
+    if (typesEqual(effectiveReceiverType, expectedReceiverType) ||
+        (isAssignableTo(state, effectiveReceiverType, expectedReceiverType) &&
+            isAssignableTo(state, expectedReceiverType, effectiveReceiverType))) {
+        return 2;
+    }
+    if (isAssignableTo(state, effectiveReceiverType, expectedReceiverType)) {
+        return 1;
+    }
+    return -1;
+};
+const scoreSurfaceTypeSpecificity = (type) => {
+    if (!type) {
+        return 0;
+    }
+    switch (type.kind) {
+        case "unionType":
+            return (-(type.types.length * 10) +
+                type.types.reduce((total, member) => total + scoreSurfaceTypeSpecificity(member), 0));
+        case "intersectionType":
+            return (-(type.types.length * 10) +
+                type.types.reduce((total, member) => total + scoreSurfaceTypeSpecificity(member), 0));
+        case "arrayType":
+            return 2 + scoreSurfaceTypeSpecificity(type.elementType);
+        case "tupleType":
+            return (2 +
+                type.elementTypes.reduce((total, member) => total + scoreSurfaceTypeSpecificity(member), 0));
+        case "referenceType":
+            return (3 +
+                (type.typeArguments?.reduce((total, member) => total + scoreSurfaceTypeSpecificity(member), 0) ?? 0));
+        case "functionType":
+            return (3 +
+                type.parameters.reduce((total, parameter) => total + scoreSurfaceTypeSpecificity(parameter?.type), 0) +
+                scoreSurfaceTypeSpecificity(type.returnType));
+        case "objectType":
+            return (3 +
+                type.members.reduce((total, member) => total +
+                    (member.kind === "propertySignature"
+                        ? scoreSurfaceTypeSpecificity(member.type)
+                        : member.parameters.reduce((parameterTotal, parameter) => parameterTotal +
+                            scoreSurfaceTypeSpecificity(parameter.type), scoreSurfaceTypeSpecificity(member.returnType))), 0));
+        case "dictionaryType":
+            return (3 +
+                scoreSurfaceTypeSpecificity(type.keyType) +
+                scoreSurfaceTypeSpecificity(type.valueType));
+        case "literalType":
+        case "primitiveType":
+        case "voidType":
+        case "neverType":
+            return 3;
+        default:
+            return 1;
+    }
+};
+const scoreSurfaceParameterSpecificity = (resolved, argumentCount) => resolved.surfaceParameterTypes
+    .slice(0, argumentCount)
+    .reduce((total, parameterType) => total + scoreSurfaceTypeSpecificity(parameterType), 0);
+const scoreParameterSpecificity = (parameterType, methodTypeParameterNames) => {
+    if (!parameterType) {
+        return 0;
+    }
+    switch (parameterType.kind) {
+        case "unknownType":
+        case "anyType":
+            return 0;
+        case "typeParameterType":
+            return methodTypeParameterNames.has(parameterType.name) ? 0 : 2;
+        case "unionType": {
+            if (parameterType.types.length === 0) {
+                return 0;
+            }
+            return 1;
+        }
+        case "intersectionType":
+            return (3 +
+                parameterType.types.reduce((total, member) => total + scoreParameterSpecificity(member, methodTypeParameterNames), 0));
+        case "arrayType":
+            return (3 +
+                scoreParameterSpecificity(parameterType.elementType, methodTypeParameterNames));
+        case "tupleType":
+            return (3 +
+                parameterType.elementTypes.reduce((total, member) => total + scoreParameterSpecificity(member, methodTypeParameterNames), 0));
+        case "functionType":
+            return (3 +
+                parameterType.parameters.reduce((total, parameter) => total +
+                    scoreParameterSpecificity(parameter?.type, methodTypeParameterNames), 0) +
+                scoreParameterSpecificity(parameterType.returnType, methodTypeParameterNames));
+        case "referenceType":
+            return (3 +
+                (parameterType.typeArguments?.reduce((total, typeArgument) => total +
+                    scoreParameterSpecificity(typeArgument, methodTypeParameterNames), 0) ?? 0));
+        case "objectType":
+            return (3 +
+                parameterType.members.reduce((total, member) => total +
+                    (member.kind === "propertySignature"
+                        ? scoreParameterSpecificity(member.type, methodTypeParameterNames)
+                        : member.parameters.reduce((parameterTotal, parameter) => parameterTotal +
+                            scoreParameterSpecificity(parameter.type, methodTypeParameterNames), scoreParameterSpecificity(member.returnType, methodTypeParameterNames))), 0));
+        case "dictionaryType":
+            return (3 +
+                scoreParameterSpecificity(parameterType.keyType, methodTypeParameterNames) +
+                scoreParameterSpecificity(parameterType.valueType, methodTypeParameterNames));
+        case "literalType":
+        case "primitiveType":
+        case "voidType":
+        case "neverType":
+            return 3;
+        default:
+            return containsMethodTypeParameter(parameterType, methodTypeParameterNames)
+                ? 1
+                : 2;
+    }
+};
+const scoreSignatureSpecificity = (state, sigId, argumentCount) => {
+    const rawSignature = getRawSignature(state, sigId);
+    if (!rawSignature) {
+        return 0;
+    }
+    const methodTypeParameterNames = new Set(rawSignature.typeParameters.map((parameter) => parameter.name));
+    const expandedParameterTypes = expandParameterTypesForArguments(rawSignature.parameterFlags, rawSignature.parameterTypes, argumentCount);
+    return expandedParameterTypes
+        .slice(0, argumentCount)
+        .reduce((total, parameterType) => total +
+        scoreParameterSpecificity(parameterType, methodTypeParameterNames), 0);
+};
+const scoreConcreteSurfaceExactness = (state, sigId, argTypes, argumentCount) => {
+    if (!argTypes || argTypes.length === 0) {
+        return 0;
+    }
+    const rawSignature = getRawSignature(state, sigId);
+    if (!rawSignature) {
+        return 0;
+    }
+    const methodTypeParameterNames = new Set(rawSignature.typeParameters.map((parameter) => parameter.name));
+    const expandedParameterTypes = expandParameterTypesForArguments(rawSignature.parameterFlags, rawSignature.parameterTypes, argumentCount);
+    let exactness = 0;
+    const pairCount = Math.min(argumentCount, expandedParameterTypes.length, argTypes.length);
+    for (let index = 0; index < pairCount; index += 1) {
+        const rawParameterType = expandedParameterTypes[index];
+        const argumentType = argTypes[index];
+        if (!rawParameterType || !argumentType) {
+            continue;
+        }
+        const compatibleParameterType = refineParameterTypeForConcreteArgument(state, rawParameterType, argumentType) ?? rawParameterType;
+        if (containsMethodTypeParameter(compatibleParameterType, methodTypeParameterNames)) {
+            continue;
+        }
+        if (typesEqual(compatibleParameterType, argumentType)) {
+            exactness += 1;
+            continue;
+        }
+        if (isAssignableTo(state, argumentType, compatibleParameterType) &&
+            isAssignableTo(state, compatibleParameterType, argumentType)) {
+            exactness += 1;
+        }
+    }
+    return exactness;
+};
+const countCompatibleArguments = (state, resolved, argTypes, argumentCount) => {
+    let compatible = 0;
+    const pairCount = Math.min(argumentCount, resolved.parameterTypes.length, argTypes.length);
+    for (let index = 0; index < pairCount; index += 1) {
+        const parameterType = resolved.parameterTypes[index];
+        const argumentType = argTypes[index];
+        if (!parameterType || !argumentType) {
+            continue;
+        }
+        if (scoreSignatureMatch(state, [parameterType], [argumentType], 1) > 0) {
+            compatible += 1;
+        }
+    }
+    return compatible;
+};
+const countBroadNumberIndependentCompatibleArguments = (state, resolved, argTypes, argumentCount) => {
+    let compatible = 0;
+    const pairCount = Math.min(argumentCount, resolved.parameterTypes.length, argTypes.length);
+    for (let index = 0; index < pairCount; index += 1) {
+        const parameterType = resolved.parameterTypes[index];
+        const argumentType = argTypes[index];
+        if (!parameterType || !argumentType) {
+            continue;
+        }
+        if (argumentType.kind === "primitiveType" &&
+            argumentType.name === "number") {
+            continue;
+        }
+        if (scoreSignatureMatch(state, [parameterType], [argumentType], 1) > 0) {
+            compatible += 1;
+        }
+    }
+    return compatible;
+};
+const explicitlyAcceptsBroadNumber = (type) => {
+    if (!type) {
+        return false;
+    }
+    if (type.kind === "primitiveType") {
+        return type.name === "number";
+    }
+    if (type.kind === "unionType") {
+        return type.types.some((member) => explicitlyAcceptsBroadNumber(member));
+    }
+    return false;
+};
+const countBroadNumberExplicitlyAcceptedArguments = (resolved, argTypes, argumentCount) => {
+    let compatible = 0;
+    const pairCount = Math.min(argumentCount, resolved.parameterTypes.length, argTypes.length);
+    for (let index = 0; index < pairCount; index += 1) {
+        const parameterType = resolved.parameterTypes[index];
+        const argumentType = argTypes[index];
+        if (!parameterType || !argumentType) {
+            continue;
+        }
+        if (argumentType.kind === "primitiveType" &&
+            argumentType.name === "number" &&
+            explicitlyAcceptsBroadNumber(parameterType)) {
+            compatible += 1;
+        }
+    }
+    return compatible;
+};
+const countExactFunctionArityMatches = (state, resolved, argTypes, argumentCount) => {
+    let exactMatches = 0;
+    const pairCount = Math.min(argumentCount, resolved.parameterTypes.length, argTypes.length);
+    for (let index = 0; index < pairCount; index += 1) {
+        const parameterType = resolved.parameterTypes[index];
+        const argumentType = argTypes[index];
+        if (!parameterType || !argumentType) {
+            continue;
+        }
+        const parameterFunctionType = parameterType.kind === "functionType"
+            ? parameterType
+            : delegateToFunctionType(state, parameterType);
+        const argumentFunctionType = argumentType.kind === "functionType"
+            ? argumentType
+            : delegateToFunctionType(state, argumentType);
+        if (!parameterFunctionType || !argumentFunctionType) {
+            continue;
+        }
+        if (parameterFunctionType.parameters.length ===
+            argumentFunctionType.parameters.length) {
+            exactMatches += 1;
+        }
+    }
+    return exactMatches;
+};
+const buildCandidateScore = (state, sigId, resolved, receiverType, argTypes, argumentCount) => {
+    const receiverCompatibilityScore = scoreReceiverCompatibility(state, resolved, receiverType);
+    const participatingParameterTypes = resolved.parameterTypes.slice(0, argumentCount);
+    const participatingArgTypes = argTypes?.slice(0, argumentCount);
+    const compatibilityScore = argTypes
+        ? scoreSignatureMatch(state, participatingParameterTypes, participatingArgTypes ?? [], argumentCount)
+        : 0;
+    const compatibleArgumentCount = argTypes
+        ? countCompatibleArguments(state, {
+            ...resolved,
+            parameterTypes: participatingParameterTypes,
+        }, participatingArgTypes ?? [], argumentCount)
+        : 0;
+    const broadNumberIndependentCompatibleArgumentCount = argTypes
+        ? countBroadNumberIndependentCompatibleArguments(state, {
+            ...resolved,
+            parameterTypes: participatingParameterTypes,
+        }, participatingArgTypes ?? [], argumentCount)
+        : 0;
+    const broadNumberExplicitlyAcceptedArgumentCount = argTypes
+        ? countBroadNumberExplicitlyAcceptedArguments({
+            ...resolved,
+            parameterTypes: participatingParameterTypes,
+        }, participatingArgTypes ?? [], argumentCount)
+        : 0;
+    const exactFunctionArityMatches = argTypes
+        ? countExactFunctionArityMatches(state, {
+            ...resolved,
+            parameterTypes: participatingParameterTypes,
+        }, participatingArgTypes ?? [], argumentCount)
+        : 0;
+    const concreteSurfaceExactness = scoreConcreteSurfaceExactness(state, sigId, argTypes, argumentCount);
+    const specificityScore = scoreSignatureSpecificity(state, sigId, argumentCount);
+    const surfaceSpecificityScore = scoreSurfaceParameterSpecificity(resolved, argumentCount);
+    const exactArityNonRest = resolved.selectionMeta &&
+        !resolved.selectionMeta.hasRestParameter &&
+        resolved.selectionMeta.parameterCount === argumentCount
+        ? 1
+        : 0;
+    const nonRest = resolved.selectionMeta && !resolved.selectionMeta.hasRestParameter ? 1 : 0;
+    return [
+        receiverCompatibilityScore,
+        broadNumberIndependentCompatibleArgumentCount,
+        broadNumberExplicitlyAcceptedArgumentCount,
+        compatibleArgumentCount,
+        exactFunctionArityMatches,
+        exactArityNonRest,
+        concreteSurfaceExactness,
+        surfaceSpecificityScore,
+        specificityScore,
+        compatibilityScore,
+        nonRest,
+    ];
+};
+const compareCandidateScores = (left, right) => {
+    for (let index = 0; index < left.length; index += 1) {
+        const leftScore = left[index] ?? 0;
+        const rightScore = right[index] ?? 0;
+        const delta = leftScore - rightScore;
+        if (delta !== 0) {
+            return delta;
+        }
+    }
+    return 0;
+};
+const resolveCandidateWithoutLeakingDiagnostics = (state, query) => {
+    const diagnosticStart = state.diagnostics.length;
+    const resolved = resolveCall(state, query);
+    const diagnostics = state.diagnostics.slice(diagnosticStart);
+    state.diagnostics.length = diagnosticStart;
+    return { resolved, diagnostics };
+};
+export const selectBestCallCandidate = (state, fallbackSigId, candidateSigIds, query) => {
+    const uniqueCandidates = new Map();
+    if (fallbackSigId) {
+        uniqueCandidates.set(fallbackSigId.id, fallbackSigId);
+    }
+    for (const candidate of candidateSigIds ?? []) {
+        uniqueCandidates.set(candidate.id, candidate);
+    }
+    const orderedCandidates = Array.from(uniqueCandidates.values());
+    if (orderedCandidates.length === 0) {
+        return {
+            sigId: undefined,
+            resolved: undefined,
+        };
+    }
+    const definedArgTypes = query.argTypes?.filter((type) => type !== undefined) ?? [];
+    if (definedArgTypes.length === 0) {
+        const chosenSigId = fallbackSigId ?? orderedCandidates[0];
+        if (!chosenSigId) {
+            return {
+                sigId: undefined,
+                resolved: undefined,
+            };
+        }
+        const { resolved, diagnostics } = resolveCandidateWithoutLeakingDiagnostics(state, { ...query, sigId: chosenSigId });
+        state.diagnostics.push(...diagnostics);
+        return {
+            sigId: chosenSigId,
+            resolved,
+        };
+    }
+    const scoredCandidates = orderedCandidates.flatMap((candidate) => {
+        const evaluation = resolveCandidateWithoutLeakingDiagnostics(state, {
+            ...query,
+            sigId: candidate,
+        });
+        const score = buildCandidateScore(state, candidate, evaluation.resolved, query.receiverType, query.argTypes, query.argumentCount);
+        return [
+            {
+                sigId: candidate,
+                evaluation,
+                score,
+            },
+        ];
+    });
+    if (scoredCandidates.length === 0) {
+        return {
+            sigId: undefined,
+            resolved: undefined,
+        };
+    }
+    const compatibleReceiverCandidates = scoredCandidates.filter((candidate) => candidate.score[0] >= 0);
+    const effectiveCandidates = compatibleReceiverCandidates.length > 0
+        ? compatibleReceiverCandidates
+        : scoredCandidates;
+    let bestCandidate = effectiveCandidates[0];
+    if (!bestCandidate) {
+        return {
+            sigId: undefined,
+            resolved: undefined,
+        };
+    }
+    for (const candidate of effectiveCandidates) {
+        if (candidate.sigId.id === bestCandidate.sigId.id) {
+            continue;
+        }
+        if (compareCandidateScores(candidate.score, bestCandidate.score) > 0) {
+            bestCandidate = candidate;
+        }
+    }
+    state.diagnostics.push(...bestCandidate.evaluation.diagnostics);
+    return {
+        sigId: bestCandidate.sigId,
+        resolved: bestCandidate.evaluation.resolved,
+    };
+};
+//# sourceMappingURL=call-resolution-candidate-selection.js.map

package/dist/ir/type-system/call-resolution-candidate-selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-candidate-selection.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-candidate-selection.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EACL,sCAAsC,EACtC,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,EACtB,gCAAgC,GACjC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,kBAAkB,EAClB,4BAA4B,GAC7B,MAAM,gCAAgC,CAAC;AAgCxC,MAAM,0BAA0B,GAAG,CACjC,KAAsB,EACtB,QAAsB,EACtB,YAAgC,EACxB,EAAE;IACV,IAAI,CAAC,YAAY,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACjD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,qBAAqB,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;IACzE,MAAM,oBAAoB,GAAG,QAAQ,CAAC,iBAAiB,CAAC;IACxD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;IAE3E,IACE,gBAAgB;QAChB,kBAAkB;QAClB,gBAAgB,CAAC,MAAM,CAAC,QAAQ,KAAK,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EACvE,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IACE,UAAU,CAAC,qBAAqB,EAAE,oBAAoB,CAAC;QACvD,CAAC,cAAc,CAAC,KAAK,EAAE,qBAAqB,EAAE,oBAAoB,CAAC;YACjE,cAAc,CAAC,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,CAAC,CAAC,EACrE,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,cAAc,CAAC,KAAK,EAAE,qBAAqB,EAAE,oBAAoB,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,IAAwB,EAAU,EAAE;IACvE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,CAAC,CAAC;IACX,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW;YACd,OAAO,CACL,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,MAAM,CACf,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,EAC9D,CAAC,CACF,CACF,CAAC;QACJ,KAAK,kBAAkB;YACrB,OAAO,CACL,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,MAAM,CACf,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,EAC9D,CAAC,CACF,CACF,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3D,KAAK,WAAW;YACd,OAAO,CACL,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,MAAM,CACtB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,EAC9D,CAAC,CACF,CACF,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,CAAC;gBACD,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CACzB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,EAC9D,CAAC,CACF,IAAI,CAAC,CAAC,CACR,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,CACL,CAAC;gBACD,IAAI,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,KAAK,GAAG,2BAA2B,CAAC,SAAS,EAAE,IAAI,CAAC,EACtD,CAAC,CACF;gBACD,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAC7C,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,CACL,CAAC;gBACD,IAAI,CAAC,OAAO,CAAC,MAAM,CACjB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAChB,KAAK;oBACL,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB;wBAClC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,CAAC;wBAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CACtB,CAAC,cAAc,EAAE,SAAS,EAAE,EAAE,CAC5B,cAAc;4BACd,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAAC,EAC7C,2BAA2B,CAAC,MAAM,CAAC,UAAU,CAAC,CAC/C,CAAC,EACR,CAAC,CACF,CACF,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC;gBACD,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC;gBACzC,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAC5C,CAAC;QACJ,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,QAAsB,EACtB,aAAqB,EACb,EAAE,CACV,QAAQ,CAAC,qBAAqB;KAC3B,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC;KACvB,MAAM,CACL,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CACvB,KAAK,GAAG,2BAA2B,CAAC,aAAa,CAAC,EACpD,CAAC,CACF,CAAC;AAEN,MAAM,yBAAyB,GAAG,CAChC,aAAiC,EACjC,wBAA6C,EACrC,EAAE;IACV,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC;QACX,KAAK,mBAAmB;YACtB,OAAO,wBAAwB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,aAAa,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,CAAC,CAAC;YACX,CAAC;YAED,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,CACL,CAAC;gBACD,aAAa,CAAC,KAAK,CAAC,MAAM,CACxB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAChB,KAAK,GAAG,yBAAyB,CAAC,MAAM,EAAE,wBAAwB,CAAC,EACrE,CAAC,CACF,CACF,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,CACL,CAAC;gBACD,yBAAyB,CACvB,aAAa,CAAC,WAAW,EACzB,wBAAwB,CACzB,CACF,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,CACL,CAAC;gBACD,aAAa,CAAC,YAAY,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAChB,KAAK,GAAG,yBAAyB,CAAC,MAAM,EAAE,wBAAwB,CAAC,EACrE,CAAC,CACF,CACF,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,CACL,CAAC;gBACD,aAAa,CAAC,UAAU,CAAC,MAAM,CAC7B,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CACnB,KAAK;oBACL,yBAAyB,CACvB,SAAS,EAAE,IAAI,EACf,wBAAwB,CACzB,EACH,CAAC,CACF;gBACD,yBAAyB,CACvB,aAAa,CAAC,UAAU,EACxB,wBAAwB,CACzB,CACF,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,CAAC;gBACD,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,CAClC,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CACtB,KAAK;oBACL,yBAAyB,CAAC,YAAY,EAAE,wBAAwB,CAAC,EACnE,CAAC,CACF,IAAI,CAAC,CAAC,CACR,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,CACL,CAAC;gBACD,aAAa,CAAC,OAAO,CAAC,MAAM,CAC1B,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAChB,KAAK;oBACL,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB;wBAClC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC;wBAClE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CACtB,CAAC,cAAc,EAAE,SAAS,EAAE,EAAE,CAC5B,cAAc;4BACd,yBAAyB,CACvB,SAAS,CAAC,IAAI,EACd,wBAAwB,CACzB,EACH,yBAAyB,CACvB,MAAM,CAAC,UAAU,EACjB,wBAAwB,CACzB,CACF,CAAC,EACR,CAAC,CACF,CACF,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC;gBACD,yBAAyB,CACvB,aAAa,CAAC,OAAO,EACrB,wBAAwB,CACzB;gBACD,yBAAyB,CACvB,aAAa,CAAC,SAAS,EACvB,wBAAwB,CACzB,CACF,CAAC;QACJ,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX;YACE,OAAO,2BAA2B,CAChC,aAAa,EACb,wBAAwB,CACzB;gBACC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC,CAAC;IACV,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,KAAsB,EACtB,KAAkB,EAClB,aAAqB,EACb,EAAE;IACV,MAAM,YAAY,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,wBAAwB,GAAG,IAAI,GAAG,CACtC,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAC/D,CAAC;IACF,MAAM,sBAAsB,GAAG,gCAAgC,CAC7D,YAAY,CAAC,cAAc,EAC3B,YAAY,CAAC,cAAc,EAC3B,aAAa,CACd,CAAC;IAEF,OAAO,sBAAsB;SAC1B,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC;SACvB,MAAM,CACL,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CACvB,KAAK;QACL,yBAAyB,CAAC,aAAa,EAAE,wBAAwB,CAAC,EACpE,CAAC,CACF,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,KAAsB,EACtB,KAAkB,EAClB,QAAqD,EACrD,aAAqB,EACb,EAAE;IACV,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,YAAY,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,wBAAwB,GAAG,IAAI,GAAG,CACtC,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAC/D,CAAC;IACF,MAAM,sBAAsB,GAAG,gCAAgC,CAC7D,YAAY,CAAC,cAAc,EAC3B,YAAY,CAAC,cAAc,EAC3B,aAAa,CACd,CAAC;IAEF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,aAAa,EACb,sBAAsB,CAAC,MAAM,EAC7B,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,gBAAgB,IAAI,CAAC,YAAY,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,MAAM,uBAAuB,GAC3B,sCAAsC,CACpC,KAAK,EACL,gBAAgB,EAChB,YAAY,CACb,IAAI,gBAAgB,CAAC;QAExB,IACE,2BAA2B,CACzB,uBAAuB,EACvB,wBAAwB,CACzB,EACD,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,UAAU,CAAC,uBAAuB,EAAE,YAAY,CAAC,EAAE,CAAC;YACtD,SAAS,IAAI,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QAED,IACE,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,uBAAuB,CAAC;YAC5D,cAAc,CAAC,KAAK,EAAE,uBAAuB,EAAE,YAAY,CAAC,EAC5D,CAAC;YACD,SAAS,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,KAAsB,EACtB,QAAsB,EACtB,QAAyC,EACzC,aAAqB,EACb,EAAE;IACV,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,aAAa,EACb,QAAQ,CAAC,cAAc,CAAC,MAAM,EAC9B,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,IAAI,mBAAmB,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACvE,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,8CAA8C,GAAG,CACrD,KAAsB,EACtB,QAAsB,EACtB,QAAyC,EACzC,aAAqB,EACb,EAAE;IACV,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,aAAa,EACb,QAAQ,CAAC,cAAc,CAAC,MAAM,EAC9B,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,YAAY,CAAC,IAAI,KAAK,QAAQ,EAC9B,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,mBAAmB,CAAC,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACvE,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CAAC,IAAwB,EAAW,EAAE;IACzE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,4BAA4B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,CAClD,QAAsB,EACtB,QAAyC,EACzC,aAAqB,EACb,EAAE;IACV,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,aAAa,EACb,QAAQ,CAAC,cAAc,CAAC,MAAM,EAC9B,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,YAAY,CAAC,IAAI,KAAK,QAAQ;YAC9B,4BAA4B,CAAC,aAAa,CAAC,EAC3C,CAAC;YACD,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,KAAsB,EACtB,QAAsB,EACtB,QAAyC,EACzC,aAAqB,EACb,EAAE;IACV,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,aAAa,EACb,QAAQ,CAAC,cAAc,CAAC,MAAM,EAC9B,QAAQ,CAAC,MAAM,CAChB,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,MAAM,qBAAqB,GACzB,aAAa,CAAC,IAAI,KAAK,cAAc;YACnC,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,oBAAoB,GACxB,YAAY,CAAC,IAAI,KAAK,cAAc;YAClC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAClD,IAAI,CAAC,qBAAqB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACpD,SAAS;QACX,CAAC;QAED,IACE,qBAAqB,CAAC,UAAU,CAAC,MAAM;YACvC,oBAAoB,CAAC,UAAU,CAAC,MAAM,EACtC,CAAC;YACD,YAAY,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,KAAsB,EACtB,KAAkB,EAClB,QAAsB,EACtB,YAAgC,EAChC,QAAqD,EACrD,aAAqB,EACL,EAAE;IAClB,MAAM,0BAA0B,GAAG,0BAA0B,CAC3D,KAAK,EACL,QAAQ,EACR,YAAY,CACb,CAAC;IACF,MAAM,2BAA2B,GAAG,QAAQ,CAAC,cAAc,CAAC,KAAK,CAC/D,CAAC,EACD,aAAa,CACd,CAAC;IACF,MAAM,qBAAqB,GAAG,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,MAAM,kBAAkB,GAAG,QAAQ;QACjC,CAAC,CAAC,mBAAmB,CACjB,KAAK,EACL,2BAA2B,EAC3B,qBAAqB,IAAI,EAAE,EAC3B,aAAa,CACd;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,uBAAuB,GAAG,QAAQ;QACtC,CAAC,CAAC,wBAAwB,CACtB,KAAK,EACL;YACE,GAAG,QAAQ;YACX,cAAc,EAAE,2BAA2B;SAC5C,EACD,qBAAqB,IAAI,EAAE,EAC3B,aAAa,CACd;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,6CAA6C,GAAG,QAAQ;QAC5D,CAAC,CAAC,8CAA8C,CAC5C,KAAK,EACL;YACE,GAAG,QAAQ;YACX,cAAc,EAAE,2BAA2B;SAC5C,EACD,qBAAqB,IAAI,EAAE,EAC3B,aAAa,CACd;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,0CAA0C,GAAG,QAAQ;QACzD,CAAC,CAAC,2CAA2C,CACzC;YACE,GAAG,QAAQ;YACX,cAAc,EAAE,2BAA2B;SAC5C,EACD,qBAAqB,IAAI,EAAE,EAC3B,aAAa,CACd;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,yBAAyB,GAAG,QAAQ;QACxC,CAAC,CAAC,8BAA8B,CAC5B,KAAK,EACL;YACE,GAAG,QAAQ;YACX,cAAc,EAAE,2BAA2B;SAC5C,EACD,qBAAqB,IAAI,EAAE,EAC3B,aAAa,CACd;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,wBAAwB,GAAG,6BAA6B,CAC5D,KAAK,EACL,KAAK,EACL,QAAQ,EACR,aAAa,CACd,CAAC;IACF,MAAM,gBAAgB,GAAG,yBAAyB,CAChD,KAAK,EACL,KAAK,EACL,aAAa,CACd,CAAC;IACF,MAAM,uBAAuB,GAAG,gCAAgC,CAC9D,QAAQ,EACR,aAAa,CACd,CAAC;IACF,MAAM,iBAAiB,GACrB,QAAQ,CAAC,aAAa;QACtB,CAAC,QAAQ,CAAC,aAAa,CAAC,gBAAgB;QACxC,QAAQ,CAAC,aAAa,CAAC,cAAc,KAAK,aAAa;QACrD,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,CAAC,CAAC;IACR,MAAM,OAAO,GACX,QAAQ,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7E,OAAO;QACL,0BAA0B;QAC1B,6CAA6C;QAC7C,0CAA0C;QAC1C,uBAAuB;QACvB,yBAAyB;QACzB,iBAAiB;QACjB,wBAAwB;QACxB,uBAAuB;QACvB,gBAAgB;QAChB,kBAAkB;QAClB,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAoB,EACpB,KAAqB,EACb,EAAE;IACV,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,SAAS,GAAG,UAAU,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAChD,KAAsB,EACtB,KAAgB,EAIhB,EAAE;IACF,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;IACjD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC7D,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,eAAe,CAAC;IAC3C,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAsB,EACtB,aAAsC,EACtC,eAAmD,EACnD,KAA+B,EACX,EAAE;IACtB,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxD,IAAI,aAAa,EAAE,CAAC;QAClB,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IACxD,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,eAAe,IAAI,EAAE,EAAE,CAAC;QAC9C,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;IAChE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,SAAS;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GACnB,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;IAC7E,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,aAAa,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO;gBACL,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,SAAS;aACpB,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,yCAAyC,CACzE,KAAK,EACL,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CACjC,CAAC;QACF,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QACvC,OAAO;YACL,KAAK,EAAE,WAAW;YAClB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAsB,iBAAiB,CAAC,OAAO,CACnE,CAAC,SAAS,EAAqB,EAAE;QAC/B,MAAM,UAAU,GAAG,yCAAyC,CAAC,KAAK,EAAE;YAClE,GAAG,KAAK;YACR,KAAK,EAAE,SAAS;SACjB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,mBAAmB,CAC/B,KAAK,EACL,SAAS,EACT,UAAU,CAAC,QAAQ,EACnB,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACpB,CAAC;QAEF,OAAO;YACL;gBACE,KAAK,EAAE,SAAS;gBAChB,UAAU;gBACV,KAAK;aACN;SACF,CAAC;IACJ,CAAC,CACF,CAAC;IAEF,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,SAAS;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,4BAA4B,GAAG,gBAAgB,CAAC,MAAM,CAC1D,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CACvC,CAAC;IACF,MAAM,mBAAmB,GACvB,4BAA4B,CAAC,MAAM,GAAG,CAAC;QACrC,CAAC,CAAC,4BAA4B;QAC9B,CAAC,CAAC,gBAAgB,CAAC;IAEvB,IAAI,aAAa,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO;YACL,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,SAAS;SACpB,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,mBAAmB,EAAE,CAAC;QAC5C,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YAClD,SAAS;QACX,CAAC;QAED,IAAI,sBAAsB,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACrE,aAAa,GAAG,SAAS,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAChE,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,KAAK;QAC1B,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,QAAQ;KAC5C,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-inference.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Call Resolution Inference — Facade
+ *
+ * Re-exports generic type argument inference, overload scoring, and parameter
+ * refinement from sub-modules:
+ * - call-resolution-unification: inferMethodTypeArgsFromArguments
+ * - call-resolution-scoring: isArityCompatible, scoreSignatureMatch,
+ *     refineParameterTypeForConcreteArgument, refineResolvedParameterTypesForArguments
+ */
+export { inferMethodTypeArgsFromArguments } from "./call-resolution-unification.js";
+export { isArityCompatible, scoreSignatureMatch, refineParameterTypeForConcreteArgument, refineResolvedParameterTypesForArguments, } from "./call-resolution-scoring.js";
+//# sourceMappingURL=call-resolution-inference.d.ts.map

package/dist/ir/type-system/call-resolution-inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-inference.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AACpF,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,sCAAsC,EACtC,wCAAwC,GACzC,MAAM,8BAA8B,CAAC"}

package/dist/ir/type-system/call-resolution-inference.js

@@ -0,0 +1,12 @@
+/**
+ * Call Resolution Inference — Facade
+ *
+ * Re-exports generic type argument inference, overload scoring, and parameter
+ * refinement from sub-modules:
+ * - call-resolution-unification: inferMethodTypeArgsFromArguments
+ * - call-resolution-scoring: isArityCompatible, scoreSignatureMatch,
+ *     refineParameterTypeForConcreteArgument, refineResolvedParameterTypesForArguments
+ */
+export { inferMethodTypeArgsFromArguments } from "./call-resolution-unification.js";
+export { isArityCompatible, scoreSignatureMatch, refineParameterTypeForConcreteArgument, refineResolvedParameterTypesForArguments, } from "./call-resolution-scoring.js";
+//# sourceMappingURL=call-resolution-inference.js.map

package/dist/ir/type-system/call-resolution-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-inference.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,gCAAgC,EAAE,MAAM,kCAAkC,CAAC;AACpF,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,sCAAsC,EACtC,wCAAwC,GACzC,MAAM,8BAA8B,CAAC"}

package/dist/ir/type-system/call-resolution-method-substitution.d.ts

@@ -0,0 +1,12 @@
+import type { IrType } from "../types/index.js";
+import { type CallQuery, type RawSignatureInfo, type ResolvedCall, type Site, type TypeSystemState } from "./type-system-state.js";
+type WorkingPredicate = ResolvedCall["typePredicate"];
+export type MethodTypeSubstitutionResult = {
+    readonly kind: "ok";
+    readonly substitution: ReadonlyMap<string, IrType>;
+} | {
+    readonly kind: "error";
+};
+export declare const resolveMethodTypeSubstitution: (state: TypeSystemState, rawSig: RawSignatureInfo, query: Pick<CallQuery, "argTypes" | "explicitTypeArgs" | "expectedReturnType" | "receiverType">, site: Site | undefined, workingParams: readonly (IrType | undefined)[], workingThisParam: IrType | undefined, workingReturn: IrType, _workingPredicate: WorkingPredicate) => MethodTypeSubstitutionResult;
+export {};
+//# sourceMappingURL=call-resolution-method-substitution.d.ts.map

package/dist/ir/type-system/call-resolution-method-substitution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-method-substitution.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-method-substitution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAShD,OAAO,EAEL,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,IAAI,EACT,KAAK,eAAe,EACrB,MAAM,wBAAwB,CAAC;AAGhC,KAAK,gBAAgB,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;AAEtD,MAAM,MAAM,4BAA4B,GACpC;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/B,eAAO,MAAM,6BAA6B,GACxC,OAAO,eAAe,EACtB,QAAQ,gBAAgB,EACxB,OAAO,IAAI,CACT,SAAS,EACT,UAAU,GAAG,kBAAkB,GAAG,oBAAoB,GAAG,cAAc,CACxE,EACD,MAAM,IAAI,GAAG,SAAS,EACtB,eAAe,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC9C,kBAAkB,MAAM,GAAG,SAAS,EACpC,eAAe,MAAM,EACrB,mBAAmB,gBAAgB,KAClC,4BA+KF,CAAC"}

package/dist/ir/type-system/call-resolution-method-substitution.js

@@ -0,0 +1,115 @@
+import { substituteIrType as irSubstitute } from "../types/ir-substitution.js";
+import { isAssignableTo, typesEqual } from "./type-system-relations.js";
+import { collectExpectedReturnCandidates, expandParameterTypesForInference, mapEntriesEqual, } from "./call-resolution-utilities.js";
+import { choosePreferredEquivalentInferenceType } from "./inference-type-preference.js";
+import { emitDiagnostic, } from "./type-system-state.js";
+import { inferMethodTypeArgsFromArguments } from "./call-resolution-inference.js";
+export const resolveMethodTypeSubstitution = (state, rawSig, query, site, workingParams, workingThisParam, workingReturn, _workingPredicate) => {
+    const methodTypeParams = rawSig.typeParameters;
+    const callSubst = new Map();
+    const typeRelations = {
+        typesEqual,
+        isAssignableTo: (source, target) => isAssignableTo(state, source, target),
+    };
+    const mergeSubstitutionType = (existing, next) => choosePreferredEquivalentInferenceType(typeRelations, existing, next);
+    if (query.explicitTypeArgs) {
+        for (let index = 0; index < Math.min(query.explicitTypeArgs.length, methodTypeParams.length); index++) {
+            const parameter = methodTypeParams[index];
+            const argument = query.explicitTypeArgs[index];
+            if (parameter && argument) {
+                callSubst.set(parameter.name, argument);
+            }
+        }
+    }
+    if (query.receiverType && workingThisParam) {
+        const receiverParamForInference = callSubst.size > 0
+            ? irSubstitute(workingThisParam, callSubst)
+            : workingThisParam;
+        const inferredFromReceiver = inferMethodTypeArgsFromArguments(state, methodTypeParams, [receiverParamForInference], [query.receiverType]);
+        if (inferredFromReceiver) {
+            for (const [name, inferredType] of inferredFromReceiver) {
+                const existing = callSubst.get(name);
+                if (existing) {
+                    const merged = mergeSubstitutionType(existing, inferredType);
+                    if (!merged) {
+                        emitDiagnostic(state, "TSN5202", `Conflicting type argument inference for '${name}' (receiver)`, site);
+                        return { kind: "error" };
+                    }
+                    callSubst.set(name, merged);
+                    continue;
+                }
+                callSubst.set(name, inferredType);
+            }
+        }
+    }
+    if (query.argTypes) {
+        const paramsForInferenceBase = callSubst.size > 0
+            ? workingParams.map((parameter) => parameter ? irSubstitute(parameter, callSubst) : undefined)
+            : workingParams;
+        const paramsForInference = expandParameterTypesForInference(rawSig.parameterFlags, paramsForInferenceBase, query.argTypes.length);
+        const inferred = inferMethodTypeArgsFromArguments(state, methodTypeParams, paramsForInference, query.argTypes);
+        if (!inferred) {
+            emitDiagnostic(state, "TSN5202", "Type arguments cannot be inferred deterministically from arguments", site);
+            return { kind: "error" };
+        }
+        for (const [name, inferredType] of inferred) {
+            const existing = callSubst.get(name);
+            if (existing) {
+                const merged = mergeSubstitutionType(existing, inferredType);
+                if (!merged) {
+                    emitDiagnostic(state, "TSN5202", `Conflicting type argument inference for '${name}'`, site);
+                    return { kind: "error" };
+                }
+                callSubst.set(name, merged);
+                continue;
+            }
+            callSubst.set(name, inferredType);
+        }
+    }
+    if (query.expectedReturnType) {
+        const expectedCandidates = collectExpectedReturnCandidates(state, query.expectedReturnType);
+        let matched;
+        for (const candidate of expectedCandidates) {
+            const inferred = inferMethodTypeArgsFromArguments(state, methodTypeParams, [workingReturn], [candidate]);
+            if (!inferred || inferred.size === 0)
+                continue;
+            let conflictsWithExisting = false;
+            for (const [name, inferredType] of inferred) {
+                const existing = callSubst.get(name);
+                if (existing && !mergeSubstitutionType(existing, inferredType)) {
+                    conflictsWithExisting = true;
+                    break;
+                }
+            }
+            if (conflictsWithExisting)
+                continue;
+            if (matched && !mapEntriesEqual(matched, inferred)) {
+                matched = undefined;
+                break;
+            }
+            matched = inferred;
+        }
+        if (matched) {
+            for (const [name, inferredType] of matched) {
+                const existing = callSubst.get(name);
+                if (existing) {
+                    const merged = mergeSubstitutionType(existing, inferredType);
+                    if (!merged) {
+                        emitDiagnostic(state, "TSN5202", `Conflicting type argument inference for '${name}' (expected return context)`, site);
+                        return { kind: "error" };
+                    }
+                    callSubst.set(name, merged);
+                    continue;
+                }
+                callSubst.set(name, inferredType);
+            }
+        }
+    }
+    for (const typeParameter of methodTypeParams) {
+        if (!callSubst.has(typeParameter.name) && typeParameter.defaultType) {
+            callSubst.set(typeParameter.name, typeParameter.defaultType);
+        }
+    }
+    return { kind: "ok", substitution: callSubst };
+};
+//# sourceMappingURL=call-resolution-method-substitution.js.map

package/dist/ir/type-system/call-resolution-method-substitution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-method-substitution.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-method-substitution.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,IAAI,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EACL,+BAA+B,EAC/B,gCAAgC,EAChC,eAAe,GAChB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,sCAAsC,EAAE,MAAM,gCAAgC,CAAC;AACxF,OAAO,EACL,cAAc,GAMf,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AAQlF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAsB,EACtB,MAAwB,EACxB,KAGC,EACD,IAAsB,EACtB,aAA8C,EAC9C,gBAAoC,EACpC,aAAqB,EACrB,iBAAmC,EACL,EAAE;IAChC,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,aAAa,GAAG;QACpB,UAAU;QACV,cAAc,EAAE,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE,CACjD,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;KAC/B,CAAC;IACX,MAAM,qBAAqB,GAAG,CAC5B,QAAgB,EAChB,IAAY,EACQ,EAAE,CACtB,sCAAsC,CAAC,aAAa,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAExE,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC3B,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EACxE,KAAK,EAAE,EACP,CAAC;YACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;gBAC1B,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,YAAY,IAAI,gBAAgB,EAAE,CAAC;QAC3C,MAAM,yBAAyB,GAC7B,SAAS,CAAC,IAAI,GAAG,CAAC;YAChB,CAAC,CAAC,YAAY,CAAC,gBAAgB,EAAE,SAAS,CAAC;YAC3C,CAAC,CAAC,gBAAgB,CAAC;QAEvB,MAAM,oBAAoB,GAAG,gCAAgC,CAC3D,KAAK,EACL,gBAAgB,EAChB,CAAC,yBAAyB,CAAC,EAC3B,CAAC,KAAK,CAAC,YAAY,CAAC,CACrB,CAAC;QAEF,IAAI,oBAAoB,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,oBAAoB,EAAE,CAAC;gBACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;oBAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4CAA4C,IAAI,cAAc,EAC9D,IAAI,CACL,CAAC;wBACF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;oBAC3B,CAAC;oBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC5B,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,sBAAsB,GAC1B,SAAS,CAAC,IAAI,GAAG,CAAC;YAChB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9B,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAC3D;YACH,CAAC,CAAC,aAAa,CAAC;QACpB,MAAM,kBAAkB,GAAG,gCAAgC,CACzD,MAAM,CAAC,cAAc,EACrB,sBAAsB,EACtB,KAAK,CAAC,QAAQ,CAAC,MAAM,CACtB,CAAC;QAEF,MAAM,QAAQ,GAAG,gCAAgC,CAC/C,KAAK,EACL,gBAAgB,EAChB,kBAAkB,EAClB,KAAK,CAAC,QAAQ,CACf,CAAC;QAEF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,cAAc,CACZ,KAAK,EACL,SAAS,EACT,oEAAoE,EACpE,IAAI,CACL,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4CAA4C,IAAI,GAAG,EACnD,IAAI,CACL,CAAC;oBACF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBAC3B,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC7B,MAAM,kBAAkB,GAAG,+BAA+B,CACxD,KAAK,EACL,KAAK,CAAC,kBAAkB,CACzB,CAAC;QACF,IAAI,OAAwC,CAAC;QAE7C,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,gCAAgC,CAC/C,KAAK,EACL,gBAAgB,EAChB,CAAC,aAAa,CAAC,EACf,CAAC,SAAS,CAAC,CACZ,CAAC;YACF,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAE/C,IAAI,qBAAqB,GAAG,KAAK,CAAC;YAClC,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,QAAQ,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;oBAC/D,qBAAqB,GAAG,IAAI,CAAC;oBAC7B,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,qBAAqB;gBAAE,SAAS;YAEpC,IAAI,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACnD,OAAO,GAAG,SAAS,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,OAAO,GAAG,QAAQ,CAAC;QACrB,CAAC;QAED,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC3C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;oBAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4CAA4C,IAAI,6BAA6B,EAC7E,IAAI,CACL,CAAC;wBACF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;oBAC3B,CAAC;oBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC5B,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,aAAa,IAAI,gBAAgB,EAAE,CAAC;QAC7C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;YACpE,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AACjD,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-parameters.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Call Resolution Parameters — Rest/optional parameter expansion and type candidate expansion
+ *
+ * Contains:
+ * - expandParameterTypesForInference: expand rest params for inference
+ * - expandParameterTypesForArguments: expand rest params for argument matching
+ * - buildResolvedRestParameter: resolve rest parameter structure
+ * - collectExpectedReturnCandidates: return type candidate expansion
+ * - collectNarrowingCandidates: narrowing candidate expansion
+ *
+ * DAG position: depends on type-system-state
+ */
+import type { IrType } from "../types/index.js";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const expandParameterTypesForInference: (parameters: readonly {
+    readonly isRest: boolean;
+}[], parameterTypes: readonly (IrType | undefined)[], argumentCount: number) => readonly (IrType | undefined)[];
+export declare const expandParameterTypesForArguments: (parameters: readonly {
+    readonly isRest: boolean;
+}[], parameterTypes: readonly (IrType | undefined)[], argumentCount: number) => readonly (IrType | undefined)[];
+export declare const buildResolvedRestParameter: (parameterFlags: readonly {
+    readonly isRest: boolean;
+}[], parameterTypes: readonly (IrType | undefined)[]) => {
+    readonly index: number;
+    readonly arrayType: IrType | undefined;
+    readonly elementType: IrType | undefined;
+} | undefined;
+export declare const collectExpectedReturnCandidates: (state: TypeSystemState, type: IrType) => readonly IrType[];
+export declare const collectNarrowingCandidates: (state: TypeSystemState, type: IrType) => readonly IrType[];
+//# sourceMappingURL=call-resolution-parameters.d.ts.map