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

Fixed a bug that resulted in a false positive when analyzing a call to an instance method that omits a self parameter and instead uses *args.

Browse Source
This commit is contained in:
Eric Traut 2022-08-19 16:29:59 -07:00
parent 341af785aa
commit 346999a2e6
1 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
packages/pyright-internal/src/analyzer/types.ts
View File

@ -1329,16 +1329,15 @@ export namespace FunctionType {
newFunction.preBoundFlags = newFunction.details.flags;
if (stripFirstParam) {
if (
type.details.parameters.length > 0 &&
type.details.parameters[0].category === ParameterCategory.Simple
) {
if (type.details.parameters.length > 0 && !type.details.parameters[0].isTypeInferred) {
// Stash away the effective type of the first parameter if it
// wasn't synthesized.
newFunction.strippedFirstParamType = getEffectiveParameterType(type, 0);
if (type.details.parameters.length > 0) {
if (type.details.parameters[0].category === ParameterCategory.Simple) {
if (type.details.parameters.length > 0 && !type.details.parameters[0].isTypeInferred) {
// Stash away the effective type of the first parameter if it
// wasn't synthesized.
newFunction.strippedFirstParamType = getEffectiveParameterType(type, 0);
}
newFunction.details.parameters = type.details.parameters.slice(1);
}
newFunction.details.parameters = type.details.parameters.slice(1);
} else {
stripFirstParam = false;
}