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

Không có tệp triển khai hoặc bài kiểm thử nào được nêu tên. Hãy bắt đầu bằng cách đọc cuộc thảo luận Discourse được liên kết và PR gh-148946, sau đó theo dõi cách các ví dụ về tuple biến kiểu bị ràng buộc và đặc tả tham số trong đề xuất sẽ hoạt động. Hoàn thành khi các ví dụ được ghi lại chấp nhận các đối số hợp lệ và từ chối các bound và arity không hợp lệ.