Final not honored when applied post-hoc
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
The behavior of Final is a bit inconsistent. It can be applied post-hoc, but then it won't be honored.
To Reproduce
import platform
import sys
from typing import Final
SERIES_STD = ' ▌█' if platform.system() == 'Windows' else ' ▏▎▍▌▋▊▉█'
if sys.__stdout__ and sys.__stdout__.encoding:
try:
SERIES_STD.encode(sys.__stdout__.encoding)
except UnicodeEncodeError:
SERIES_STD = ' |'
SERIES_STD: Final = SERIES_STD
SERIES_STD = '| '
Expected Behavior
I expect an assignment error for the final line to raise an error.
error: Cannot assign to final name "SERIES_STD" [misc]
Some people might argue applying Final post-hoc itself should raise an error, but I'm not one of them.
Actual Behavior
Success: no issues found in 1 source file
Your Environment
- Mypy version used: 1.18.2
- Mypy command-line flags: None
- Mypy configuration options from
mypy.ini(and other config files): No Config - Python version used: 3.13.9
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 reproducer được cung cấp với mypy 1.18.2 và theo dõi cách các annotation Final post hoc được xử lý. Xác định đường dẫn kiểm tra kiểu liên quan, bổ sung coverage cho ví dụ này và xác nhận rằng phép gán lại báo cáo "Cannot assign to final name", trong khi hành vi khác của Final vẫn không thay đổi.
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
- tooling
- Loại issue
- Lỗi
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức phù hợp với người mới
- 52/100