Tuple type form with multiple unpacks should be legal #7114
Description
If a tuple contains multiple unpacks without introducing multiple unbounded tuples, it should be legal.
The following currently generates an error, but it should not.
t1: tuple[*tuple[str], *tuple[str]] # OKSimilarly for Unpack:
t11: tuple[Unpack[tuple[str]], Unpack[tuple[str]]] # OKSimilarly for TypeVarTuples:
def func3(t: tuple[*Ts]):
t5: tuple[*tuple[str], *Ts] # OK