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

package/dist/analyzer/checker.js

@@ -2646,12 +2646,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     }
                     break;
                 case 3 /* None */:
-                    if (!isInstanceCheck) {
-                        isSupported = false;
-                    }
-                    else {
-                        isSupported = types_1.TypeBase.isInstantiable(subtype);
-                    }
+                    isSupported = types_1.TypeBase.isInstantiable(subtype);
                     break;
                 case 5 /* Function */:
                     if (!types_1.TypeBase.isInstantiable(subtype) || subtype.isCallableWithTypeArgs) {
@@ -3635,8 +3630,6 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         }
         newMemberType = this._evaluator.bindFunctionToClassOrObject(classType, newMemberType, 
         /* memberClass */ undefined, 
-        /* errorNode */ undefined, 
-        /* recursionCount */ undefined, 
         /* treatConstructorAsClassMember */ true);
         if (!newMemberType) {
             return;
@@ -3746,10 +3739,6 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                     if (matchingMroClass && (0, types_1.isInstantiableClass)(matchingMroClass)) {
                         const matchingMroObject = types_1.ClassType.cloneAsInstance(matchingMroClass);
                         const baseClassMroObject = types_1.ClassType.cloneAsInstance(specializedBaseClassMroClass);
-                        // If the types match exactly, we can shortcut the remainder of the MRO chain.
-                        // if (isTypeSame(matchingMroObject, baseClassMroObject)) {
-                        //     break;
-                        // }
                         if (!this._evaluator.assignType(matchingMroObject, baseClassMroObject)) {
                             const diag = new diagnostic_1.DiagnosticAddendum();
                             const baseClassObject = (0, typeUtils_1.convertToInstance)(baseClass);
@@ -4086,8 +4075,12 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 // false positives.
                 const enforceParamNameMatch = !SymbolNameUtils.isDunderName(memberName);
                 // Don't check certain magic functions or private symbols.
+                // Also, skip this check if the class is a TypedDict. The methods for a TypedDict
+                // are synthesized, and they can result in many overloads. We assume they
+                // are correct and will not produce any errors.
                 if (!exemptMethods.some((exempt) => exempt === memberName) &&
-                    !SymbolNameUtils.isPrivateName(memberName)) {
+                    !SymbolNameUtils.isPrivateName(memberName) &&
+                    !types_1.ClassType.isTypedDictClass(childClassType)) {
                     if (!this._evaluator.validateOverrideMethod(baseType, overrideType, childClassType, diagAddendum, enforceParamNameMatch)) {
                         const decl = (0, types_1.isFunction)(overrideType) && overrideType.details.declaration
                             ? overrideType.details.declaration