@zzzen/pyright-internal 1.2.0-dev.20241020 → 1.2.0-dev.20241103

package/dist/analyzer/checker.js

@@ -2685,7 +2685,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         // Check for unsafe protocol overlaps.
         classTypeList.forEach((filterType) => {
             if ((0, types_1.isInstantiableClass)(filterType)) {
-                this._validateUnsafeProtocolOverlap(node.d.args[0].d.valueExpr, (0, typeUtils_1.convertToInstance)(filterType), isInstanceCheck ? arg0Type : (0, typeUtils_1.convertToInstance)(arg0Type));
+                this._validateUnsafeProtocolOverlap(node.d.args[0].d.valueExpr, types_1.ClassType.cloneAsInstance(filterType), isInstanceCheck ? arg0Type : (0, typeUtils_1.convertToInstance)(arg0Type));
             }
         });
         // Check for unnecessary isinstance or issubclass calls.
@@ -3477,7 +3477,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             // Is this symbol a literal instance of the enum class?
             if (!symbolType ||
                 !(0, types_1.isClassInstance)(symbolType) ||
-                !types_1.ClassType.isSameGenericClass(symbolType, classType) ||
+                !types_1.ClassType.isSameGenericClass(symbolType, types_1.ClassType.cloneAsInstance(classType)) ||
                 !(symbolType.priv.literalValue instanceof types_1.EnumLiteral)) {
                 return;
             }
@@ -3792,6 +3792,11 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             if ((0, types_1.isTypeVarTuple)(param) || (0, types_1.isParamSpec)(param)) {
                 return;
             }
+            // Skip type variables that have been internally synthesized
+            // for a variety of reasons.
+            if (param.shared.isSynthesized) {
+                return;
+            }
             // Skip type variables with auto-variance.
             if (param.shared.declaredVariance === 0 /* Variance.Auto */) {
                 return;
@@ -4592,11 +4597,10 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             return;
         }
         const baseClass = baseClassAndSymbol.classType;
-        const childClassSelf = types_1.ClassType.cloneAsInstance((0, typeUtils_1.selfSpecializeClass)(childClassType));
-        let baseType = (0, typeUtils_1.partiallySpecializeType)(this._evaluator.getEffectiveTypeOfSymbol(baseClassAndSymbol.symbol), baseClass, this._evaluator.getTypeClassType(), childClassSelf);
+        const childClassSelf = types_1.ClassType.cloneAsInstance((0, typeUtils_1.selfSpecializeClass)(childClassType, { useBoundTypeVars: true }));
+        const baseType = (0, typeUtils_1.partiallySpecializeType)(this._evaluator.getEffectiveTypeOfSymbol(baseClassAndSymbol.symbol), baseClass, this._evaluator.getTypeClassType(), childClassSelf);
         overrideType = (0, typeUtils_1.partiallySpecializeType)(overrideType, childClassType, this._evaluator.getTypeClassType(), childClassSelf);
         if (childClassType.shared.typeVarScopeId) {
-            baseType = (0, typeUtils_1.makeTypeVarsBound)(baseType, [childClassType.shared.typeVarScopeId]);
             overrideType = (0, typeUtils_1.makeTypeVarsBound)(overrideType, [childClassType.shared.typeVarScopeId]);
         }
         if ((0, types_1.isFunction)(baseType) || (0, types_1.isOverloaded)(baseType)) {