Constrained TypeVars with Any default
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Python
- Star
- 20.6k
- Fork
- 3.3k
- Chỉ số merge pull request
- Chỉ số pull request đang chờ
Mô tả
Bug Report
In python/typeshed#13683 I'm trying to change a type var to the following:
_I = TypeVar("_I", int, bytes, float, bool, default=Any) # possibly memoryview types
Unfortunately, mypy complains: error: TypeVar default must be one of the constraint types [misc]. While this is of course generally sound advice, a default of Any should always be permissible, as this allows memoryview to stand for any possible memoryview type. Without it, users are forced to write memoryview[Any] in every instance, which is unreasonable.
Your Environment
- Mypy version used: 1.18.2
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Tái hiện khai báo TypeVar được báo cáo và lỗi “TypeVar default must be one of the constraint types” bằng mypy 1.18.2. Bắt đầu bằng cách xác định phần kiểm tra giá trị mặc định của TypeVar có ràng buộc; được xem là hoàn tất khi giá trị mặc định là Any được chấp nhận cho trường hợp này mà không làm yếu các kiểm tra giá trị mặc định khác.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- python
- Lĩnh vực
- devtools
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 35/100