add bound syntax for type variable tuples and parameter specifications

Feature or enhancement

Proposal:

# typical forms
class A[T: int, *Ts: int, **P: [int]]: ...
A[
    str, # error
    int, # ok, matching Ts bound
    str, # error, not matching Ts bound
    [str], # error, not matching P bound
]

A[
    int, # ok
    int, # ok, matching Ts bound
    bool, # ok, matching Ts bound
    [int], # ok, matching P bound
]

# tvt unpacked form
class B[*Ts: *tuple[int, str]]: ...

B[
    int, # ok
    int, # error, not subtype of str
    int, # error, too many types
]

Has this already been discussed elsewhere?

I have already discussed this feature proposal on Discourse

Links to previous discussion of this feature:

https://discuss.python.org/t/parameter-specification-and-type-variable-tuple-should-support-bounds/107068/6

Linked PRs

• gh-148946

No se nombran archivos de implementación ni pruebas. Empieza leyendo la discusión de Discourse enlazada y el PR gh-148946, y después sigue cómo deberían comportarse los ejemplos de la propuesta sobre tuplas de variables de tipo acotadas y especificaciones de parámetros. Se considera terminado cuando los ejemplos documentados aceptan argumentos válidos y rechazan límites y aridades no válidos.