fixup! specify that type variable tuple should have variance

Author: KotlinIsland

conformance/tests/generics_typevartuple_basic.py

@@ -7,6 +7,7 @@
 from typing import Generic, NewType, TypeVarTuple, assert_type
 
 Ts = TypeVarTuple("Ts")
+Ts1 = TypeVarTuple("Ts1")
 
 
 class Array1(Generic[*Ts]):
@@ -103,5 +104,9 @@ def func3(x: Array[Height], y: Array[Width], z: Array[Height, Width]):
 # > Only a single type variable tuple may appear in a type parameter list.
 
 
+class Array3(Generic[*Ts, *Ts1]):  # E
+    ...
+
+
 class Array3[*Ts1, *Ts2]:  # E
     ...

conformance/tests/generics_typevartuple_variance.py

@@ -37,9 +37,22 @@ def f(self) -> tuple[*OutTs]:
 ]()
 
 
-InTs = TypeVarTuple("InTs", contravariant=True)
+Ts = TypeVarTuple("Ts")
+
+class InvariantTypeVarTupleOld(Generic[*Ts]):
+    def in_f(self, *args: *InTs) -> None:  # OK
+        raise NotImplementedError
+
+    def out_f(self) -> tuple[*InTs]:  # OK
+        raise NotImplementedError
 
 
+obj_old: InvariantTypeVarTupleOld[object] = InvariantTypeVarTupleOld[int]()  # E
+int_old: InvariantTypeVarTupleOld[int] = InvariantTypeVarTupleOld[object]()  # E
+
+
+InTs = TypeVarTuple("InTs", contravariant=True)
+
 class ContravariantTypeVarTupleOld(Generic[*InTs]):
     def in_f(self, *args: *InTs) -> None:  # OK
         raise NotImplementedError
@@ -51,8 +64,8 @@ def out_f(self) -> tuple[*InTs]:  # E
 in_obj_old: ContravariantTypeVarTupleOld[object] = ContravariantTypeVarTupleOld[int]()  # E
 in_int_old: ContravariantTypeVarTupleOld[int] = ContravariantTypeVarTupleOld[object]()  # OK
 
-OutTs = TypeVarTuple("OutTs", covariant=True)
 
+OutTs = TypeVarTuple("OutTs", covariant=True)
 
 class CovariantTypeVarTupleOld(Generic[*OutTs]):
     def in_f(self, *args: *OutTs) -> None:  # E

docs/spec/generics.rst

@@ -2724,10 +2724,10 @@ instance (a concrete anonymous class that is assumed to meet the bounds or
 constraints of the type parameter). In the ``upper`` specialized class,
 specialize the target type parameter with:
 
- an ``object`` instance for a type variable.
- a ``*tuple[object, ...]`` value for a type variable tuple.
- a for a parameter specification, a 'top signature' value, i.e. a type
- that represents the super type of every possible signature.
+ an ``object`` instance for a type variable. a ``*tuple[object, ...]``
+ value for a type variable tuple. For a parameter specification,
+ a 'top signature' value, i.e. a type that represents the super type of
+ every possible signature.
 
 This specialization ignores the type parameter's upper bound or constraints.
 In the ``lower`` specialized class, specialize the target type parameter with