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

Non sono specificati file di implementazione né test. Inizia leggendo la discussione Discourse collegata e il PR gh-148946, poi ricostruisci come dovrebbero comportarsi gli esempi della proposta relativi alla tupla di variabili di tipo vincolate e alla specifica dei parametri. Il lavoro è completato quando gli esempi documentati accettano argomenti validi e rifiutano limiti e arità non validi.