`type A[T] = T; reveal_type(A[int])` shows `typing.TypeAliasType` rather than `types.GenericAlias`
Đ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ả
type A[T] = T
reveal_type(A[int]) # ❌ typing.TypeAliasType
yet
>>> type A[T] = T
>>> type(A[int])
<class 'types.GenericAlias'>
on master and v1.18.2
https://mypy-play.net/?mypy=latest&python=3.12&gist=fa2132200cfca28caf586f0ccc5dc26c
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 ví dụ trong mypy playground được liên kết trên Python 3.12 và so sánh kết quả reveal_type của mypy với kiểu runtime được hiển thị trong issue. Công việc hoàn tất khi biểu thức bí danh kiểu generic được báo cáo nhất quán với kết quả types.GenericAlias tại runtime 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
- compilers
- 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
- 45/100