`possibly-undefined` false positive when assigning variable for every case in match statement for all possible values
Đang mở
Chưa có ai nhận issue này.
bug
- 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ả
# mypy: enable-error-code=possibly-undefined
from typing import Literal
value: Literal[1, 2]
match value:
case 1:
result = 1
case 2:
result = 2
result # error: possibly-undefined
similar issue: #15958 (seems it was only fixed when using assert_never at the end)
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 chạy ví dụ Python tối thiểu trong issue, sử dụng mypy playground được liên kết, và so sánh hành vi với issue tương tự #15958. Theo dõi cách mypy xử lý việc kiểm tra có thể chưa được định nghĩa sau phép match Literal đầy đủ; hoàn tất khi lỗi được báo cáo không còn được tạo ra đối với ví dụ này.
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
- compilers
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Ít trao đổi
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 48/100