@zzzen/pyright-internal 1.2.0-dev.20230528 → 1.2.0-dev.20230611

package/dist/analyzer/typeUtils.js

@@ -8,14 +8,15 @@
  * Functions that operate on Type objects.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.lookUpObjectMember = exports.getContainerDepth = exports.getProtocolSymbolsRecursive = exports.getProtocolSymbols = exports.transformExpectedType = exports.validateTypeVarDefault = exports.applyInScopePlaceholders = exports.applySourceContextTypeVarsToSignature = exports.applySourceContextTypeVars = exports.applySolvedTypeVars = exports.ensureFunctionSignaturesAreUnique = exports.populateTypeVarContextForSelfType = exports.partiallySpecializeType = exports.isUnboundedTupleClass = exports.isTupleClass = exports.isMaybeDescriptorInstance = exports.isDescriptorInstance = exports.isCallableType = exports.isProperty = exports.isEllipsisType = exports.getUnionSubtypeCount = exports.getLiteralTypeClassName = exports.containsLiteralType = exports.containsType = exports.isLiteralTypeOrUnion = exports.isLiteralType = exports.getSpecializedTupleType = exports.getTypeVarScopeIds = exports.getTypeVarScopeId = exports.transformPossibleRecursiveTypeAlias = exports.isTypeAliasRecursive = exports.isTypeAliasPlaceholder = exports.getTypeCondition = exports.addConditionToType = exports.getFullNameOfType = exports.derivesFromAnyOrUnknown = exports.isUnionableType = exports.preserveUnknown = exports.areTypesSame = exports.doForEachSubtype = exports.sortTypes = exports.mapSubtypes = exports.makeInferenceContext = exports.isTypeVarSame = exports.isIncompleteUnknown = exports.isOptionalType = exports.UniqueSignatureTracker = exports.AssignTypeFlags = exports.ClassIteratorFlags = exports.ClassMemberLookupFlags = void 0;
-exports.convertParamSpecValueToType = exports.convertTypeToParamSpecValue = exports.getDeclaringModulesForType = exports.computeMroLinearization = exports.isVarianceOfTypeArgumentCompatible = exports.combineVariances = exports.requiresSpecialization = exports.requiresTypeArguments = exports.getGeneratorTypeArgs = exports.removeParamSpecVariadicsFromFunction = exports.removeParamSpecVariadicsFromSignature = exports.specializeTupleClass = exports.combineSameSizedTuples = exports.explodeGenericClass = exports.isPartlyUnknown = exports.containsUnknown = exports.containsAnyOrUnknown = exports.getMembersForModule = exports.getMembersForClass = exports.convertToInstantiable = exports.convertToInstance = exports.isEffectivelyInstantiable = exports.isMetaclassInstance = exports.isInstantiableMetaclass = exports.getGeneratorYieldType = exports.getDeclaredGeneratorReturnType = exports.synthesizeTypeVarForSelfCls = exports.derivesFromClassRecursive = exports.specializeForBaseClass = exports.buildTypeVarContext = exports.buildTypeVarContextFromSpecializedClass = exports.setTypeArgumentsRecursive = exports.specializeClassType = exports.isTypeVarLimitedToCallable = exports.getTypeVarArgumentsRecursive = exports.addTypeVarsToListIfUnique = exports.getClassFieldsRecursive = exports.getClassIterator = exports.getClassMemberIterator = exports.lookUpClassMember = void 0;
+exports.lookUpClassMember = exports.lookUpObjectMember = exports.getContainerDepth = exports.getProtocolSymbolsRecursive = exports.getProtocolSymbols = exports.transformExpectedType = exports.validateTypeVarDefault = exports.applyInScopePlaceholders = exports.applySourceContextTypeVarsToSignature = exports.applySourceContextTypeVars = exports.applySolvedTypeVars = exports.ensureFunctionSignaturesAreUnique = exports.populateTypeVarContextForSelfType = exports.partiallySpecializeType = exports.isUnboundedTupleClass = exports.isTupleClass = exports.isMaybeDescriptorInstance = exports.isDescriptorInstance = exports.isCallableType = exports.isProperty = exports.isEllipsisType = exports.getUnionSubtypeCount = exports.getLiteralTypeClassName = exports.containsLiteralType = exports.isLiteralTypeOrUnion = exports.isLiteralType = exports.getSpecializedTupleType = exports.getTypeVarScopeIds = exports.getTypeVarScopeId = exports.transformPossibleRecursiveTypeAlias = exports.isTypeAliasRecursive = exports.isTypeAliasPlaceholder = exports.getTypeCondition = exports.addConditionToType = exports.getFullNameOfType = exports.derivesFromAnyOrUnknown = exports.isUnionableType = exports.preserveUnknown = exports.areTypesSame = exports.doForEachSubtype = exports.sortTypes = exports.mapSubtypes = exports.makeInferenceContext = exports.isTypeVarSame = exports.isIncompleteUnknown = exports.isOptionalType = exports.UniqueSignatureTracker = exports.AssignTypeFlags = exports.ClassIteratorFlags = exports.ClassMemberLookupFlags = void 0;
+exports.convertParamSpecValueToType = exports.convertTypeToParamSpecValue = exports.getDeclaringModulesForType = exports.computeMroLinearization = exports.isVarianceOfTypeArgumentCompatible = exports.combineVariances = exports.requiresSpecialization = exports.requiresTypeArguments = exports.getGeneratorTypeArgs = exports.removeParamSpecVariadicsFromFunction = exports.removeParamSpecVariadicsFromSignature = exports.specializeTupleClass = exports.combineSameSizedTuples = exports.explodeGenericClass = exports.isPartlyUnknown = exports.containsAnyOrUnknown = exports.getMembersForModule = exports.getMembersForClass = exports.convertToInstantiable = exports.convertToInstance = exports.isEffectivelyInstantiable = exports.isMetaclassInstance = exports.isInstantiableMetaclass = exports.getGeneratorYieldType = exports.getDeclaredGeneratorReturnType = exports.synthesizeTypeVarForSelfCls = exports.derivesFromClassRecursive = exports.specializeForBaseClass = exports.buildTypeVarContext = exports.buildTypeVarContextFromSpecializedClass = exports.setTypeArgumentsRecursive = exports.specializeClassType = exports.isTypeVarLimitedToCallable = exports.getTypeVarArgumentsRecursive = exports.addTypeVarsToListIfUnique = exports.getClassFieldsRecursive = exports.getClassIterator = exports.getClassMemberIterator = void 0;
 const collectionUtils_1 = require("../common/collectionUtils");
 const debug_1 = require("../common/debug");
 const symbol_1 = require("./symbol");
 const symbolUtils_1 = require("./symbolUtils");
 const types_1 = require("./types");
 const typeVarContext_1 = require("./typeVarContext");
+const typeWalker_1 = require("./typeWalker");
 var ClassMemberLookupFlags;
 (function (ClassMemberLookupFlags) {
     ClassMemberLookupFlags[ClassMemberLookupFlags["Default"] = 0] = "Default";
@@ -99,22 +100,30 @@ var AssignTypeFlags;
     // employing narrowing or widening, and don't strip literals.
     AssignTypeFlags[AssignTypeFlags["PopulatingExpectedType"] = 1024] = "PopulatingExpectedType";
 })(AssignTypeFlags = exports.AssignTypeFlags || (exports.AssignTypeFlags = {}));
+// Tracks whether a function signature has been seen before within
+// an expression. For example, in the expression "foo(foo, foo)", the
+// signature for "foo" will be seen three times at three different
+// file offsets. If the signature is generic, we need to create unique
+// type variables for each instance because they are independent of
+// each other.
 class UniqueSignatureTracker {
     constructor() {
-        this.signaturesSeen = [];
+        this._signaturesSeen = [];
     }
     findSignature(signature) {
-        return this.signaturesSeen.find((s) => {
+        return this._signaturesSeen.find((s) => {
             return (0, types_1.isTypeSame)(signature, s.type);
         });
     }
-    addSignature(signature) {
+    addSignature(signature, offset) {
         const existingSignature = this.findSignature(signature);
         if (existingSignature) {
-            existingSignature.count++;
+            if (!existingSignature.expressionOffsets.some((o) => o === offset)) {
+                existingSignature.expressionOffsets.push(offset);
+            }
         }
         else {
-            this.signaturesSeen.push({ type: signature, count: 1 });
+            this._signaturesSeen.push({ type: signature, expressionOffsets: [offset] });
         }
     }
 }
@@ -160,11 +169,11 @@ function isTypeVarSame(type1, type2) {
     return isCompatible;
 }
 exports.isTypeVarSame = isTypeVarSame;
-function makeInferenceContext(expectedType, isTypeIncomplete) {
+function makeInferenceContext(expectedType, isTypeIncomplete, signatureTracker) {
     if (!expectedType) {
         return undefined;
     }
-    return { expectedType, isTypeIncomplete };
+    return { expectedType, isTypeIncomplete, signatureTracker };
 }
 exports.makeInferenceContext = makeInferenceContext;
 // Calls a callback for each subtype and combines the results
@@ -579,49 +588,28 @@ function isLiteralTypeOrUnion(type) {
     return false;
 }
 exports.isLiteralTypeOrUnion = isLiteralTypeOrUnion;
-function containsType(type, predicate, includeTypeArgs = false, recursionCount = 0) {
-    var _a;
-    if (recursionCount > types_1.maxTypeRecursionCount) {
-        return false;
-    }
-    recursionCount++;
-    if (predicate(type)) {
-        return true;
-    }
-    if (includeTypeArgs && (0, types_1.isClass)(type)) {
-        const typeArgs = ((_a = type.tupleTypeArguments) === null || _a === void 0 ? void 0 : _a.map((t) => t.type)) || type.typeArguments;
-        if (typeArgs) {
-            return typeArgs.some((typeArg) => containsType(typeArg, predicate, includeTypeArgs, recursionCount));
+function containsLiteralType(type, includeTypeArgs = false) {
+    class ContainsLiteralTypeWalker extends typeWalker_1.TypeWalker {
+        constructor(_includeTypeArgs) {
+            super();
+            this._includeTypeArgs = _includeTypeArgs;
+            this.foundLiteral = false;
         }
-    }
-    if ((0, types_1.isUnion)(type)) {
-        return type.subtypes.some((subtype) => containsType(subtype, predicate, includeTypeArgs, recursionCount));
-    }
-    if ((0, types_1.isOverloadedFunction)(type)) {
-        return type.overloads.some((overload) => containsType(overload, predicate, includeTypeArgs, recursionCount));
-    }
-    if ((0, types_1.isFunction)(type)) {
-        const returnType = types_1.FunctionType.getSpecializedReturnType(type);
-        if (returnType && containsType(returnType, predicate, includeTypeArgs, recursionCount)) {
-            return true;
-        }
-        for (let i = 0; i < type.details.parameters.length; i++) {
-            const paramType = types_1.FunctionType.getEffectiveParameterType(type, i);
-            if (containsType(paramType, predicate, includeTypeArgs, recursionCount)) {
-                return true;
+        visitClass(classType) {
+            if ((0, types_1.isClassInstance)(classType)) {
+                if (isLiteralType(classType) || types_1.ClassType.isBuiltIn(classType, 'LiteralString')) {
+                    this.foundLiteral = true;
+                    this.cancelWalk();
+                }
+            }
+            if (this._includeTypeArgs) {
+                super.visitClass(classType);
             }
         }
     }
-    return false;
-}
-exports.containsType = containsType;
-function containsLiteralType(type, includeTypeArgs = false, recursionCount = 0) {
-    return containsType(type, (t) => {
-        if (!(0, types_1.isClassInstance)(t)) {
-            return false;
-        }
-        return isLiteralType(t) || types_1.ClassType.isBuiltIn(t, 'LiteralString');
-    }, includeTypeArgs, recursionCount);
+    const walker = new ContainsLiteralTypeWalker(includeTypeArgs);
+    walker.walk(type);
+    return walker.foundLiteral;
 }
 exports.containsLiteralType = containsLiteralType;
 // If all of the subtypes are literals with the same built-in class (e.g.
@@ -746,8 +734,8 @@ function populateTypeVarContextForSelfType(typeVarContext, contextClassType, sel
 exports.populateTypeVarContextForSelfType = populateTypeVarContextForSelfType;
 // Looks for duplicate function types within the type and ensures that
 // if they are generic, they have unique type variables.
-function ensureFunctionSignaturesAreUnique(type, signatureTracker) {
-    const transformer = new UniqueFunctionSignatureTransformer(signatureTracker);
+function ensureFunctionSignaturesAreUnique(type, signatureTracker, expressionOffset) {
+    const transformer = new UniqueFunctionSignatureTransformer(signatureTracker, expressionOffset);
     return transformer.apply(type, 0);
 }
 exports.ensureFunctionSignaturesAreUnique = ensureFunctionSignaturesAreUnique;
@@ -841,8 +829,8 @@ exports.validateTypeVarDefault = validateTypeVarDefault;
 // expected type uses TypeVars that are not part of the context of the
 // class we are constructing. We'll replace these type variables with dummy
 // type variables.
-function transformExpectedType(expectedType, liveTypeVarScopes) {
-    const transformer = new ExpectedTypeTransformer(liveTypeVarScopes);
+function transformExpectedType(expectedType, liveTypeVarScopes, usageOffset) {
+    const transformer = new ExpectedTypeTransformer(liveTypeVarScopes, usageOffset);
     return transformer.apply(expectedType, 0);
 }
 exports.transformExpectedType = transformExpectedType;
@@ -1679,31 +1667,42 @@ function getMembersForModule(moduleType, symbolTable) {
     });
 }
 exports.getMembersForModule = getMembersForModule;
-// Determines if the type is an Any or Unknown or a union that
-// contains one of these. It does not look at type arguments.
-function containsAnyOrUnknown(type) {
-    let foundAnyOrUnknown = false;
-    doForEachSubtype(type, (subtype) => {
-        if ((0, types_1.isAnyOrUnknown)(subtype)) {
-            foundAnyOrUnknown = true;
+// Determines if the type contains an Any or Unknown type. If so,
+// it returns the Any or Unknown type. Unknowns are preferred over
+// Any if both are present. If recurse is true, it will recurse
+// through type arguments and parameters.
+function containsAnyOrUnknown(type, recurse) {
+    class AnyOrUnknownWalker extends typeWalker_1.TypeWalker {
+        constructor(_recurse) {
+            super();
+            this._recurse = _recurse;
         }
-    });
-    return foundAnyOrUnknown;
-}
-exports.containsAnyOrUnknown = containsAnyOrUnknown;
-// Determines if the type is an Unknown or a union that contains an Unknown.
-// It does not look at type arguments.
-function containsUnknown(type) {
-    let foundUnknown = false;
-    doForEachSubtype(type, (subtype) => {
-        if ((0, types_1.isUnknown)(subtype)) {
-            foundUnknown = true;
+        visitUnknown(type) {
+            this.anyOrUnknownType = this.anyOrUnknownType ? preserveUnknown(this.anyOrUnknownType, type) : type;
         }
-    });
-    return foundUnknown;
+        visitAny(type) {
+            this.anyOrUnknownType = this.anyOrUnknownType ? preserveUnknown(this.anyOrUnknownType, type) : type;
+        }
+        visitClass(type) {
+            if (this._recurse) {
+                super.visitClass(type);
+            }
+        }
+        visitFunction(type) {
+            if (this._recurse) {
+                super.visitFunction(type);
+            }
+        }
+    }
+    const walker = new AnyOrUnknownWalker(recurse);
+    walker.walk(type);
+    return walker.anyOrUnknownType;
 }
-exports.containsUnknown = containsUnknown;
+exports.containsAnyOrUnknown = containsAnyOrUnknown;
 // Determines if any part of the type contains "Unknown", including any type arguments.
+// This function does not use the TypeWalker because it is called very frequently,
+// and allocating a memory walker object for every call significantly increases
+// peak memory usage.
 function isPartlyUnknown(type, allowUnknownTypeArgsForClasses = false, recursionCount = 0) {
     var _a, _b;
     if (recursionCount > types_1.maxTypeRecursionCount) {
@@ -1956,13 +1955,30 @@ function requiresSpecialization(type, ignorePseudoGeneric = false, ignoreSelf =
         return false;
     }
     recursionCount++;
+    // Is the answer cached?
+    const canUseCache = !ignorePseudoGeneric && !ignoreSelf;
+    if (canUseCache && ((_a = type.cached) === null || _a === void 0 ? void 0 : _a.requiresSpecialization) !== undefined) {
+        return type.cached.requiresSpecialization;
+    }
+    const result = _requiresSpecialization(type, ignorePseudoGeneric, ignoreSelf, recursionCount);
+    if (canUseCache) {
+        if (type.cached === undefined) {
+            type.cached = {};
+        }
+        type.cached.requiresSpecialization = result;
+    }
+    return result;
+}
+exports.requiresSpecialization = requiresSpecialization;
+function _requiresSpecialization(type, ignorePseudoGeneric = false, ignoreSelf = false, recursionCount = 0) {
+    var _a;
     switch (type.category) {
         case 7 /* Class */: {
             if (types_1.ClassType.isPseudoGenericClass(type) && ignorePseudoGeneric) {
                 return false;
             }
             if (type.typeArguments) {
-                return (type.typeArguments.find((typeArg) => requiresSpecialization(typeArg, ignorePseudoGeneric, ignoreSelf, recursionCount)) !== undefined);
+                return type.typeArguments.some((typeArg) => requiresSpecialization(typeArg, ignorePseudoGeneric, ignoreSelf, recursionCount));
             }
             return types_1.ClassType.getTypeParameters(type).length > 0;
         }
@@ -1991,10 +2007,10 @@ function requiresSpecialization(type, ignorePseudoGeneric = false, ignoreSelf =
             return false;
         }
         case 6 /* OverloadedFunction */: {
-            return (type.overloads.find((overload) => requiresSpecialization(overload, ignorePseudoGeneric, ignoreSelf, recursionCount)) !== undefined);
+            return type.overloads.some((overload) => requiresSpecialization(overload, ignorePseudoGeneric, ignoreSelf, recursionCount));
         }
         case 9 /* Union */: {
-            return ((0, types_1.findSubtype)(type, (subtype) => requiresSpecialization(subtype, ignorePseudoGeneric, ignoreSelf, recursionCount)) !== undefined);
+            return type.subtypes.some((subtype) => requiresSpecialization(subtype, ignorePseudoGeneric, ignoreSelf, recursionCount));
         }
         case 10 /* TypeVar */: {
             // Most TypeVar types need to be specialized.
@@ -2013,7 +2029,6 @@ function requiresSpecialization(type, ignorePseudoGeneric = false, ignoreSelf =
     }
     return false;
 }
-exports.requiresSpecialization = requiresSpecialization;
 // Combines two variances to produce a resulting variance.
 function combineVariances(variance1, variance2) {
     if (variance1 === 1 /* Unknown */) {
@@ -2141,17 +2156,8 @@ function computeMroLinearization(classType) {
     // entries of the specified class. This is used once the class has been
     // added to the MRO.
     function filterClass(classToFilter, classLists) {
-        if ((classToFilter === null || classToFilter === void 0 ? void 0 : classToFilter.category) !== 7 /* Class */) {
-            // These "fail" calls are in place to diagnose a sporadic crash that
-            // we are seeing in the pylance telemetry. Delete these once we
-            // fix the underlying problem.
-            (0, debug_1.fail)(`Corrupted class type when computing MRO for ${classType.details.name}: ${JSON.stringify(classToFilter)}`);
-        }
         for (let i = 0; i < classLists.length; i++) {
             classLists[i] = classLists[i].filter((value) => {
-                if ((value === null || value === void 0 ? void 0 : value.category) === undefined) {
-                    (0, debug_1.fail)(`Unexpected undefined type when computing MRO for ${classType.details.name}: ${JSON.stringify(classLists)}`);
-                }
                 return !(0, types_1.isInstantiableClass)(value) || !types_1.ClassType.isSameGenericClass(value, classToFilter);
             });
         }
@@ -2480,14 +2486,14 @@ class TypeVarTransformer {
             : type;
     }
     transformTypeVarsInClassType(classType, recursionCount) {
+        const typeParams = types_1.ClassType.getTypeParameters(classType);
         // Handle the common case where the class has no type parameters.
-        if (types_1.ClassType.getTypeParameters(classType).length === 0 && !types_1.ClassType.isSpecialBuiltIn(classType)) {
+        if (typeParams.length === 0 && !types_1.ClassType.isSpecialBuiltIn(classType)) {
             return classType;
         }
         let newTypeArgs;
         let newTupleTypeArgs;
         let specializationNeeded = false;
-        const typeParams = types_1.ClassType.getTypeParameters(classType);
         const transformParamSpec = (paramSpec) => {
             const paramSpecValue = this.transformParamSpec(paramSpec, recursionCount);
             if (paramSpecValue) {
@@ -2779,9 +2785,18 @@ class TypeVarDefaultValidator extends TypeVarTransformer {
     }
 }
 class UniqueFunctionSignatureTransformer extends TypeVarTransformer {
-    constructor(_signatureTracker) {
+    constructor(_signatureTracker, _expressionOffset) {
         super();
         this._signatureTracker = _signatureTracker;
+        this._expressionOffset = _expressionOffset;
+    }
+    transformGenericTypeAlias(type, recursionCount) {
+        // Don't transform type aliases.
+        return type;
+    }
+    transformTypeVarsInClassType(classType, recursionCount) {
+        // Don't transform classes.
+        return classType;
     }
     transformTypeVarsInFunctionType(sourceType, recursionCount) {
         // If this function is not generic, there's no need to check for uniqueness.
@@ -2792,15 +2807,25 @@ class UniqueFunctionSignatureTransformer extends TypeVarTransformer {
         const existingSignature = this._signatureTracker.findSignature(sourceType);
         if (existingSignature) {
             const typeVarContext = new typeVarContext_1.TypeVarContext(getTypeVarScopeId(sourceType));
-            // Create new type variables with the same scope but with
-            // different (unique) names.
-            sourceType.details.typeParameters.forEach((typeParam) => {
-                const replacement = types_1.TypeVarType.cloneForNewName(typeParam, `${typeParam.details.name}(${existingSignature.count})`);
-                typeVarContext.setTypeVarType(typeParam, replacement);
+            let offsetIndex = existingSignature.expressionOffsets.findIndex((offset) => offset === this._expressionOffset);
+            if (offsetIndex < 0) {
+                offsetIndex = existingSignature.expressionOffsets.length;
+            }
+            if (offsetIndex > 0) {
+                // Create new type variables with the same scope but with
+                // different (unique) names.
+                sourceType.details.typeParameters.forEach((typeParam) => {
+                    let replacement = types_1.TypeVarType.cloneForNewName(typeParam, `${typeParam.details.name}(${offsetIndex})`);
+                    if (replacement.details.isParamSpec) {
+                        replacement = convertTypeToParamSpecValue(replacement);
+                    }
+                    typeVarContext.setTypeVarType(typeParam, replacement);
+                });
                 updatedSourceType = applySolvedTypeVars(sourceType, typeVarContext);
-            });
+                (0, debug_1.assert)((0, types_1.isFunction)(updatedSourceType) || (0, types_1.isOverloadedFunction)(updatedSourceType));
+            }
         }
-        this._signatureTracker.addSignature(sourceType);
+        this._signatureTracker.addSignature(sourceType, this._expressionOffset);
         return updatedSourceType;
     }
 }
@@ -3014,19 +3039,20 @@ class ApplySolvedTypeVarsTransformer extends TypeVarTransformer {
     }
 }
 class ExpectedTypeTransformer extends TypeVarTransformer {
-    constructor(_liveTypeVarScopes) {
+    constructor(_liveTypeVarScopes, _usageOffset) {
         super();
         this._liveTypeVarScopes = _liveTypeVarScopes;
+        this._usageOffset = _usageOffset;
     }
     transformTypeVar(typeVar) {
         if (!this._isTypeVarLive(typeVar)) {
-            return types_1.TypeVarType.cloneAsInScopePlaceholder(typeVar);
+            return types_1.TypeVarType.cloneAsInScopePlaceholder(typeVar, this._usageOffset);
         }
         return typeVar;
     }
     transformParamSpec(paramSpec) {
         if (!this._isTypeVarLive(paramSpec)) {
-            return convertTypeToParamSpecValue(types_1.TypeVarType.cloneAsInScopePlaceholder(paramSpec));
+            return convertTypeToParamSpecValue(types_1.TypeVarType.cloneAsInScopePlaceholder(paramSpec, this._usageOffset));
         }
         return undefined;
     }
@@ -3042,7 +3068,7 @@ class InScopePlaceholderTransformer extends TypeVarTransformer {
     transformTypeVar(typeVar) {
         var _a;
         if (typeVar.isInScopePlaceholder) {
-            return (_a = this._signatureContext.getTypeVarType(typeVar)) !== null && _a !== void 0 ? _a : types_1.UnknownType.create();
+            return (_a = this._signatureContext.getTypeVarType(typeVar)) !== null && _a !== void 0 ? _a : typeVar;
         }
         return typeVar;
     }