Union(Type) and TypeForm
維護者通常 1 天內回覆
評估
研究方向
首先使用 mypy 在有和沒有 --warn-unreachable 的情況下重現 main.py 中的範例，並檢查當值使用 typing_extensions.TypeForm 進行型別註記時，typing.Union 和 types.UnionType 是如何處理的。完成的標準是，等效的 isinstance 檢查不再產生所回報的 incompatible-type 或 unreachable-statement 錯誤。
由索引模型根據 Issue 內容生成。
描述
My function should analyze types.
Both when --warn-unreachable is enabled, and when checking typing.Union, and when checking types.UnionType, an error occurs.
code:
from types import UnionType
from typing import Any, Union
from typing_extensions import TypeForm
def f(t: TypeForm[Any]) -> Any:
if isinstance(t, Union):
pass
def g(t: TypeForm[Any]) -> Any:
if isinstance(t, UnionType):
pass
errors:
main.py:8: error: Argument 2 to "isinstance" has incompatible type "<typing special form>"; expected "_ClassInfo" [arg-type]
main.py:14: error: Statement is unreachable [unreachable]
Found 2 errors in 1 file (checked 1 source file)
in runtime, the behavior of both isinstance is equivalent.
- 主要語言
- Python
- 星號
- 20.7k
- 分支
- 3.3k
- 平均合併
- 1 天 20 小時
- 30 天內合併 PR
- 102
環境準備
- 沒有 Dockerfile 或 Docker Compose 檔案
- 有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
python/mypy 的其他 Issue
-
T-string below Python 3.14 also reports import-not-found for string.templatelib on line 1可能已有人在做 @jw9829 今天認領。 未關閉bug topic-parser
難度 2/5 1-3 小時 新手友好度 74/100
維護者通常 1 天內回覆
-
Regression in 2.4.0: empty constraint tuple in PEP 695 type parameter (`class C[T: ()]`) is no longer reported可能已有人在做 @CheerathAniketh 於 2 天前認領。 未關閉topic-parser topic-pep-695
難度 2/5 1-3 小時 新手友好度 72/100
維護者通常 1 天內回覆
-
bug
難度 2/5 1-3 小時 新手友好度 78/100
維護者通常 1 天內回覆
-
`stubgen --inspect-mode` crashes with `AttributeError on PEP 604 union syntax (X | Y)` *(mypy 2.1.0)*可能已有人在做 @ayushdoesdev 於 69 天前認領。 未關閉bug
難度 2/5 1-3 小時 新手友好度 76/100
維護者通常 1 天內回覆
-
Inconsistent description of `strict_optional`可能已有人在做 @Joosboy 於 86 天前認領。 未關閉documentation
難度 2/5 1-3 小時 新手友好度 72/100
維護者通常 1 天內回覆
相似的 Issue
-
area: agents area: docs good first issue
難度 2/5 1-3 小時 新手友好度 88/100
openapi/gknowledge#23 ·
-
get() for StrEnum可能已有人在做 @FeJo5952 今天認領。 未關閉good first issue
難度 2/5 1-3 小時 新手友好度 72/100
collective/icalendar#1921 · 1 則留言 ·
維護者通常 1 天內回覆
-
Improvement Python Spans
難度 2/5 1-3 小時 新手友好度 68/100
getsentry/sentry-python#7994 · 1 則留言 ·
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 82/100
alphagov/notifications-api#5004 ·
維護者通常 2 天內回覆
-
難度 2/5 1-3 小時 新手友好度 68/100
equinor/radix-flux#3922 ·
維護者通常 1 天內回覆