@zzzen/pyright-internal 1.2.0-dev.20231001 → 1.2.0-dev.20231015

package/dist/analyzer/typeEvaluator.js

@@ -181,6 +181,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
     let noneType;
     let objectType;
     let typeClassType;
+    let awaitableProtocolType;
     let functionObj;
     let tupleClassType;
     let boolClassType;
@@ -464,6 +465,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
             dictClassType = getBuiltInType(node, 'dict');
             typedDictClassType = getTypingType(node, 'TypedDict');
             typedDictPrivateClassType = getTypingType(node, '_TypedDict');
+            awaitableProtocolType = getTypingType(node, 'Awaitable');
             mappingType = getTypeshedType(node, 'SupportsKeysAndGetItem');
             if (!mappingType) {
                 // Fall back on 'Mapping' if 'SupportsKeysAndGetItem' is not available.
@@ -1277,15 +1279,18 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 !types_1.ClassType.isSameGenericClass(metaclass, objectType)) {
                 memberInfo = getTypeOfClassMemberName(errorNode, metaclass, 
                 /* isAccessedThroughObject */ false, memberName, usage, 
-                /* diag */ undefined, memberAccessFlags | 2 /* AccessInstanceMembersOnly */, types_1.ClassType.cloneAsInstantiable(objectType));
+                /* diag */ undefined, memberAccessFlags |
+                    2 /* AccessInstanceMembersOnly */ |
+                    128 /* SkipAttributeAccessOverride */, types_1.ClassType.cloneAsInstantiable(objectType));
             }
         }
-        if (memberInfo) {
+        if (memberInfo && !memberInfo.isSetTypeError) {
             return {
                 type: memberInfo.type,
                 classType: memberInfo.classType,
                 isIncomplete: !!memberInfo.isTypeIncomplete,
                 isAsymmetricAccessor: memberInfo.isAsymmetricAccessor,
+                memberAccessDeprecationInfo: memberInfo.memberAccessDeprecationInfo,
             };
         }
         return undefined;
@@ -1332,11 +1337,12 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 /* isAccessedThroughObject */ true, memberName, usage, metaclassDiag, memberAccessFlags, classType);
             }
         }
-        if (memberInfo) {
+        if (memberInfo && !memberInfo.isSetTypeError) {
             return {
                 type: memberInfo.type,
                 isIncomplete: !!memberInfo.isTypeIncomplete,
                 isAsymmetricAccessor: memberInfo.isAsymmetricAccessor,
+                memberAccessDeprecationInfo: memberInfo.memberAccessDeprecationInfo,
             };
         }
         // Determine whether to use the class or metaclass diagnostic addendum.
@@ -1630,31 +1636,32 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
     // (object that provides an __await__ that returns a generator object).
     // If errorNode is undefined, no errors are reported.
     function getTypeOfAwaitable(type, errorNode) {
+        if (!awaitableProtocolType ||
+            !(0, types_1.isInstantiableClass)(awaitableProtocolType) ||
+            awaitableProtocolType.details.typeParameters.length !== 1) {
+            return types_1.UnknownType.create();
+        }
+        const awaitableProtocolObj = types_1.ClassType.cloneAsInstance(awaitableProtocolType);
         return (0, typeUtils_1.mapSubtypes)(type, (subtype) => {
             subtype = makeTopLevelTypeVarsConcrete(subtype);
             if ((0, types_1.isAnyOrUnknown)(subtype)) {
                 return subtype;
             }
+            const diag = errorNode ? new diagnostic_1.DiagnosticAddendum() : undefined;
             if ((0, types_1.isClassInstance)(subtype)) {
-                const awaitReturnType = getSpecializedReturnType(subtype, '__await__', [], errorNode);
-                if (awaitReturnType) {
-                    if ((0, types_1.isAnyOrUnknown)(awaitReturnType)) {
-                        return awaitReturnType;
-                    }
-                    if ((0, types_1.isClassInstance)(awaitReturnType)) {
-                        const iterReturnType = getSpecializedReturnType(awaitReturnType, '__iter__', [], errorNode);
-                        if (iterReturnType) {
-                            const generatorReturnType = getReturnTypeFromGenerator(awaitReturnType);
-                            if (generatorReturnType) {
-                                return generatorReturnType;
-                            }
-                        }
+                const typeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(awaitableProtocolObj));
+                if (assignType(awaitableProtocolObj, subtype, diag, typeVarContext)) {
+                    const specializedType = (0, typeUtils_1.applySolvedTypeVars)(awaitableProtocolObj, typeVarContext);
+                    if ((0, types_1.isClass)(specializedType) &&
+                        specializedType.typeArguments &&
+                        specializedType.typeArguments.length > 0) {
+                        return specializedType.typeArguments[0];
                     }
                 }
             }
             if (errorNode) {
                 const fileInfo = AnalyzerNodeInfo.getFileInfo(errorNode);
-                addDiagnostic(fileInfo.diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.Localizer.Diagnostic.typeNotAwaitable().format({ type: printType(subtype) }), errorNode);
+                addDiagnostic(fileInfo.diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.Localizer.Diagnostic.typeNotAwaitable().format({ type: printType(subtype) }) + (diag === null || diag === void 0 ? void 0 : diag.getString()), errorNode);
             }
             return types_1.UnknownType.create();
         });
@@ -2169,8 +2176,13 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         if (setTypeResult.isAsymmetricAccessor) {
             setAsymmetricDescriptorAssignment(target);
         }
-        writeTypeCache(target.memberName, { type, isIncomplete: isTypeIncomplete }, 0 /* None */);
-        writeTypeCache(target, { type, isIncomplete: isTypeIncomplete }, 0 /* None */);
+        const resultToCache = {
+            type,
+            isIncomplete: isTypeIncomplete,
+            memberAccessDeprecationInfo: setTypeResult.memberAccessDeprecationInfo,
+        };
+        writeTypeCache(target.memberName, resultToCache, 0 /* None */);
+        writeTypeCache(target, resultToCache, 0 /* None */);
     }
     function assignTypeToMemberVariable(node, srcType, isTypeIncomplete, isInstanceMember, srcExprNode) {
         var _a;
@@ -2780,9 +2792,13 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
             }
             case 35 /* MemberAccess */: {
                 const baseTypeResult = getTypeOfExpression(node.leftExpression, 16777218 /* MemberAccessBaseDefaults */);
-                const memberType = getTypeOfMemberAccessWithBaseType(node, baseTypeResult, { method: 'del' }, 0 /* None */);
-                writeTypeCache(node.memberName, { type: memberType.type }, 0 /* None */);
-                writeTypeCache(node, { type: memberType.type }, 0 /* None */);
+                const delAccessResult = getTypeOfMemberAccessWithBaseType(node, baseTypeResult, { method: 'del' }, 0 /* None */);
+                const resultToCache = {
+                    type: delAccessResult.type,
+                    memberAccessDeprecationInfo: delAccessResult.memberAccessDeprecationInfo,
+                };
+                writeTypeCache(node.memberName, resultToCache, 0 /* None */);
+                writeTypeCache(node, resultToCache, 0 /* None */);
                 break;
             }
             case 24 /* Index */: {
@@ -2819,22 +2835,6 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
             fileInfo.accessedSymbolSet.add(symbol.id);
         }
     }
-    function getReturnTypeFromGenerator(type) {
-        if ((0, types_1.isAnyOrUnknown)(type)) {
-            return type;
-        }
-        if ((0, types_1.isClassInstance)(type)) {
-            // Is this a Generator? If so, return the third
-            // type argument, which is the await response type.
-            if (types_1.ClassType.isBuiltIn(type, 'Generator')) {
-                const typeArgs = type.typeArguments;
-                if (typeArgs && typeArgs.length >= 3) {
-                    return typeArgs[2];
-                }
-            }
-        }
-        return undefined;
-    }
     function getSpecializedReturnType(objType, memberName, argList, errorNode, bindToClass) {
         const classMember = (0, typeUtils_1.lookUpObjectMember)(objType, memberName, 8 /* SkipInstanceVariables */);
         if (!classMember) {
@@ -3457,6 +3457,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         let isAsymmetricAccessor;
         const isRequired = false;
         const isNotRequired = false;
+        let memberAccessDeprecationInfo;
         // If the base type was incomplete and unbound, don't proceed
         // because false positive errors will be generated.
         if (baseTypeResult.isIncomplete && (0, types_1.isUnbound)(baseType)) {
@@ -3544,6 +3545,9 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                     if (typeResult === null || typeResult === void 0 ? void 0 : typeResult.isAsymmetricAccessor) {
                         isAsymmetricAccessor = true;
                     }
+                    if (typeResult === null || typeResult === void 0 ? void 0 : typeResult.memberAccessDeprecationInfo) {
+                        memberAccessDeprecationInfo = typeResult.memberAccessDeprecationInfo;
+                    }
                 }
                 else {
                     // Handle the special case of 'name' and 'value' members within an enum.
@@ -3562,6 +3566,9 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                     if (typeResult === null || typeResult === void 0 ? void 0 : typeResult.isAsymmetricAccessor) {
                         isAsymmetricAccessor = true;
                     }
+                    if (typeResult === null || typeResult === void 0 ? void 0 : typeResult.memberAccessDeprecationInfo) {
+                        memberAccessDeprecationInfo = typeResult.memberAccessDeprecationInfo;
+                    }
                 }
                 break;
             }
@@ -3664,6 +3671,9 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                         if (typeResult.isIncomplete) {
                             isIncomplete = true;
                         }
+                        if (typeResult === null || typeResult === void 0 ? void 0 : typeResult.memberAccessDeprecationInfo) {
+                            memberAccessDeprecationInfo = typeResult.memberAccessDeprecationInfo;
+                        }
                         return typeResult.type;
                     }
                 });
@@ -3763,7 +3773,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 /* ignoreEmptyContainers */ false);
             }
         }
-        return { type, isIncomplete, isAsymmetricAccessor, isRequired, isNotRequired };
+        return { type, isIncomplete, isAsymmetricAccessor, isRequired, isNotRequired, memberAccessDeprecationInfo };
     }
     function getTypeOfClassMemberName(errorNode, classType, isAccessedThroughObject, memberName, usage, diag, flags, bindToType) {
         var _a, _b;
@@ -3892,6 +3902,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 return undefined;
             }
             type = descriptorResult.type;
+            let isSetTypeError = false;
             if (usage.method === 'set' && usage.setType) {
                 // Verify that the assigned type is compatible.
                 if (!assignType(type, usage.setType.type, diag === null || diag === void 0 ? void 0 : diag.createAddendum())) {
@@ -3902,7 +3913,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                             classType: printObjectTypeForClass(classType),
                         }));
                     }
-                    return undefined;
+                    isSetTypeError = true;
                 }
                 if ((0, types_1.isInstantiableClass)(memberInfo.classType) &&
                     types_1.ClassType.isFrozenDataClass(memberInfo.classType) &&
@@ -3910,17 +3921,19 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                     diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.dataClassFrozen().format({
                         name: printType(types_1.ClassType.cloneAsInstance(memberInfo.classType)),
                     }));
-                    return undefined;
+                    isSetTypeError = true;
                 }
             }
             return {
                 symbol: memberInfo.symbol,
                 type,
                 isTypeIncomplete,
+                isSetTypeError,
                 isClassMember: !memberInfo.isInstanceMember,
                 isClassVar: memberInfo.isClassVar,
                 classType: memberInfo.classType,
                 isAsymmetricAccessor: descriptorResult.isAsymmetricAccessor,
+                memberAccessDeprecationInfo: descriptorResult === null || descriptorResult === void 0 ? void 0 : descriptorResult.memberAccessDeprecationInfo,
             };
         }
         // No attribute of that name was found. If this is a member access
@@ -3934,6 +3947,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                     symbol: undefined,
                     type: generalAttrType.type,
                     isTypeIncomplete: false,
+                    isSetTypeError: false,
                     isClassMember: false,
                     isClassVar: false,
                     isAsymmetricAccessor: generalAttrType.isAsymmetricAccessor,
@@ -3950,6 +3964,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         const treatConstructorAsClassMember = (flags & 32 /* TreatConstructorAsClassMethod */) !== 0;
         let isTypeValid = true;
         let isAsymmetricAccessor = false;
+        let memberAccessDeprecationInfo;
         type = (0, typeUtils_1.mapSubtypes)(type, (subtype) => {
             var _a, _b, _c;
             const concreteSubtype = makeTopLevelTypeVarsConcrete(subtype);
@@ -4107,6 +4122,19 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                                     }
                                     const callResult = validateCallArguments(errorNode, argList, { type: boundMethodType }, typeVarContext, 
                                     /* skipUnknownArgCheck */ true);
+                                    if (callResult.overloadsUsedForCall &&
+                                        callResult.overloadsUsedForCall.length >= 1) {
+                                        const overloadUsed = callResult.overloadsUsedForCall[0];
+                                        if (overloadUsed.details.deprecatedMessage) {
+                                            memberAccessDeprecationInfo = {
+                                                deprecationMessage: overloadUsed.details.deprecatedMessage,
+                                                accessType: lookupClass && types_1.ClassType.isPropertyClass(lookupClass)
+                                                    ? 'property'
+                                                    : 'descriptor',
+                                                accessMethod: usage.method,
+                                            };
+                                        }
+                                    }
                                     if (callResult.argumentErrors) {
                                         if (usage.method === 'set') {
                                             if (usage.setType &&
@@ -4252,7 +4280,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         if (!isTypeValid) {
             return undefined;
         }
-        return { type, isAsymmetricAccessor };
+        return { type, isAsymmetricAccessor, memberAccessDeprecationInfo };
     }
     function isAsymmetricDescriptorClass(classType) {
         var _a;
@@ -5767,7 +5795,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         if (node.arguments.length > 2) {
             addError(localize_1.Localizer.Diagnostic.superCallArgCount(), node.arguments[2]);
         }
-        const enclosingFunction = ParseTreeUtils.getEnclosingFunction(node);
+        const enclosingFunction = ParseTreeUtils.getEnclosingFunctionEvaluationScope(node);
         const enclosingClass = enclosingFunction
             ? ParseTreeUtils.getEnclosingClass(enclosingFunction, /* stopAtFunction */ true)
             : undefined;
@@ -6172,17 +6200,6 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 // intended behavior according to PEP 484.
                 const matchResults = matchFunctionArgumentsToParameters(errorNode, argList, { type: overload, isIncomplete: typeResult.isIncomplete }, overloadIndex);
                 if (!matchResults.argumentErrors) {
-                    // If there is an expected return type, see if it's potentially compatible
-                    // with this overload's return type. If not, we'll de-emphasize this overload.
-                    if (inferenceContext === null || inferenceContext === void 0 ? void 0 : inferenceContext.expectedType) {
-                        const returnType = getFunctionEffectiveReturnType(matchResults.overload);
-                        if (!assignType((0, typeUtils_1.replaceTypeVarsWithAny)(inferenceContext.expectedType), (0, typeUtils_1.replaceTypeVarsWithAny)(returnType), 
-                        /* diag */ undefined, 
-                        /* destTypeVarContext */ undefined, 
-                        /* srcTypeVarContext */ undefined, 8 /* SkipSolveTypeVars */)) {
-                            matchResults.relevance += -0.5;
-                        }
-                    }
                     filteredMatchResults.push(matchResults);
                 }
                 overloadIndex++;
@@ -6214,7 +6231,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         }
         // Create a helper function that evaluates the overload that best
         // matches the arg/param lists.
-        function evaluateUsingBestMatchingOverload(skipUnknownArgCheck) {
+        function evaluateUsingBestMatchingOverload(skipUnknownArgCheck, emitNoOverloadFoundError) {
             // Find the match with the smallest argument match score. If there
             // are more than one with the same score, use the one with the
             // largest index. Later overloads tend to be more general.
@@ -6224,6 +6241,16 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 }
                 return current.argumentMatchScore < previous.argumentMatchScore ? current : previous;
             });
+            // If there is more than one filtered match, report that no match
+            // was possible and emit a diagnostic that provides the most likely.
+            if (emitNoOverloadFoundError) {
+                const functionName = bestMatch.overload.details.name || '<anonymous function>';
+                const diagnostic = addDiagnostic(AnalyzerNodeInfo.getFileInfo(errorNode).diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.Localizer.Diagnostic.noOverload().format({ name: functionName }), errorNode);
+                const overrideDecl = bestMatch.overload.details.declaration;
+                if (diagnostic && overrideDecl) {
+                    diagnostic.addRelatedInfo(localize_1.Localizer.DiagnosticAddendum.overloadIndex().format({ index: bestMatch.overloadIndex + 1 }), overrideDecl.path, overrideDecl.range);
+                }
+            }
             const effectiveTypeVarContext = typeVarContext !== null && typeVarContext !== void 0 ? typeVarContext : new typeVarContext_1.TypeVarContext();
             effectiveTypeVarContext.addSolveForScope((0, typeUtils_1.getTypeVarScopeIds)(bestMatch.overload));
             effectiveTypeVarContext.unlock();
@@ -6233,7 +6260,9 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         // use the normal type matching mechanism because it is faster and
         // will provide a clearer error message.
         if (filteredMatchResults.length === 1) {
-            return evaluateUsingBestMatchingOverload(/* skipUnknownArgCheck */ false);
+            return evaluateUsingBestMatchingOverload(
+            /* skipUnknownArgCheck */ false, 
+            /* emitNoOverloadFoundError */ false);
         }
         let expandedArgTypes = [argList.map((arg) => undefined)];
         while (true) {
@@ -6275,7 +6304,9 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         // in speculative mode because it's very expensive, and we're going to
         // suppress the diagnostic anyway.
         if (!isDiagnosticSuppressedForNode(errorNode) && !isTypeIncomplete) {
-            const result = evaluateUsingBestMatchingOverload(/* skipUnknownArgCheck */ true);
+            const result = evaluateUsingBestMatchingOverload(
+            /* skipUnknownArgCheck */ true, 
+            /* emitNoOverloadFoundError */ true);
             // Replace the result with an unknown type since we don't know
             // what overload should have been used.
             result.returnType = types_1.UnknownType.create();
@@ -7846,7 +7877,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         let paramSpecTypeVarContext = [];
         // Handle the assignment of additional arguments that map to a param spec.
         if (matchResults.paramSpecArgList && matchResults.paramSpecTarget) {
-            const paramSpecArgResult = validateFunctionArgumentsForParamSpec(errorNode, matchResults.paramSpecArgList, matchResults.paramSpecTarget, typeVarContext, typeCondition);
+            const paramSpecArgResult = validateFunctionArgumentsForParamSpec(errorNode, matchResults.paramSpecArgList, matchResults.paramSpecTarget, typeVarContext, signatureTracker);
             if (paramSpecArgResult.argumentErrors) {
                 argumentErrors = true;
                 argumentMatchScore += 1;
@@ -8054,18 +8085,18 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
     }
     // Determines whether the specified argument list satisfies the function
     // signature bound to the specified ParamSpec. Return value indicates success.
-    function validateFunctionArgumentsForParamSpec(errorNode, argList, paramSpec, destTypeVarContext, conditionFilter) {
+    function validateFunctionArgumentsForParamSpec(errorNode, argList, paramSpec, destTypeVarContext, signatureTracker) {
         const signatureContexts = destTypeVarContext.getSignatureContexts();
         // Handle the common case where there is only one signature context.
         if (signatureContexts.length === 1) {
-            return validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, signatureContexts[0], conditionFilter);
+            return validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, signatureContexts[0], signatureTracker);
         }
         const filteredSignatureContexts = [];
         const typeVarContexts = [];
         signatureContexts.forEach((context) => {
             // Use speculative mode to avoid emitting errors or caching types.
             useSpeculativeMode(errorNode, () => {
-                const paramSpecArgResult = validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, context, conditionFilter);
+                const paramSpecArgResult = validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, context, signatureTracker);
                 if (!paramSpecArgResult.argumentErrors) {
                     filteredSignatureContexts.push(context);
                 }
@@ -8077,163 +8108,30 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
             destTypeVarContext.copySignatureContexts(filteredSignatureContexts);
         }
         // Evaluate non-speculatively to produce a final result and cache types.
-        const paramSpecArgResult = validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, filteredSignatureContexts.length > 0 ? filteredSignatureContexts[0] : signatureContexts[0], conditionFilter);
+        const paramSpecArgResult = validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, filteredSignatureContexts.length > 0 ? filteredSignatureContexts[0] : signatureContexts[0], signatureTracker);
         return { argumentErrors: paramSpecArgResult.argumentErrors, typeVarContexts };
     }
-    function validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, typeVarContext, conditionFilter) {
+    function validateFunctionArgumentsForParamSpecSignature(errorNode, argList, paramSpec, typeVarContext, signatureTracker) {
         var _a;
         const paramSpecType = typeVarContext.getParamSpecType(paramSpec);
         if (!paramSpecType) {
             addDiagnostic(AnalyzerNodeInfo.getFileInfo(errorNode).diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.Localizer.Diagnostic.paramSpecNotBound().format({ type: printType(paramSpec) }), ((_a = argList[0]) === null || _a === void 0 ? void 0 : _a.valueExpression) || errorNode);
             return { argumentErrors: true, typeVarContexts: [undefined] };
         }
-        const liveTypeVarScopes = ParseTreeUtils.getTypeVarScopesForNode(errorNode);
+        const matchResults = matchFunctionArgumentsToParameters(errorNode, argList, { type: paramSpecType }, 0);
         const srcTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeIds)(paramSpecType));
-        let reportedArgError = false;
-        let sawUnpackedListArgument = false;
-        let sawUnpackedDictArgument = false;
-        let paramMap = new Map();
-        // We'll use two passes in case there are type variables that depend
-        // on later arguments.
-        const passCount = 2;
-        for (let i = 0; i < passCount; i++) {
-            // Unless we're on the last pass, use speculative mode to suppress
-            // any diagnostics.
-            useSpeculativeMode(i < passCount - 1 ? errorNode : undefined, () => {
-                // Build a map of all named parameters.
-                paramMap = new Map();
-                const paramSpecParams = paramSpecType.details.parameters;
-                paramSpecParams.forEach((param) => {
-                    if (param.name) {
-                        paramMap.set(param.name, param);
-                    }
-                });
-                let positionalIndex = 0;
-                let positionalIndexLimit = paramSpecParams.findIndex((paramInfo) => paramInfo.category !== 0 /* Simple */);
-                if (positionalIndexLimit < 0) {
-                    positionalIndexLimit = paramSpecParams.length;
-                }
-                const argsParam = paramSpecParams.find((paramInfo) => paramInfo.category === 1 /* ArgsList */);
-                const kwargsParam = paramSpecParams.find((paramInfo) => paramInfo.category === 2 /* KwargsDict */);
-                const signatureTracker = new typeUtils_1.UniqueSignatureTracker();
-                const nestedArgList = [];
-                argList.forEach((arg) => {
-                    var _a;
-                    if (arg.argumentCategory === 0 /* Simple */) {
-                        let paramType;
-                        if (arg.name) {
-                            const paramInfo = paramMap.get(arg.name.value);
-                            if (paramInfo) {
-                                paramType = paramInfo.type;
-                                paramMap.delete(arg.name.value);
-                            }
-                            else if (kwargsParam) {
-                                paramType = kwargsParam.type;
-                            }
-                            else {
-                                addDiagnostic(AnalyzerNodeInfo.getFileInfo(errorNode).diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.Localizer.Diagnostic.paramNameMissing().format({ name: arg.name.value }), arg.name || errorNode);
-                                reportedArgError = true;
-                            }
-                        }
-                        else {
-                            if (positionalIndex < positionalIndexLimit) {
-                                const paramInfo = paramSpecParams[positionalIndex];
-                                paramType = paramInfo.type;
-                                if (paramInfo.name) {
-                                    paramMap.delete(paramInfo.name);
-                                }
-                            }
-                            else if (argsParam) {
-                                paramType = argsParam.type;
-                            }
-                            else if (paramSpecType.details.paramSpec) {
-                                nestedArgList.push(arg);
-                            }
-                            else {
-                                addDiagnostic(AnalyzerNodeInfo.getFileInfo(errorNode).diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, paramSpecParams.length === 1
-                                    ? localize_1.Localizer.Diagnostic.argPositionalExpectedOne()
-                                    : localize_1.Localizer.Diagnostic.argPositionalExpectedCount().format({
-                                        expected: paramSpecParams.length,
-                                    }), (_a = arg.valueExpression) !== null && _a !== void 0 ? _a : errorNode);
-                                reportedArgError = true;
-                            }
-                            positionalIndex++;
-                        }
-                        if (paramType) {
-                            const argResult = validateArgType({
-                                paramCategory: 0 /* Simple */,
-                                paramType: (0, typeUtils_1.transformExpectedType)(paramType, liveTypeVarScopes, 
-                                /* usageOffset */ undefined),
-                                requiresTypeVarMatching: false,
-                                argument: arg,
-                                errorNode: arg.valueExpression || errorNode,
-                            }, srcTypeVarContext, signatureTracker, 
-                            /* functionType */ undefined, { conditionFilter });
-                            if (!argResult.isCompatible) {
-                                reportedArgError = true;
-                            }
-                        }
-                    }
-                    else if (arg.argumentCategory === 1 /* UnpackedList */) {
-                        sawUnpackedListArgument = true;
-                        // See if there is an *args parameter.
-                        const argsParam = paramSpecParams.find((param) => param.category === 1 /* ArgsList */ && param.name);
-                        if (argsParam && paramMap.has(argsParam.name)) {
-                            // TODO - validate args type
-                            paramMap.delete(argsParam.name);
-                        }
-                    }
-                    else {
-                        sawUnpackedDictArgument = true;
-                        (0, debug_1.assert)(arg.argumentCategory === 2 /* UnpackedDictionary */);
-                        // See if there is an *kwargs parameter.
-                        const kwargsParam = paramSpecParams.find((param) => param.category === 2 /* KwargsDict */);
-                        if (kwargsParam && paramMap.has(kwargsParam.name)) {
-                            // TODO - validate kwargs type
-                            paramMap.delete(kwargsParam.name);
-                        }
-                    }
-                });
-                // Handle recursive ParamSpecs.
-                if (paramSpecType.details.paramSpec) {
-                    const boundTypeForParamSpec = srcTypeVarContext
-                        .getPrimarySignature()
-                        .getParamSpecType(paramSpecType.details.paramSpec);
-                    if (boundTypeForParamSpec) {
-                        const paramSpecArgResult = validateFunctionArgumentsForParamSpec(errorNode, nestedArgList, paramSpecType.details.paramSpec, srcTypeVarContext, conditionFilter);
-                        if (paramSpecArgResult.argumentErrors) {
-                            reportedArgError = true;
-                        }
-                    }
+        if (matchResults.argumentErrors) {
+            // Evaluate types of all args. This will ensure that referenced symbols are
+            // not reported as unaccessed.
+            argList.forEach((arg) => {
+                if (arg.valueExpression && !isSpeculativeModeInUse(arg.valueExpression)) {
+                    getTypeOfExpression(arg.valueExpression);
                 }
             });
+            return { argumentErrors: true, typeVarContexts: [srcTypeVarContext] };
         }
-        // Report any missing parameters.
-        if (!reportedArgError) {
-            let unassignedParams = Array.from(paramMap.keys());
-            // Parameters that have defaults can be left unspecified.
-            unassignedParams = unassignedParams.filter((name) => {
-                const paramInfo = paramMap.get(name);
-                return paramInfo.category === 0 /* Simple */ && !paramInfo.hasDefault;
-            });
-            if (unassignedParams.length > 0 &&
-                !paramSpecType.details.paramSpec &&
-                !sawUnpackedListArgument &&
-                !sawUnpackedDictArgument) {
-                const missingParamNames = unassignedParams.map((p) => `"${p}"`).join(', ');
-                addDiagnostic(AnalyzerNodeInfo.getFileInfo(errorNode).diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, unassignedParams.length === 1
-                    ? localize_1.Localizer.Diagnostic.argMissingForParam().format({ name: missingParamNames })
-                    : localize_1.Localizer.Diagnostic.argMissingForParams().format({ names: missingParamNames }), errorNode);
-                reportedArgError = true;
-            }
-        }
-        if (!reportedArgError) {
-            (0, typeUtils_1.applySourceContextTypeVarsToSignature)(typeVarContext, srcTypeVarContext);
-        }
-        return {
-            argumentErrors: reportedArgError,
-            typeVarContexts: [reportedArgError ? srcTypeVarContext : undefined],
-        };
+        const result = validateFunctionArgumentTypes(errorNode, matchResults, srcTypeVarContext, signatureTracker);
+        return { argumentErrors: !!result.argumentErrors, typeVarContexts: [srcTypeVarContext] };
     }
     function validateArgType(argParam, typeVarContext, signatureTracker, typeResult, options) {
         var _a;
@@ -9184,20 +9082,28 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
             }
             return undefined;
         }
-        const builtInDict = getBuiltInObject(node, 'dict');
-        if (!(0, types_1.isClassInstance)(builtInDict)) {
-            return undefined;
-        }
-        const dictTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(builtInDict));
-        if (!(0, constraintSolver_1.populateTypeVarContextBasedOnExpectedType)(evaluatorInterface, builtInDict, inferenceContext.expectedType, dictTypeVarContext, ParseTreeUtils.getTypeVarScopesForNode(node), node.start)) {
-            return undefined;
+        let expectedKeyType;
+        let expectedValueType;
+        if ((0, types_1.isAnyOrUnknown)(inferenceContext.expectedType)) {
+            expectedKeyType = inferenceContext.expectedType;
+            expectedValueType = inferenceContext.expectedType;
         }
-        const specializedDict = (0, typeUtils_1.applySolvedTypeVars)(types_1.ClassType.cloneAsInstantiable(builtInDict), dictTypeVarContext);
-        if (!specializedDict.typeArguments || specializedDict.typeArguments.length !== 2) {
-            return undefined;
+        else {
+            const builtInDict = getBuiltInObject(node, 'dict');
+            if (!(0, types_1.isClassInstance)(builtInDict)) {
+                return undefined;
+            }
+            const dictTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(builtInDict));
+            if (!(0, constraintSolver_1.populateTypeVarContextBasedOnExpectedType)(evaluatorInterface, builtInDict, inferenceContext.expectedType, dictTypeVarContext, ParseTreeUtils.getTypeVarScopesForNode(node), node.start)) {
+                return undefined;
+            }
+            const specializedDict = (0, typeUtils_1.applySolvedTypeVars)(types_1.ClassType.cloneAsInstantiable(builtInDict), dictTypeVarContext);
+            if (!specializedDict.typeArguments || specializedDict.typeArguments.length !== 2) {
+                return undefined;
+            }
+            expectedKeyType = specializedDict.typeArguments[0];
+            expectedValueType = specializedDict.typeArguments[1];
         }
-        const expectedKeyType = specializedDict.typeArguments[0];
-        const expectedValueType = specializedDict.typeArguments[1];
         // Dict and MutableMapping types have invariant value types, so they
         // cannot be narrowed further. Other super-types like Mapping, Collection,
         // and Iterable use covariant value types, so they can be narrowed.
@@ -9372,9 +9278,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 }
                 else if (mappingType && (0, types_1.isInstantiableClass)(mappingType)) {
                     const mappingTypeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(mappingType));
-                    // Self-specialize the class.
-                    mappingType = types_1.ClassType.cloneForSpecialization(mappingType, mappingType.details.typeParameters, 
-                    /* isTypeArgumentExplicit */ true);
+                    mappingType = (0, typeUtils_1.selfSpecializeClass)(mappingType);
                     if (assignType(types_1.ClassType.cloneAsInstance(mappingType), unexpandedType, 
                     /* diag */ undefined, mappingTypeVarContext, 
                     /* srcTypeVarContext */ undefined, 128 /* RetainLiteralsForTypeVar */)) {
@@ -9475,22 +9379,28 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         let isIncomplete = false;
         let typeErrors = false;
         const verifyHashable = node.nodeType === 45 /* Set */;
-        if (!(0, types_1.isClassInstance)(inferenceContext.expectedType)) {
-            return undefined;
-        }
-        const builtInListOrSet = getBuiltInObject(node, builtInClassName);
-        if (!(0, types_1.isClassInstance)(builtInListOrSet)) {
-            return undefined;
-        }
-        const typeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(builtInListOrSet));
-        if (!(0, constraintSolver_1.populateTypeVarContextBasedOnExpectedType)(evaluatorInterface, builtInListOrSet, inferenceContext.expectedType, typeVarContext, ParseTreeUtils.getTypeVarScopesForNode(node), node.start)) {
-            return undefined;
+        let expectedEntryType;
+        if ((0, types_1.isAnyOrUnknown)(inferenceContext.expectedType)) {
+            expectedEntryType = inferenceContext.expectedType;
         }
-        const specializedListOrSet = (0, typeUtils_1.applySolvedTypeVars)(types_1.ClassType.cloneAsInstantiable(builtInListOrSet), typeVarContext);
-        if (!specializedListOrSet.typeArguments || specializedListOrSet.typeArguments.length !== 1) {
-            return undefined;
+        else {
+            if (!(0, types_1.isClassInstance)(inferenceContext.expectedType)) {
+                return undefined;
+            }
+            const builtInListOrSet = getBuiltInObject(node, builtInClassName);
+            if (!(0, types_1.isClassInstance)(builtInListOrSet)) {
+                return undefined;
+            }
+            const typeVarContext = new typeVarContext_1.TypeVarContext((0, typeUtils_1.getTypeVarScopeId)(builtInListOrSet));
+            if (!(0, constraintSolver_1.populateTypeVarContextBasedOnExpectedType)(evaluatorInterface, builtInListOrSet, inferenceContext.expectedType, typeVarContext, ParseTreeUtils.getTypeVarScopesForNode(node), node.start)) {
+                return undefined;
+            }
+            const specializedListOrSet = (0, typeUtils_1.applySolvedTypeVars)(types_1.ClassType.cloneAsInstantiable(builtInListOrSet), typeVarContext);
+            if (!specializedListOrSet.typeArguments || specializedListOrSet.typeArguments.length !== 1) {
+                return undefined;
+            }
+            expectedEntryType = specializedListOrSet.typeArguments[0];
         }
-        const expectedEntryType = specializedListOrSet.typeArguments[0];
         const entryTypes = [];
         const expectedTypeDiagAddendum = new diagnostic_1.DiagnosticAddendum();
         node.entries.forEach((entry) => {
@@ -10046,6 +9956,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         functionType.details.declaredReturnType = types_1.UnknownType.create();
         functionType.details.typeVarScopeId = ParseTreeUtils.getScopeIdForNode(errorNode);
         if (typeArgs && typeArgs.length > 0) {
+            functionType.isCallableWithTypeArgs = true;
             if (typeArgs[0].typeList) {
                 const typeList = typeArgs[0].typeList;
                 let sawUnpacked = false;
@@ -10356,12 +10267,12 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         }
         const enclosingFunction = ParseTreeUtils.getEnclosingFunction(errorNode);
         if (enclosingFunction) {
-            const functionFlags = (0, decorators_1.getFunctionFlagsFromDecorators)(evaluatorInterface, enclosingFunction, 
+            const functionInfo = (0, decorators_1.getFunctionInfoFromDecorators)(evaluatorInterface, enclosingFunction, 
             /* isInClass */ true);
             const isInnerFunction = !!ParseTreeUtils.getEnclosingFunction(enclosingFunction);
             if (!isInnerFunction) {
                 // Check for static methods.
-                if (functionFlags & 4 /* StaticMethod */) {
+                if (functionInfo.flags & 4 /* StaticMethod */) {
                     addDiagnostic(fileInfo.diagnosticRuleSet.reportGeneralTypeIssues, diagnosticRules_1.DiagnosticRule.reportGeneralTypeIssues, localize_1.Localizer.Diagnostic.selfTypeContext(), errorNode);
                     return types_1.UnknownType.create();
                 }
@@ -10902,7 +10813,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         const nameNode = node.leftExpression;
         const assignedName = nameNode.value;
         if (assignedName === 'Any') {
-            return types_1.AnyType.create();
+            return types_1.AnyType.createSpecialForm();
         }
         const specialTypes = new Map([
             ['overload', { alias: '', module: 'builtins' }],
@@ -11270,6 +11181,11 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                     if ((0, types_1.isUnion)(argType)) {
                         argType = (0, types_1.removeUnbound)(argType);
                     }
+                    // Any is allowed as a base class. Remove its "special form" flag to avoid
+                    // false positive errors.
+                    if ((0, types_1.isAny)(argType) && types_1.TypeBase.isSpecialForm(argType)) {
+                        argType = types_1.AnyType.create();
+                    }
                     if (!(0, types_1.isAnyOrUnknown)(argType) && !(0, types_1.isUnbound)(argType)) {
                         if ((0, typeUtils_1.isMetaclassInstance)(argType)) {
                             (0, debug_1.assert)((0, types_1.isClassInstance)(argType));
@@ -12057,6 +11973,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         }
         // See if there are any overloads provided by previous function declarations.
         if ((0, types_1.isFunction)(decoratedType)) {
+            decoratedType.details.deprecatedMessage = functionType.details.deprecatedMessage;
             if (types_1.FunctionType.isOverloaded(decoratedType)) {
                 // Mark all the parameters as accessed.
                 node.parameters.forEach((param) => {
@@ -12090,7 +12007,8 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         if (containingClassNode) {
             containingClassType = (_a = getTypeOfClass(containingClassNode)) === null || _a === void 0 ? void 0 : _a.classType;
         }
-        let functionFlags = (0, decorators_1.getFunctionFlagsFromDecorators)(evaluatorInterface, node, !!containingClassNode);
+        const functionInfo = (0, decorators_1.getFunctionInfoFromDecorators)(evaluatorInterface, node, !!containingClassNode);
+        let functionFlags = functionInfo.flags;
         if (functionDecl === null || functionDecl === void 0 ? void 0 : functionDecl.isGenerator) {
             functionFlags |= 16 /* Generator */;
         }
@@ -12105,6 +12023,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         }
         const functionType = types_1.FunctionType.createInstance(node.name.value, getFunctionFullName(node, fileInfo.moduleName, node.name.value), fileInfo.moduleName, functionFlags | 131072 /* PartiallyEvaluated */, ParseTreeUtils.getDocString(node.suite.statements));
         functionType.details.typeVarScopeId = ParseTreeUtils.getScopeIdForNode(node);
+        functionType.details.deprecatedMessage = functionInfo.deprecationMessage;
         if (node.name.value === '__init__' || node.name.value === '__new__') {
             if (containingClassNode) {
                 functionType.details.constructorTypeVarScopeId = ParseTreeUtils.getScopeIdForNode(containingClassNode);
@@ -13535,7 +13454,8 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         // See if the function is a method in a child class. We may be able to
         // infer the type of the parameter from a method of the same name in
         // a parent class if it has an annotated type.
-        const functionFlags = (0, decorators_1.getFunctionFlagsFromDecorators)(evaluatorInterface, functionNode, /* isInClass */ true);
+        const functionFlags = (0, decorators_1.getFunctionInfoFromDecorators)(evaluatorInterface, functionNode, 
+        /* isInClass */ true).flags;
         const inferredParamType = inferParameterType(functionNode, functionFlags, paramIndex, classInfo === null || classInfo === void 0 ? void 0 : classInfo.classType);
         writeTypeCache(node.name, { type: transformVariadicParamType(node, node.category, inferredParamType !== null && inferredParamType !== void 0 ? inferredParamType : types_1.UnknownType.create()) }, 0 /* None */);
     }
@@ -15570,6 +15490,12 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                 };
             }
         }
+        else if ((0, types_1.isAnyOrUnknown)(member.classType)) {
+            return {
+                type: member.classType,
+                isIncomplete: false,
+            };
+        }
         return undefined;
     }
     function assignClass(destType, srcType, diag, destTypeVarContext, srcTypeVarContext, flags, recursionCount, reportErrorsUsingObjType) {
@@ -16242,7 +16168,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
         if ((0, types_1.isAnyOrUnknown)(destType)) {
             return true;
         }
-        if ((0, types_1.isAnyOrUnknown)(srcType)) {
+        if ((0, types_1.isAnyOrUnknown)(srcType) && !types_1.TypeBase.isSpecialForm(srcType)) {
             const targetTypeVarContext = (flags & 2 /* ReverseTypeVarMatching */) === 0 ? destTypeVarContext : srcTypeVarContext;
             if (targetTypeVarContext) {
                 // If it's an ellipsis type, convert it to a regular "Any"
@@ -16468,7 +16394,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                     }
                 }
             }
-            else if ((0, types_1.isAnyOrUnknown)(concreteSrcType)) {
+            else if ((0, types_1.isAnyOrUnknown)(concreteSrcType) && !types_1.TypeBase.isSpecialForm(concreteSrcType)) {
                 return (flags & 16 /* OverloadOverlapCheck */) === 0;
             }
             else if ((0, types_1.isUnion)(concreteSrcType)) {
@@ -17454,7 +17380,8 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                             category: p.category,
                             name: p.name,
                             isNameSynthesized: p.isNameSynthesized,
-                            hasDefault: !!p.hasDefault,
+                            hasDefault: p.hasDefault,
+                            hasDeclaredType: p.hasDeclaredType,
                             defaultValueExpression: p.defaultValueExpression,
                             type: types_1.FunctionType.getEffectiveParameterType(effectiveSrcType, index),
                         });
@@ -18146,7 +18073,7 @@ function createTypeEvaluator(importLookup, evaluatorOptions) {
                         let isAbstract;
                         const decl = (0, symbolUtils_1.getLastTypedDeclaredForSymbol)(symbol);
                         if (decl && decl.type === 5 /* Function */) {
-                            const functionFlags = (0, decorators_1.getFunctionFlagsFromDecorators)(evaluatorInterface, decl.node, true);
+                            const functionFlags = (0, decorators_1.getFunctionInfoFromDecorators)(evaluatorInterface, decl.node, true).flags;
                             isAbstract = !!(functionFlags & 8 /* AbstractMethod */);
                         }
                         else {