@zzzen/pyright-internal 1.2.0-dev.20240512 → 1.2.0-dev.20240526

package/dist/analyzer/checker.js

@@ -2722,8 +2722,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         const filterType = (varType) => {
             const filteredTypes = [];
             for (const filterType of classTypeList) {
-                const filterIsSuperclass = (0, typeGuards_1.isIsinstanceFilterSuperclass)(this._evaluator, varType, varType, filterType, filterType, isInstanceCheck, 
-                /* isTypeIsCheck */ false);
+                const filterIsSuperclass = (0, typeGuards_1.isIsinstanceFilterSuperclass)(this._evaluator, varType, varType, filterType, filterType, isInstanceCheck);
                 const filterIsSubclass = (0, typeGuards_1.isIsinstanceFilterSubclass)(this._evaluator, varType, filterType, isInstanceCheck);
                 // Normally, a class should never be both a subclass and a
                 // superclass. However, this can happen if one of the classes
@@ -3545,9 +3544,10 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             if (symbol.getTypedDeclarations().length > 0) {
                 return;
             }
-            const symbolType = this._evaluator.getEffectiveTypeOfSymbol(symbol);
+            const symbolType = (0, enums_1.transformTypeForEnumMember)(this._evaluator, classType, name);
             // Is this symbol a literal instance of the enum class?
-            if (!(0, types_1.isClassInstance)(symbolType) ||
+            if (!symbolType ||
+                !(0, types_1.isClassInstance)(symbolType) ||
                 !types_1.ClassType.isSameGenericClass(symbolType, classType) ||
                 !(symbolType.literalValue instanceof types_1.EnumLiteral)) {
                 return;
@@ -3579,10 +3579,18 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                         },
                     ];
                     if (newMemberTypeResult) {
-                        this._evaluator.validateCallArguments(errorNode, argList, newMemberTypeResult);
+                        this._evaluator.validateCallArguments(errorNode, argList, newMemberTypeResult, 
+                        /* typeVarContext */ undefined, 
+                        /* skipUnknownArgCheck */ undefined, 
+                        /* inferenceContext */ undefined, 
+                        /* signatureTracker */ undefined);
                     }
                     if (initMemberTypeResult) {
-                        this._evaluator.validateCallArguments(errorNode, argList, initMemberTypeResult);
+                        this._evaluator.validateCallArguments(errorNode, argList, initMemberTypeResult, 
+                        /* typeVarContext */ undefined, 
+                        /* skipUnknownArgCheck */ undefined, 
+                        /* inferenceContext */ undefined, 
+                        /* signatureTracker */ undefined);
                     }
                 }
             }