@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/syntax/property-names.js

@@ -0,0 +1,116 @@
+import * as ts from "typescript";
+const WELL_KNOWN_SYMBOL_PROPERTY_NAMES = new Set([
+    "asyncDispose",
+    "asyncIterator",
+    "dispose",
+    "hasInstance",
+    "isConcatSpreadable",
+    "iterator",
+    "match",
+    "matchAll",
+    "replace",
+    "search",
+    "species",
+    "split",
+    "toPrimitive",
+    "toStringTag",
+    "unscopables",
+]);
+const WELL_KNOWN_SYMBOL_PREFIX = "[symbol:";
+const unwrapPropertyNameExpression = (expr) => {
+    let current = expr;
+    for (;;) {
+        if (ts.isParenthesizedExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        if (ts.isAsExpression(current) || ts.isTypeAssertionExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        if (ts.isSatisfiesExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        if (ts.isNonNullExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        return current;
+    }
+};
+const isSymbolNamespaceExpression = (expr) => {
+    const current = unwrapPropertyNameExpression(expr);
+    if (ts.isIdentifier(current)) {
+        return current.text === "Symbol";
+    }
+    if (ts.isPropertyAccessExpression(current)) {
+        return (ts.isIdentifier(current.expression) &&
+            current.expression.text === "globalThis" &&
+            current.name.text === "Symbol");
+    }
+    if (ts.isElementAccessExpression(current)) {
+        const target = unwrapPropertyNameExpression(current.expression);
+        const arg = current.argumentExpression
+            ? unwrapPropertyNameExpression(current.argumentExpression)
+            : undefined;
+        return (ts.isIdentifier(target) &&
+            target.text === "globalThis" &&
+            !!arg &&
+            (ts.isStringLiteral(arg) || ts.isNoSubstitutionTemplateLiteral(arg)) &&
+            arg.text === "Symbol");
+    }
+    return false;
+};
+export const makeWellKnownSymbolPropertyName = (name) => `${WELL_KNOWN_SYMBOL_PREFIX}${name}]`;
+const tryResolveWellKnownSymbolPropertyName = (expr) => {
+    const current = unwrapPropertyNameExpression(expr);
+    if (ts.isPropertyAccessExpression(current)) {
+        if (!isSymbolNamespaceExpression(current.expression))
+            return undefined;
+        return WELL_KNOWN_SYMBOL_PROPERTY_NAMES.has(current.name.text)
+            ? makeWellKnownSymbolPropertyName(current.name.text)
+            : undefined;
+    }
+    if (ts.isElementAccessExpression(current)) {
+        if (!isSymbolNamespaceExpression(current.expression))
+            return undefined;
+        const arg = current.argumentExpression
+            ? unwrapPropertyNameExpression(current.argumentExpression)
+            : undefined;
+        if (!arg ||
+            (!ts.isStringLiteral(arg) && !ts.isNoSubstitutionTemplateLiteral(arg))) {
+            return undefined;
+        }
+        return WELL_KNOWN_SYMBOL_PROPERTY_NAMES.has(arg.text)
+            ? makeWellKnownSymbolPropertyName(arg.text)
+            : undefined;
+    }
+    return undefined;
+};
+export const tryResolveDeterministicPropertyNameFromExpression = (expr) => {
+    const current = unwrapPropertyNameExpression(expr);
+    if (ts.isStringLiteral(current) ||
+        ts.isNoSubstitutionTemplateLiteral(current) ||
+        ts.isNumericLiteral(current)) {
+        return current.text;
+    }
+    return tryResolveWellKnownSymbolPropertyName(current);
+};
+export const tryResolveDeterministicPropertyName = (name) => {
+    if (!name)
+        return undefined;
+    if (ts.isIdentifier(name) ||
+        ts.isStringLiteral(name) ||
+        ts.isNoSubstitutionTemplateLiteral(name) ||
+        ts.isNumericLiteral(name) ||
+        ts.isPrivateIdentifier(name)) {
+        return name.text;
+    }
+    if (ts.isComputedPropertyName(name)) {
+        return tryResolveDeterministicPropertyNameFromExpression(name.expression);
+    }
+    return undefined;
+};
+export const isWellKnownSymbolPropertyName = (name) => name.startsWith(WELL_KNOWN_SYMBOL_PREFIX) && name.endsWith("]");
+//# sourceMappingURL=property-names.js.map

package/dist/ir/syntax/property-names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-names.js","sourceRoot":"","sources":["../../../src/ir/syntax/property-names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC;IAC/C,cAAc;IACd,eAAe;IACf,SAAS;IACT,aAAa;IACb,oBAAoB;IACpB,UAAU;IACV,OAAO;IACP,UAAU;IACV,SAAS;IACT,QAAQ;IACR,SAAS;IACT,OAAO;IACP,aAAa;IACb,aAAa;IACb,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,UAAU,CAAC;AAE5C,MAAM,4BAA4B,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC1E,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,IAAmB,EAAW,EAAE;IACnE,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;IACnC,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;YACnC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;YACxC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB;YACpC,CAAC,CAAC,4BAA4B,CAAC,OAAO,CAAC,kBAAkB,CAAC;YAC1D,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YACvB,MAAM,CAAC,IAAI,KAAK,YAAY;YAC5B,CAAC,CAAC,GAAG;YACL,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;YACpE,GAAG,CAAC,IAAI,KAAK,QAAQ,CACtB,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,IAAY,EAAU,EAAE,CACtE,GAAG,wBAAwB,GAAG,IAAI,GAAG,CAAC;AAExC,MAAM,qCAAqC,GAAG,CAC5C,IAAmB,EACC,EAAE;IACtB,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAEnD,IAAI,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QACvE,OAAO,gCAAgC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5D,CAAC,CAAC,+BAA+B,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACpD,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QACvE,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB;YACpC,CAAC,CAAC,4BAA4B,CAAC,OAAO,CAAC,kBAAkB,CAAC;YAC1D,CAAC,CAAC,SAAS,CAAC;QACd,IACE,CAAC,GAAG;YACJ,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC,EACtE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,gCAAgC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YACnD,CAAC,CAAC,+BAA+B,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iDAAiD,GAAG,CAC/D,IAAmB,EACC,EAAE;IACtB,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAEnD,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC3B,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC;QAC3C,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAC5B,CAAC;QACD,OAAO,OAAO,CAAC,IAAI,CAAC;IACtB,CAAC;IAED,OAAO,qCAAqC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAAyE,EACrD,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,iDAAiD,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5E,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,IAAY,EAAW,EAAE,CACrE,IAAI,CAAC,UAAU,CAAC,wBAAwB,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { IrFunctionType, IrType } from "../types/index.js";
+import type { CallQuery, ResolvedCall, TypeSystemState } from "./type-system-state.js";
+type CallableTypeQuery = Pick<CallQuery, "argumentCount" | "argTypes" | "explicitTypeArgs" | "expectedReturnType">;
+export type ResolvedCallableType = {
+    readonly callableType: IrFunctionType;
+    readonly resolved: ResolvedCall;
+};
+export declare const resolveCallableType: (state: TypeSystemState, type: IrType | undefined, query: CallableTypeQuery) => ResolvedCallableType | undefined;
+export {};
+//# sourceMappingURL=call-resolution-callable-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-callable-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-callable-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAMhE,OAAO,KAAK,EACV,SAAS,EAET,YAAY,EACZ,eAAe,EAChB,MAAM,wBAAwB,CAAC;AAehC,KAAK,iBAAiB,GAAG,IAAI,CAC3B,SAAS,EACT,eAAe,GAAG,UAAU,GAAG,kBAAkB,GAAG,oBAAoB,CACzE,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;CACjC,CAAC;AAofF,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,MAAM,GAAG,SAAS,EACxB,OAAO,iBAAiB,KACvB,oBAAoB,GAAG,SAyCzB,CAAC"}

package/dist/ir/type-system/call-resolution-callable-types.js

@@ -0,0 +1,288 @@
+import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { addUndefinedToType } from "./type-system-state.js";
+import { unknownType } from "./types.js";
+import { buildResolvedRestParameter, containsMethodTypeParameter, delegateToFunctionType, expandParameterTypesForArguments, } from "./call-resolution-utilities.js";
+import { refineResolvedParameterTypesForArguments, scoreSignatureMatch, } from "./call-resolution-inference.js";
+import { resolveMethodTypeSubstitution } from "./call-resolution-method-substitution.js";
+const flattenCallableCandidates = (state, type) => {
+    if (!type)
+        return [];
+    if (type.kind === "functionType") {
+        return [type];
+    }
+    if (type.kind === "intersectionType") {
+        return type.types.flatMap((member) => flattenCallableCandidates(state, member));
+    }
+    const delegated = delegateToFunctionType(state, type);
+    return delegated ? [delegated] : [];
+};
+const countRequiredParameters = (type) => type.parameters.filter((parameter) => !parameter.isOptional && !parameter.isRest).length;
+const canAcceptArgumentCount = (type, argumentCount) => {
+    const required = countRequiredParameters(type);
+    if (argumentCount < required)
+        return false;
+    const hasRest = type.parameters.some((parameter) => parameter.isRest);
+    if (!hasRest && argumentCount > type.parameters.length) {
+        return false;
+    }
+    return true;
+};
+const toRawSignature = (type) => {
+    const typeParameters = (type.typeParameters ?? []).map((parameter) => ({
+        name: parameter.name,
+        constraint: parameter.constraint,
+        defaultType: parameter.default,
+    }));
+    return {
+        parameterTypes: type.parameters.map((parameter) => parameter.type),
+        parameterFlags: type.parameters.map((parameter) => ({
+            isRest: parameter.isRest,
+            isOptional: parameter.isOptional,
+        })),
+        thisParameterType: undefined,
+        returnType: type.returnType,
+        constructsDeclaringType: false,
+        hasDeclaredReturnType: true,
+        parameterModes: type.parameters.map((parameter) => parameter.passing),
+        typeParameters,
+        parameterNames: type.parameters.map((parameter, index) => parameter.pattern.kind === "identifierPattern"
+            ? parameter.pattern.name
+            : `param${index}`),
+    };
+};
+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 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 countUnresolvedMethodParameterOccurrences = (candidate, resolved, argumentCount) => {
+    const methodTypeParameterNames = new Set((candidate.typeParameters ?? []).map((parameter) => parameter.name));
+    if (methodTypeParameterNames.size === 0) {
+        return 0;
+    }
+    return resolved.parameterTypes
+        .slice(0, argumentCount)
+        .reduce((total, parameterType) => total +
+        (parameterType &&
+            containsMethodTypeParameter(parameterType, methodTypeParameterNames)
+            ? 1
+            : 0), 0);
+};
+const buildCallableScore = (state, candidate, resolved, query) => {
+    const hasRest = candidate.parameters.some((parameter) => parameter.isRest);
+    const exactArity = !hasRest && candidate.parameters.length === query.argumentCount;
+    const compatibilityScore = query.argTypes
+        ? scoreSignatureMatch(state, resolved.parameterTypes.slice(0, query.argumentCount), query.argTypes.slice(0, query.argumentCount), query.argumentCount)
+        : 0;
+    const compatibleArgumentCount = query.argTypes
+        ? countCompatibleArguments(state, resolved, query.argTypes, query.argumentCount)
+        : 0;
+    const broadNumberIndependentCompatibleArgumentCount = query.argTypes
+        ? countBroadNumberIndependentCompatibleArguments(state, resolved, query.argTypes, query.argumentCount)
+        : 0;
+    const broadNumberExplicitlyAcceptedArgumentCount = query.argTypes
+        ? countBroadNumberExplicitlyAcceptedArguments(resolved, query.argTypes, query.argumentCount)
+        : 0;
+    const unresolvedMethodParameterOccurrences = countUnresolvedMethodParameterOccurrences(candidate, resolved, query.argumentCount);
+    const surfaceSpecificity = resolved.surfaceParameterTypes
+        .slice(0, query.argumentCount)
+        .reduce((total, parameterType) => total + scoreSurfaceTypeSpecificity(parameterType), 0);
+    return [
+        broadNumberIndependentCompatibleArgumentCount,
+        broadNumberExplicitlyAcceptedArgumentCount,
+        compatibleArgumentCount,
+        exactArity ? 1 : 0,
+        -unresolvedMethodParameterOccurrences,
+        compatibilityScore,
+        surfaceSpecificity,
+        hasRest ? -candidate.parameters.length : 100 - candidate.parameters.length,
+    ];
+};
+const compareCallableScores = (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 resolveCallableTypeCandidate = (state, type, query) => {
+    const rawSig = toRawSignature(type);
+    let workingParams = [...rawSig.parameterTypes];
+    let workingReturn = rawSig.returnType;
+    if (rawSig.typeParameters.length > 0) {
+        const diagnosticsStart = state.diagnostics.length;
+        const substitution = resolveMethodTypeSubstitution(state, rawSig, {
+            argTypes: query.argTypes,
+            explicitTypeArgs: query.explicitTypeArgs,
+            expectedReturnType: query.expectedReturnType,
+            receiverType: undefined,
+        }, undefined, workingParams, undefined, workingReturn, undefined);
+        if (substitution.kind === "error") {
+            state.diagnostics.length = diagnosticsStart;
+            return undefined;
+        }
+        state.diagnostics.length = diagnosticsStart;
+        const callSubst = substitution.substitution;
+        if (callSubst.size > 0) {
+            workingParams = workingParams.map((parameter) => parameter
+                ? irSubstitute(parameter, callSubst)
+                : undefined);
+            workingReturn = irSubstitute(workingReturn, callSubst);
+        }
+        const unresolved = new Set(rawSig.typeParameters
+            .map((parameter) => parameter.name)
+            .filter((name) => !callSubst.has(name)));
+        if (unresolved.size > 0 &&
+            containsMethodTypeParameter(workingReturn, unresolved)) {
+            workingReturn = unknownType;
+        }
+    }
+    const normalizedParams = workingParams.map((parameter, index) => parameter && rawSig.parameterFlags[index]?.isOptional
+        ? addUndefinedToType(parameter)
+        : parameter);
+    const resolved = {
+        thisParameterType: undefined,
+        restParameter: buildResolvedRestParameter(rawSig.parameterFlags, normalizedParams),
+        surfaceRestParameter: buildResolvedRestParameter(rawSig.parameterFlags, normalizedParams),
+        surfaceParameterTypes: expandParameterTypesForArguments(rawSig.parameterFlags, normalizedParams, query.argumentCount),
+        parameterTypes: refineResolvedParameterTypesForArguments(state, rawSig.parameterFlags, normalizedParams, query.argTypes, query.argumentCount),
+        parameterModes: rawSig.parameterModes,
+        returnType: workingReturn,
+        hasDeclaredReturnType: rawSig.hasDeclaredReturnType,
+        typePredicate: undefined,
+        diagnostics: [],
+    };
+    return {
+        callableType: type,
+        resolved,
+    };
+};
+export const resolveCallableType = (state, type, query) => {
+    const arityCompatibleCandidates = flattenCallableCandidates(state, type).filter((candidate) => canAcceptArgumentCount(candidate, query.argumentCount));
+    const candidates = query.explicitTypeArgs && query.explicitTypeArgs.length > 0
+        ? arityCompatibleCandidates.filter((candidate) => (candidate.typeParameters?.length ?? 0) > 0)
+        : arityCompatibleCandidates;
+    if (candidates.length === 0) {
+        return undefined;
+    }
+    let best;
+    let bestScore;
+    for (const candidate of candidates) {
+        const resolved = resolveCallableTypeCandidate(state, candidate, query);
+        if (!resolved) {
+            continue;
+        }
+        const score = buildCallableScore(state, candidate, resolved.resolved, query);
+        if (!best || !bestScore || compareCallableScores(score, bestScore) > 0) {
+            best = resolved;
+            bestScore = score;
+        }
+    }
+    return best;
+};
+//# sourceMappingURL=call-resolution-callable-types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-callable-types.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-callable-types.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AAQrC,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,EAC3B,sBAAsB,EACtB,gCAAgC,GACjC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,wCAAwC,EACxC,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,6BAA6B,EAAE,MAAM,0CAA0C,CAAC;AAYzF,MAAM,yBAAyB,GAAG,CAChC,KAAsB,EACtB,IAAwB,EACG,EAAE;IAC7B,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,CACzC,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACtD,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,IAAoB,EAAU,EAAE,CAC/D,IAAI,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAC1D,CAAC,MAAM,CAAC;AAEX,MAAM,sBAAsB,GAAG,CAC7B,IAAoB,EACpB,aAAqB,EACZ,EAAE;IACX,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,aAAa,GAAG,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE3C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,CAAC,OAAO,IAAI,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAoB,EAAoB,EAAE;IAChE,MAAM,cAAc,GAAwB,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CACzE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,WAAW,EAAE,SAAS,CAAC,OAAO;KAC/B,CAAC,CACH,CAAC;IAEF,OAAO;QACL,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;QAClE,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAClD,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,UAAU,EAAE,SAAS,CAAC,UAAU;SACjC,CAAC,CAAC;QACH,iBAAiB,EAAE,SAAS;QAC5B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,uBAAuB,EAAE,KAAK;QAC9B,qBAAqB,EAAE,IAAI;QAC3B,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;QACrE,cAAc;QACd,cAAc,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACvD,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAC5C,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI;YACxB,CAAC,CAAC,QAAQ,KAAK,EAAE,CACpB;KACF,CAAC;AACJ,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,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,yCAAyC,GAAG,CAChD,SAAyB,EACzB,QAAsB,EACtB,aAAqB,EACb,EAAE;IACV,MAAM,wBAAwB,GAAG,IAAI,GAAG,CACtC,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CACpE,CAAC;IAEF,IAAI,wBAAwB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,QAAQ,CAAC,cAAc;SAC3B,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC;SACvB,MAAM,CACL,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CACvB,KAAK;QACL,CAAC,aAAa;YACd,2BAA2B,CAAC,aAAa,EAAE,wBAAwB,CAAC;YAClE,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC,CAAC,EACR,CAAC,CACF,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,KAAsB,EACtB,SAAyB,EACzB,QAAsB,EACtB,KAAwB,EAUxB,EAAE;IACF,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,UAAU,GACd,CAAC,OAAO,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,aAAa,CAAC;IAClE,MAAM,kBAAkB,GAAG,KAAK,CAAC,QAAQ;QACvC,CAAC,CAAC,mBAAmB,CACjB,KAAK,EACL,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC,EACrD,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC,EAC5C,KAAK,CAAC,aAAa,CACpB;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,uBAAuB,GAAG,KAAK,CAAC,QAAQ;QAC5C,CAAC,CAAC,wBAAwB,CACtB,KAAK,EACL,QAAQ,EACR,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACpB;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,6CAA6C,GAAG,KAAK,CAAC,QAAQ;QAClE,CAAC,CAAC,8CAA8C,CAC5C,KAAK,EACL,QAAQ,EACR,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACpB;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,0CAA0C,GAAG,KAAK,CAAC,QAAQ;QAC/D,CAAC,CAAC,2CAA2C,CACzC,QAAQ,EACR,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACpB;QACH,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,oCAAoC,GACxC,yCAAyC,CACvC,SAAS,EACT,QAAQ,EACR,KAAK,CAAC,aAAa,CACpB,CAAC;IACJ,MAAM,kBAAkB,GAAG,QAAQ,CAAC,qBAAqB;SACtD,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC;SAC7B,MAAM,CACL,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CACvB,KAAK,GAAG,2BAA2B,CAAC,aAAa,CAAC,EACpD,CAAC,CACF,CAAC;IAEJ,OAAO;QACL,6CAA6C;QAC7C,0CAA0C;QAC1C,uBAAuB;QACvB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,oCAAoC;QACrC,kBAAkB;QAClB,kBAAkB;QAClB,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM;KAC3E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IASC,EACD,KASC,EACO,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,4BAA4B,GAAG,CACnC,KAAsB,EACtB,IAAoB,EACpB,KAAwB,EACU,EAAE;IACpC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAC/C,IAAI,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC;IAEtC,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;QAClD,MAAM,YAAY,GAAG,6BAA6B,CAChD,KAAK,EACL,MAAM,EACN;YACE,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,YAAY,EAAE,SAAS;SACxB,EACD,SAAS,EACT,aAAa,EACb,SAAS,EACT,aAAa,EACb,SAAS,CACV,CAAC;QAEF,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,gBAAgB,CAAC;YAC5C,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,gBAAgB,CAAC;QAE5C,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,CAAC;QAC5C,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvB,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS;gBACP,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,SAA8B,CAAC;gBACzD,CAAC,CAAC,SAAS,CACd,CAAC;YACF,aAAa,GAAG,YAAY,CAC1B,aAAa,EACb,SAA8B,CAC/B,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,MAAM,CAAC,cAAc;aAClB,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;aAClC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC1C,CAAC;QACF,IACE,UAAU,CAAC,IAAI,GAAG,CAAC;YACnB,2BAA2B,CAAC,aAAa,EAAE,UAAU,CAAC,EACtD,CAAC;YACD,aAAa,GAAG,WAAW,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAC9D,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,UAAU;QACnD,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAC/B,CAAC,CAAC,SAAS,CACd,CAAC;IAEF,MAAM,QAAQ,GAAiB;QAC7B,iBAAiB,EAAE,SAAS;QAC5B,aAAa,EAAE,0BAA0B,CACvC,MAAM,CAAC,cAAc,EACrB,gBAAgB,CACjB;QACD,oBAAoB,EAAE,0BAA0B,CAC9C,MAAM,CAAC,cAAc,EACrB,gBAAgB,CACjB;QACD,qBAAqB,EAAE,gCAAgC,CACrD,MAAM,CAAC,cAAc,EACrB,gBAAgB,EAChB,KAAK,CAAC,aAAa,CACpB;QACD,cAAc,EAAE,wCAAwC,CACtD,KAAK,EACL,MAAM,CAAC,cAAc,EACrB,gBAAgB,EAChB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACpB;QACD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,aAAa;QACzB,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;QACnD,aAAa,EAAE,SAAS;QACxB,WAAW,EAAE,EAAE;KAChB,CAAC;IAEF,OAAO;QACL,YAAY,EAAE,IAAI;QAClB,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,IAAwB,EACxB,KAAwB,EACU,EAAE;IACpC,MAAM,yBAAyB,GAAG,yBAAyB,CACzD,KAAK,EACL,IAAI,CACL,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACrB,sBAAsB,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,CAAC,CACvD,CAAC;IACF,MAAM,UAAU,GACd,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;QACzD,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAC9B,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAC3D;QACH,CAAC,CAAC,yBAAyB,CAAC;IAChC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAsC,CAAC;IAC3C,IAAI,SAES,CAAC;IAEd,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,kBAAkB,CAC9B,KAAK,EACL,SAAS,EACT,QAAQ,CAAC,QAAQ,EACjB,KAAK,CACN,CAAC;QACF,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACvE,IAAI,GAAG,QAAQ,CAAC;YAChB,SAAS,GAAG,KAAK,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { SignatureId } from "./types.js";
+import type { CallQuery, ResolvedCall, TypeSystemState } from "./type-system-state.js";
+type CandidateSelection = {
+    readonly sigId: SignatureId | undefined;
+    readonly resolved: ResolvedCall | undefined;
+};
+export declare const selectBestCallCandidate: (state: TypeSystemState, fallbackSigId: SignatureId | undefined, candidateSigIds: readonly SignatureId[] | undefined, query: Omit<CallQuery, "sigId">) => CandidateSelection;
+export {};
+//# sourceMappingURL=call-resolution-candidate-selection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-candidate-selection.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-candidate-selection.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EACZ,eAAe,EAChB,MAAM,wBAAwB,CAAC;AAkBhC,KAAK,kBAAkB,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,SAAS,CAAC;CAC7C,CAAC;AAgqBF,eAAO,MAAM,uBAAuB,GAClC,OAAO,eAAe,EACtB,eAAe,WAAW,GAAG,SAAS,EACtC,iBAAiB,SAAS,WAAW,EAAE,GAAG,SAAS,EACnD,OAAO,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,KAC9B,kBAqGF,CAAC"}