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

Changed code to allow ParameterSpecification to be passed as a type arg to a generic class.

Browse Source
This commit is contained in:
Eric Traut 2020-05-22 00:49:34 -07:00
parent 17ab38dd57
commit 4f4b383ab6
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
server/src/analyzer/typeEvaluator.ts
View File

@ -6632,7 +6632,8 @@ export function createTypeEvaluator(importLookup: ImportLookup, printTypeFlags:
classType: ClassType,
typeArgs: TypeResult[] | undefined,
paramLimit?: number,
allowEllipsis = false
allowEllipsis = false,
allowParamSpec = false
): Type {
if (typeArgs) {
// Verify that we didn't receive any inappropriate ellipses or modules.
@ -6645,7 +6646,7 @@ export function createTypeEvaluator(importLookup: ImportLookup, printTypeFlags:
}
} else if (typeArg.type.category === TypeCategory.Module) {
addError(`Module not allowed in this context`, typeArg.node);
} else if (isParameterSpecificationType(typeArg.type)) {
} else if (!allowParamSpec && isParameterSpecificationType(typeArg.type)) {
addError(`ParameterSpecification not allowed in this context`, typeArg.node);
}
});
@ -6750,7 +6751,13 @@ export function createTypeEvaluator(importLookup: ImportLookup, printTypeFlags:
});
}
return createSpecialType(classType, typeArgs);
return createSpecialType(
classType,
typeArgs,
/* paramLimit */ undefined,
/* allowEllipsis */ false,
/* allowParamSpec */ true
);
}
function transformTypeForPossibleEnumClass(node: NameNode, typeOfExpr: Type): Type {
@ -9853,8 +9860,6 @@ export function createTypeEvaluator(importLookup: ImportLookup, printTypeFlags:
addError(`"..." not allowed in this context`, typeArg.node);
} else if (typeArg.type.category === TypeCategory.Module) {
addError(`Module not allowed in this context`, typeArg.node);
} else if (isParameterSpecificationType(typeArg.type)) {
addError(`ParameterSpecification not allowed in this context`, typeArg.node);
}
});
}