@zzzen/pyright-internal 1.2.0-dev.20261011 → 1.2.0-dev.20261101

package/dist/analyzer/checker.js

@@ -2884,10 +2884,11 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (ParseTreeUtils.isWithinAssertExpression(node)) {
             return;
         }
-        const classTypeList = (0, typeGuards_1.getIsInstanceClassTypes)(this._evaluator, arg1Type);
-        if (!classTypeList) {
+        const classTypeInfo = (0, typeGuards_1.getIsInstanceClassTypes)(this._evaluator, arg1Type, node.d.args[1].d.valueExpr);
+        if (!classTypeInfo) {
             return;
         }
+        const classTypeList = classTypeInfo.classTypes;
         // Check for unsafe protocol overlaps.
         classTypeList.forEach((filterType) => {
             if ((0, types_1.isInstantiableClass)(filterType)) {
@@ -2896,7 +2897,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         });
         // Check for unnecessary isinstance or issubclass calls.
         if (this._fileInfo.diagnosticRuleSet.reportUnnecessaryIsInstance !== 'none') {
-            const narrowedTypeNegative = (0, typeGuards_1.narrowTypeForInstanceOrSubclass)(this._evaluator, arg0Type, classTypeList, isInstanceCheck, 
+            const narrowedTypeNegative = (0, typeGuards_1.narrowTypeForInstanceOrSubclass)(this._evaluator, arg0Type, classTypeInfo.negativeClassTypes, isInstanceCheck, 
             /* isTypeIsCheck */ false, 
             /* isPositiveTest */ false, node, this._nodeInfo);
             const narrowedTypePositive = (0, typeGuards_1.narrowTypeForInstanceOrSubclass)(this._evaluator, arg0Type, classTypeList, isInstanceCheck, 
@@ -5064,6 +5065,10 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (SymbolNameUtils.isPrivateName(name)) {
             return false;
         }
+        // Synthesized methods (like NamedTuple._replace) have no declarations.
+        if ((0, types_1.isFunction)(type) && types_1.FunctionType.isSynthesizedMethod(type) && types_1.FunctionType.isFinal(type)) {
+            return true;
+        }
         // Was this declared with a "def" statement?
         const defDecls = [];
         symbol.getDeclarations().forEach((decl) => {