microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-10-26 10:55:06 +03:00
Code Issues Projects Releases Wiki Activity

Added support for properties whose type is defined using a generic typevar type.

Browse Source
This commit is contained in:
Eric Traut 2019-08-09 15:14:05 -07:00
parent 59571876e6
commit 84766dd91d
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
server/src/analyzer/expressionEvaluator.ts
View File

@ -998,7 +998,19 @@ export class ExpressionEvaluator {
if (!(flags & MemberAccessFlags.SkipGetCheck)) {
if (type instanceof PropertyType) {
if (usage.method === 'get') {
return makeClassMember(type.getEffectiveReturnType());
// Use the property's getter function to determine
// the return type.
const selfArg: FunctionArgument = {
argumentCategory: ArgumentCategory.Simple,
type: new ObjectType(classType)
};
let propertyReturnType = this._validateCallArguments(
errorNode, [selfArg], type.getGetter(), new TypeVarMap(), true);
if (!propertyReturnType) {
propertyReturnType = UnknownType.create();
}
return makeClassMember(propertyReturnType);
} else if (usage.method === 'set') {
let setterFunctionType = type.getSetter();
if (setterFunctionType) {