fail typechecking if a parameterized type doesn't declare `__class_getitem__`
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ả
feature
a parameterized (generic) class/type should fail to typecheck if it doesn't have the __class_getitem__ method
pitch
the syntax for parameterized types is SomeClass[int]. however, if SomeClass doesn't define the __class_getitem__ method, this will typecheck but not actually run properly. we ran into this unexpectedly over at typeddjango/django-stubs/issues/507
it would be extremely helpful to at least have a command line option to warn/error on this, just so that nobody runs into it unexpectedly
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
Bắt đầu bằng cách xác định đường dẫn kiểm tra kiểu cho các lớp được tham số hóa và cách xử lý hiện có đối với class_getitem, sau đó kiểm tra các bài kiểm thử lân cận và các mẫu tùy chọn dòng lệnh. Được xem là hoàn tất khi các kiểu được tham số hóa không có class_getitem tạo ra cảnh báo hoặc lỗi đã thống nhất, với phần bao phủ cho hành vi đó và tùy chọn của nó.
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
- Tính năng
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- 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
- 30/100