overload and contextmanager doesn't work together
Đang mở
Chưa có ai nhận issue này.
bug
documentation
- 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
contextmanager and overload doesn't seem to be compatbile together
To Reproduce
from contextlib import contextmanager
from typing import overload, ContextManager, Iterator
from uuid import UUID
@overload
def cactus() -> ContextManager[int]:
...
@overload
def cactus(_id: str) -> ContextManager[UUID]:
...
@contextmanager
def cactus(_id: str | None = None) -> Iterator[UUID] | Iterator[int]:
if not _id:
yield 1
yield UUID(_id)
Expected Behavior
Mypy should find no issue
Actual Behavior
test.py: note: In function "cactus":
test.py:16:2: error: Overloaded function implementation cannot produce return type of signature 1 [misc]
@contextmanager
^
test.py:16:2: error: Overloaded function implementation cannot produce return type of signature 2 [misc]
@contextmanager
^
Found 2 errors in 1 file (checked 1 source file)
Your Environment
- Mypy version used: 1.0.0
- Mypy command-line flags:
- Mypy configuration options from
mypy.ini(and other config files): - Python version used: 3.10.6
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ụ Python 3.10.6 được cung cấp với mypy 1.0.0, tập trung vào sự tương tác giữa @overload và @contextmanager. Truy vết đường dẫn kiểm tra kiểu cho phần triển khai được overload và thêm một bài kiểm thử hồi quy; hoàn thành có nghĩa là ví dụ không tạo ra lỗi mà không gây hồi quy cho các kiểm tra overload liên quan.
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