@zzzen/pyright-internal 1.2.0-dev.20260920 → 1.2.0-dev.20260927

package/dist/analyzer/overloadResult.js

@@ -0,0 +1,233 @@
+"use strict";
+/*
+ * overloadResult.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * Passive baseline projection for overload-result witnesses.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.projectOverloadResultBaseline = projectOverloadResultBaseline;
+const types_1 = require("./types");
+class ProjectionBlocked extends Error {
+    constructor(reason) {
+        super(`Overload-result baseline projection blocked: ${reason}`);
+        this.reason = reason;
+    }
+}
+// A blocked result is not a usable fallback type. Callers must not replace it
+// with Any, an unprojected input, or an arbitrary candidate.
+function projectOverloadResultBaseline(type, limits = {}) {
+    const maxDepth = limits.maxDepth ?? types_1.maxTypeRecursionCount;
+    const maxNodes = limits.maxNodes ?? 4096;
+    const active = new Set();
+    const memo = new Map();
+    let visitedNodes = 0;
+    const optional = (value, depth) => value === undefined ? undefined : project(value, depth);
+    function project(value, depth) {
+        const cached = memo.get(value);
+        if (cached) {
+            return cached;
+        }
+        if (depth > maxDepth) {
+            throw new ProjectionBlocked('depth');
+        }
+        if (visitedNodes >= maxNodes) {
+            throw new ProjectionBlocked('nodes');
+        }
+        visitedNodes++;
+        if (active.has(value)) {
+            throw new ProjectionBlocked('cycle');
+        }
+        active.add(value);
+        const result = projectValue(value, depth + 1);
+        active.delete(value);
+        memo.set(value, result);
+        return result;
+    }
+    function projectValue(value, depth) {
+        let result = value;
+        switch (value.category) {
+            case 10 /* TypeCategory.OverloadResult */:
+                return project(value.priv.baselineType, depth);
+            case 6 /* TypeCategory.Class */: {
+                const typeArgs = value.priv.typeArgs?.map((arg) => project(arg, depth));
+                const tupleTypeArgs = value.priv.tupleTypeArgs?.map((arg) => ({
+                    ...arg,
+                    type: project(arg.type, depth),
+                }));
+                const partialCallType = optional(value.priv.partialCallType, depth);
+                const accessor = (info) => {
+                    if (!info) {
+                        return undefined;
+                    }
+                    const methodType = project(info.methodType, depth);
+                    const classType = optional(info.classType, depth);
+                    if (!(0, types_1.isFunctionOrOverloaded)(methodType) || (classType && !(0, types_1.isClass)(classType))) {
+                        throw new ProjectionBlocked('category');
+                    }
+                    return methodType === info.methodType && classType === info.classType
+                        ? info
+                        : { ...info, methodType, classType };
+                };
+                const fgetInfo = accessor(value.priv.fgetInfo);
+                const fsetInfo = accessor(value.priv.fsetInfo);
+                const fdelInfo = accessor(value.priv.fdelInfo);
+                const narrowedEntries = value.priv.typedDictNarrowedEntries;
+                const entries = narrowedEntries
+                    ? new Map([...narrowedEntries].map(([name, entry]) => [
+                        name,
+                        { ...entry, valueType: project(entry.valueType, depth) },
+                    ]))
+                    : undefined;
+                if (typeArgs?.some((arg, index) => arg !== value.priv.typeArgs[index]) ||
+                    tupleTypeArgs?.some((arg, index) => arg.type !== value.priv.tupleTypeArgs[index].type) ||
+                    partialCallType !== value.priv.partialCallType ||
+                    fgetInfo !== value.priv.fgetInfo ||
+                    fsetInfo !== value.priv.fsetInfo ||
+                    fdelInfo !== value.priv.fdelInfo ||
+                    (entries &&
+                        [...entries].some(([name, entry]) => entry.valueType !== narrowedEntries.get(name).valueType))) {
+                    const clone = types_1.TypeBase.cloneType(value);
+                    Object.assign(clone.priv, {
+                        typeArgs,
+                        tupleTypeArgs,
+                        partialCallType,
+                        fgetInfo,
+                        fsetInfo,
+                        fdelInfo,
+                        typedDictNarrowedEntries: entries,
+                    });
+                    result = clone;
+                }
+                break;
+            }
+            case 4 /* TypeCategory.Function */: {
+                const parameterTypes = value.shared.parameters.map((_, index) => project(types_1.FunctionType.getParamType(value, index), depth));
+                const parameterDefaultTypes = value.shared.parameters.map((_, index) => optional(types_1.FunctionType.getParamDefaultType(value, index), depth));
+                const returnType = optional(types_1.FunctionType.getEffectiveReturnType(value), depth);
+                const inferredReturnType = optional(value.shared.inferredReturnType?.type, depth);
+                const strippedFirstParamType = optional(value.priv.strippedFirstParamType, depth);
+                const boundToType = optional(value.priv.boundToType, depth);
+                if (boundToType && !(0, types_1.isClass)(boundToType)) {
+                    throw new ProjectionBlocked('category');
+                }
+                if (parameterTypes.some((arg, index) => arg !== types_1.FunctionType.getParamType(value, index)) ||
+                    parameterDefaultTypes.some((arg, index) => arg !== types_1.FunctionType.getParamDefaultType(value, index)) ||
+                    returnType !== types_1.FunctionType.getEffectiveReturnType(value) ||
+                    inferredReturnType !== value.shared.inferredReturnType?.type ||
+                    strippedFirstParamType !== value.priv.strippedFirstParamType ||
+                    boundToType !== value.priv.boundToType) {
+                    const clone = types_1.FunctionType.specialize(value, { parameterTypes, parameterDefaultTypes, returnType });
+                    clone.priv.strippedFirstParamType = strippedFirstParamType;
+                    clone.priv.boundToType = boundToType;
+                    clone.priv.callSiteReturnTypeCache = undefined;
+                    if (value.shared.inferredReturnType && inferredReturnType) {
+                        clone.shared = {
+                            ...clone.shared,
+                            inferredReturnType: { ...value.shared.inferredReturnType, type: inferredReturnType },
+                        };
+                    }
+                    result = clone;
+                }
+                break;
+            }
+            case 5 /* TypeCategory.Overloaded */: {
+                const signatures = types_1.OverloadedType.getOverloads(value);
+                const projected = signatures.map((signature) => {
+                    const candidate = project(signature, depth);
+                    if (!(0, types_1.isFunction)(candidate)) {
+                        throw new ProjectionBlocked('category');
+                    }
+                    return candidate;
+                });
+                const implementation = types_1.OverloadedType.getImplementation(value);
+                const projectedImplementation = optional(implementation, depth);
+                if (projected.some((signature, index) => signature !== signatures[index]) ||
+                    implementation !== projectedImplementation) {
+                    const clone = types_1.OverloadedType.create(projected.map((signature) => types_1.TypeBase.cloneType(signature)), projectedImplementation && (0, types_1.isFunction)(projectedImplementation)
+                        ? types_1.TypeBase.cloneType(projectedImplementation)
+                        : projectedImplementation);
+                    clone.flags = value.flags;
+                    clone.props = value.props;
+                    result = clone;
+                }
+                break;
+            }
+            case 8 /* TypeCategory.Union */: {
+                const subtypes = value.priv.subtypes.map((subtype) => project(subtype, depth));
+                if (subtypes.some((subtype, index) => subtype !== value.priv.subtypes[index])) {
+                    result = (0, types_1.combineTypes)(subtypes);
+                    if (result.category === 8 /* TypeCategory.Union */) {
+                        types_1.UnionType.addTypeAliasSource(result, value);
+                    }
+                }
+                break;
+            }
+            case 9 /* TypeCategory.TypeVar */: {
+                const boundType = optional(value.shared.boundType, depth);
+                const defaultType = project(value.shared.defaultType, depth);
+                const constraints = value.shared.constraints.map((constraint) => project(constraint, depth));
+                const freeTypeVar = optional(value.priv.freeTypeVar, depth);
+                if (freeTypeVar && !(0, types_1.isTypeVar)(freeTypeVar)) {
+                    throw new ProjectionBlocked('category');
+                }
+                if (boundType !== value.shared.boundType ||
+                    defaultType !== value.shared.defaultType ||
+                    constraints.some((constraint, index) => constraint !== value.shared.constraints[index]) ||
+                    freeTypeVar !== value.priv.freeTypeVar) {
+                    const clone = types_1.TypeBase.cloneType(value);
+                    clone.shared = { ...value.shared, boundType, defaultType, constraints };
+                    clone.priv.freeTypeVar = freeTypeVar;
+                    result = clone;
+                }
+                break;
+            }
+            case 1 /* TypeCategory.Unknown */: {
+                const possibleType = optional(value.priv.possibleType, depth);
+                if (possibleType !== value.priv.possibleType) {
+                    const clone = types_1.TypeBase.cloneType(value);
+                    clone.priv.possibleType = possibleType;
+                    result = clone;
+                }
+                break;
+            }
+            case 2 /* TypeCategory.Any */:
+            case 0 /* TypeCategory.Unbound */:
+            case 3 /* TypeCategory.Never */:
+            case 7 /* TypeCategory.Module */:
+                break;
+        }
+        const props = result.props;
+        if (props) {
+            const typeForm = optional(props.typeForm, depth);
+            const specialForm = optional(props.specialForm, depth);
+            if (specialForm && !(0, types_1.isClass)(specialForm)) {
+                throw new ProjectionBlocked('category');
+            }
+            const typeArgs = props.typeAliasInfo?.typeArgs?.map((arg) => project(arg, depth));
+            if (typeForm !== props.typeForm ||
+                specialForm !== props.specialForm ||
+                typeArgs?.some((arg, index) => arg !== props.typeAliasInfo.typeArgs[index])) {
+                result = types_1.TypeBase.cloneType(result);
+                result.props = {
+                    ...props,
+                    typeForm,
+                    specialForm,
+                    typeAliasInfo: props.typeAliasInfo ? { ...props.typeAliasInfo, typeArgs } : undefined,
+                };
+            }
+        }
+        return result;
+    }
+    try {
+        return { kind: 'projected', type: project(type, 0), visitedNodes };
+    }
+    catch (error) {
+        if (error instanceof ProjectionBlocked) {
+            return { kind: 'blocked', reason: error.reason, visitedNodes };
+        }
+        throw error;
+    }
+}
+//# sourceMappingURL=overloadResult.js.map

package/dist/analyzer/overloadResult.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overloadResult.js","sourceRoot":"","sources":["../../../../../src/analyzer/overloadResult.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAmCH,sEAwPC;AAzRD,mCAciB;AAWjB,MAAM,iBAAkB,SAAQ,KAAK;IACjC,YAAqB,MAAgD;QACjE,KAAK,CAAC,gDAAgD,MAAM,EAAE,CAAC,CAAC;QAD/C,WAAM,GAAN,MAAM,CAA0C;IAErE,CAAC;CACJ;AAED,8EAA8E;AAC9E,6DAA6D;AAC7D,SAAgB,6BAA6B,CACzC,IAAU,EACV,SAAyC,EAAE;IAE3C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,6BAAqB,CAAC;IAC1D,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAc,CAAC;IACnC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,MAAM,QAAQ,GAAG,CAAC,KAAuB,EAAE,KAAa,EAAE,EAAE,CACxD,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE5D,SAAS,OAAO,CAAC,KAAW,EAAE,KAAa;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,MAAM,EAAE,CAAC;YACT,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;YACnB,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,YAAY,IAAI,QAAQ,EAAE,CAAC;YAC3B,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QACD,YAAY,EAAE,CAAC;QACf,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxB,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,SAAS,YAAY,CAAC,KAAW,EAAE,KAAa;QAC5C,IAAI,MAAM,GAAS,KAAK,CAAC;QACzB,QAAQ,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrB;gBACI,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;YAEnD,+BAAuB,CAAC,CAAC,CAAC;gBACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;gBACxE,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBAC1D,GAAG,GAAG;oBACN,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC;iBACjC,CAAC,CAAC,CAAC;gBACJ,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;gBACpE,MAAM,QAAQ,GAAG,CAAC,IAAoC,EAAE,EAAE;oBACtD,IAAI,CAAC,IAAI,EAAE,CAAC;wBACR,OAAO,SAAS,CAAC;oBACrB,CAAC;oBACD,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;oBACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;oBAClD,IAAI,CAAC,IAAA,8BAAsB,EAAC,UAAU,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAA,eAAO,EAAC,SAAS,CAAC,CAAC,EAAE,CAAC;wBAC5E,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;oBAC5C,CAAC;oBACD,OAAO,UAAU,KAAK,IAAI,CAAC,UAAU,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS;wBACjE,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;gBAC7C,CAAC,CAAC;gBACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/C,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/C,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC/C,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC;gBAC5D,MAAM,OAAO,GAAG,eAAe;oBAC3B,CAAC,CAAC,IAAI,GAAG,CACH,CAAC,GAAG,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;wBACxC,IAAI;wBACJ,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE;qBAC3D,CAAC,CACL;oBACH,CAAC,CAAC,SAAS,CAAC;gBAChB,IACI,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,QAAS,CAAC,KAAK,CAAC,CAAC;oBACnE,aAAa,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,aAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;oBACvF,eAAe,KAAK,KAAK,CAAC,IAAI,CAAC,eAAe;oBAC9C,QAAQ,KAAK,KAAK,CAAC,IAAI,CAAC,QAAQ;oBAChC,QAAQ,KAAK,KAAK,CAAC,IAAI,CAAC,QAAQ;oBAChC,QAAQ,KAAK,KAAK,CAAC,IAAI,CAAC,QAAQ;oBAChC,CAAC,OAAO;wBACJ,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,eAAgB,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,SAAS,CAAC,CAAC,EACtG,CAAC;oBACC,MAAM,KAAK,GAAG,gBAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBACxC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE;wBACtB,QAAQ;wBACR,aAAa;wBACb,eAAe;wBACf,QAAQ;wBACR,QAAQ;wBACR,QAAQ;wBACR,wBAAwB,EAAE,OAAO;qBACpC,CAAC,CAAC;oBACH,MAAM,GAAG,KAAK,CAAC;gBACnB,CAAC;gBACD,MAAM;YACV,CAAC;YAED,kCAA0B,CAAC,CAAC,CAAC;gBACzB,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAC5D,OAAO,CAAC,oBAAY,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAC1D,CAAC;gBACF,MAAM,qBAAqB,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACnE,QAAQ,CAAC,oBAAY,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAClE,CAAC;gBACF,MAAM,UAAU,GAAG,QAAQ,CAAC,oBAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC/E,MAAM,kBAAkB,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAClF,MAAM,sBAAsB,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,KAAK,CAAC,CAAC;gBAClF,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC5D,IAAI,WAAW,IAAI,CAAC,IAAA,eAAO,EAAC,WAAW,CAAC,EAAE,CAAC;oBACvC,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;gBAC5C,CAAC;gBACD,IACI,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,oBAAY,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACpF,qBAAqB,CAAC,IAAI,CACtB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,oBAAY,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CACzE;oBACD,UAAU,KAAK,oBAAY,CAAC,sBAAsB,CAAC,KAAK,CAAC;oBACzD,kBAAkB,KAAK,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI;oBAC5D,sBAAsB,KAAK,KAAK,CAAC,IAAI,CAAC,sBAAsB;oBAC5D,WAAW,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EACxC,CAAC;oBACC,MAAM,KAAK,GAAG,oBAAY,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,qBAAqB,EAAE,UAAU,EAAE,CAAC,CAAC;oBACpG,KAAK,CAAC,IAAI,CAAC,sBAAsB,GAAG,sBAAsB,CAAC;oBAC3D,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;oBACrC,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,SAAS,CAAC;oBAC/C,IAAI,KAAK,CAAC,MAAM,CAAC,kBAAkB,IAAI,kBAAkB,EAAE,CAAC;wBACxD,KAAK,CAAC,MAAM,GAAG;4BACX,GAAG,KAAK,CAAC,MAAM;4BACf,kBAAkB,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,kBAAkB,EAAE;yBACvF,CAAC;oBACN,CAAC;oBACD,MAAM,GAAG,KAAK,CAAC;gBACnB,CAAC;gBACD,MAAM;YACV,CAAC;YAED,oCAA4B,CAAC,CAAC,CAAC;gBAC3B,MAAM,UAAU,GAAG,sBAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACtD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;oBAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,CAAC,IAAA,kBAAU,EAAC,SAAS,CAAC,EAAE,CAAC;wBACzB,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;oBAC5C,CAAC;oBACD,OAAO,SAAS,CAAC;gBACrB,CAAC,CAAC,CAAC;gBACH,MAAM,cAAc,GAAG,sBAAc,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBAC/D,MAAM,uBAAuB,GAAG,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;gBAChE,IACI,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;oBACrE,cAAc,KAAK,uBAAuB,EAC5C,CAAC;oBACC,MAAM,KAAK,GAAG,sBAAc,CAAC,MAAM,CAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAC3D,uBAAuB,IAAI,IAAA,kBAAU,EAAC,uBAAuB,CAAC;wBAC1D,CAAC,CAAC,gBAAQ,CAAC,SAAS,CAAC,uBAAuB,CAAC;wBAC7C,CAAC,CAAC,uBAAuB,CAChC,CAAC;oBACF,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;oBAC1B,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;oBAC1B,MAAM,GAAG,KAAK,CAAC;gBACnB,CAAC;gBACD,MAAM;YACV,CAAC;YAED,+BAAuB,CAAC,CAAC,CAAC;gBACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC/E,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;oBAC5E,MAAM,GAAG,IAAA,oBAAY,EAAC,QAAQ,CAAC,CAAC;oBAChC,IAAI,MAAM,CAAC,QAAQ,+BAAuB,EAAE,CAAC;wBACzC,iBAAS,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBAChD,CAAC;gBACL,CAAC;gBACD,MAAM;YACV,CAAC;YAED,iCAAyB,CAAC,CAAC,CAAC;gBACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBAC1D,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC7D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC7F,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC5D,IAAI,WAAW,IAAI,CAAC,IAAA,iBAAS,EAAC,WAAW,CAAC,EAAE,CAAC;oBACzC,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;gBAC5C,CAAC;gBACD,IACI,SAAS,KAAK,KAAK,CAAC,MAAM,CAAC,SAAS;oBACpC,WAAW,KAAK,KAAK,CAAC,MAAM,CAAC,WAAW;oBACxC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;oBACvF,WAAW,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EACxC,CAAC;oBACC,MAAM,KAAK,GAAG,gBAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBACxC,KAAK,CAAC,MAAM,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;oBACxE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;oBACrC,MAAM,GAAG,KAAK,CAAC;gBACnB,CAAC;gBACD,MAAM;YACV,CAAC;YAED,iCAAyB,CAAC,CAAC,CAAC;gBACxB,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;gBAC9D,IAAI,YAAY,KAAK,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;oBAC3C,MAAM,KAAK,GAAG,gBAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBACxC,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;oBACvC,MAAM,GAAG,KAAK,CAAC;gBACnB,CAAC;gBACD,MAAM;YACV,CAAC;YAED,8BAAsB;YACtB,kCAA0B;YAC1B,gCAAwB;YACxB;gBACI,MAAM;QACd,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACjD,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACvD,IAAI,WAAW,IAAI,CAAC,IAAA,eAAO,EAAC,WAAW,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YAClF,IACI,QAAQ,KAAK,KAAK,CAAC,QAAQ;gBAC3B,WAAW,KAAK,KAAK,CAAC,WAAW;gBACjC,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,CAAC,aAAc,CAAC,QAAS,CAAC,KAAK,CAAC,CAAC,EAC/E,CAAC;gBACC,MAAM,GAAG,gBAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBACpC,MAAM,CAAC,KAAK,GAAG;oBACX,GAAG,KAAK;oBACR,QAAQ;oBACR,WAAW;oBACX,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS;iBACxF,CAAC;YACN,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,IAAI,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC;QACnE,CAAC;QACD,MAAM,KAAK,CAAC;IAChB,CAAC;AACL,CAAC"}

package/dist/analyzer/overloadResultAdmission.d.ts

@@ -0,0 +1,20 @@
+import { ModuleNode, NameNode, ParseNode } from '../parser/parseNodes';
+import { AnalyzerNodeInfoAccessor } from './analyzerNodeInfo';
+import type { FixedOverloadResultSeed, LocalOverloadOperation, OverloadResultLimits } from './overloadResultController';
+import { TypeEvaluator } from './typeEvaluatorTypes';
+export declare class OverloadResultAdmissionLimit extends Error {
+}
+export declare function collectOverloadResultNodes(node: ParseNode, limit: number): ParseNode[];
+export interface LocalOverloadAdmission {
+    nodes: readonly ParseNode[];
+    records: Map<ParseNode, LocalOverloadOperation>;
+    byNode: Map<ParseNode, LocalOverloadOperation>;
+    definitions: Map<NameNode, LocalOverloadOperation>;
+    reaching: Map<NameNode, LocalOverloadOperation>;
+    decisions: Map<LocalOverloadOperation, Set<string>>;
+    dependencies: Map<LocalOverloadOperation, ReadonlySet<LocalOverloadOperation>>;
+    graphUnits: number;
+    complete: boolean;
+    reason?: string;
+}
+export declare function admitLocalOverloadResults(module: ModuleNode, seeds: readonly FixedOverloadResultSeed[], evaluator: TypeEvaluator, info: AnalyzerNodeInfoAccessor, limits: OverloadResultLimits): LocalOverloadAdmission;