Union types for dict keys are not inferred in union context
Đang mở
Chưa có ai nhận issue này.
bug
false-positive
needs discussion
priority-1-normal
topic-join-v-union
topic-union-types
- 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: 0.650
Python: 3.7.1
I'm not sure if this is a bug or a new feature, however the following code is unexpected (in my mind, especially coming from TypeScript):
d = {"1": 2, 3: 4}
reveal_type(d) # builtins.dict[builtins.object*, builtins.int*]
I would have expected mypy to infer the type of d as builtins.dict[Union[builtins.str*, builtins.int*], builtins.int*].
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 tái hiện việc suy luận kiểu dictionary đã được báo cáo với mypy 0.650 và Python 3.7.1, sau đó lần theo điểm vào của việc suy luận kiểu cho các dictionary literal. Được xem là hoàn tất khi ví dụ báo cáo một dictionary có kiểu khóa là hợp của str và int, cùng với một regression test bao quát hành vi 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
- 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