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

未指定實作檔案或測試。先閱讀連結的 Discourse 討論和 PR gh-148946，然後追蹤提案中的有界型別變數元組和參數規格範例應如何表現。完成標準是，文件中的範例接受有效參數，並拒絕無效的界限和元數。