microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-09-17 19:27:24 +03:00
Code Issues Projects Releases Wiki Activity

Removed unnecessary code in the code path that handles type compatibility checks between two functions.

Browse Source
This commit is contained in:
Eric Traut 2022-12-21 20:05:40 -07:00
parent 00dcb33c99
commit 8fff7a816f
1 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
packages/pyright-internal/src/analyzer/typeEvaluator.ts
View File

@ -23627,24 +23627,6 @@ export function createTypeEvaluator(importLookup: ImportLookup, evaluatorOptions
);
});
// Perform partial specialization of type variables to allow for
// "higher-order" type variables.
if (!destTypeVarContext.isLocked()) {
destTypeVarContext.getTypeVars().forEach((entry) => {
if (entry.narrowBound) {
const specializedType = applySolvedTypeVars(entry.narrowBound, destTypeVarContext);
if (specializedType !== entry.narrowBound) {
destTypeVarContext.setTypeVarType(
entry.typeVar,
specializedType,
entry.wideBound,
entry.retainLiteral
);
}
}
});
}
// Are we assigning to a function with a ParamSpec?
if (targetIncludesParamSpec) {
const effectiveDestType = (flags & AssignTypeFlags.ReverseTypeVarMatching) === 0 ? destType : srcType;