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

Es werden keine Implementierungsdateien oder Tests genannt. Beginne damit, die verknüpfte Discourse-Diskussion und den PR gh-148946 zu lesen, und verfolge anschließend, wie sich die Beispiele des Vorschlags für ein Tupel gebundener Typvariablen und für Parameterspezifikationen verhalten sollten. Fertig ist die Aufgabe, wenn die dokumentierten Beispiele gültige Argumente akzeptieren und ungültige Schranken und eine ungültige Argumentanzahl ablehnen.