From a109484776ab8870db32fc08b9f387c2b8e8a6e9 Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Sat, 21 Sep 2019 20:29:13 -0700 Subject: [PATCH] Handled case where base type of call expression evaluates to a TypeVar type. --- server/src/analyzer/expressionEvaluator.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/server/src/analyzer/expressionEvaluator.ts b/server/src/analyzer/expressionEvaluator.ts index 81b21a4a1889..e2bc0e8af946 100644 --- a/server/src/analyzer/expressionEvaluator.ts +++ b/server/src/analyzer/expressionEvaluator.ts @@ -1615,7 +1615,11 @@ export class ExpressionEvaluator { specializeReturnType = true): TypeResult { let type: Type | undefined; - const callType = baseTypeResult.type; + let callType = baseTypeResult.type; + + if (callType.category === TypeCategory.TypeVar) { + callType = TypeUtils.specializeType(callType, undefined); + } if (callType.category === TypeCategory.Class) { if (ClassType.isBuiltIn(callType)) {