Fixed a bug that results in a false positive when a class parameteriz…

packages/pyright-internal/src/analyzer/typeUtils.ts

@@ -1156,6 +1156,10 @@ export function selfSpecializeClass(type: ClassType, options?: SelfSpecializeOpt
     }
 
     const typeParams = type.shared.typeParams.map((typeParam) => {
+        if (isTypeVarTuple(typeParam)) {
+            typeParam = TypeVarType.cloneForUnpacked(typeParam);
+        }
+
         return options?.useBoundTypeVars ? TypeVarType.cloneAsBound(typeParam) : typeParam;
     });
     return ClassType.specialize(type, typeParams);

packages/pyright-internal/src/tests/samples/typeVarTuple30.py

@@ -0,0 +1,11 @@
+# This sample tests the case where a TypeVarTuple is used in a class
+# and a `Self` type is involved.
+
+class Parent[*Ts]:
+    def __init__(self, *args: *Ts): ...
+
+    def method(self):
+        Child(self)
+
+
+class Child(Parent[*tuple[Parent, ...]]): ...

packages/pyright-internal/src/tests/typeEvaluator6.test.ts

@@ -419,6 +419,14 @@ test('TypeVarTuple29', () => {
     TestUtils.validateResults(analysisResults, 0);
 });
 
+test('TypeVarTuple30', () => {
+    const configOptions = new ConfigOptions(Uri.empty());
+
+    configOptions.defaultPythonVersion = pythonVersion3_12;
+    const analysisResults = TestUtils.typeAnalyzeSampleFiles(['typeVarTuple30.py'], configOptions);
+    TestUtils.validateResults(analysisResults, 0);
+});
+
 test('Match1', () => {
     const configOptions = new ConfigOptions(Uri.empty());