(🎁) Error when `__get__` returns incompatible type

未關閉
#17,360 0 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視

還沒有人認領這個 Issue。

評估

難度
4/5
預估耗時
3-5 天
新手友好度
45/100
Issue 類型
缺陷
描述清晰度
基本清楚
活躍度
停滯
技術堆疊
python
領域
tooling

研究方向

以所示的 get 描述器範例為切入點，追蹤 mypy 如何推斷 Something.a 的型別。為不相容的回傳型別加入回歸測試；完成標準是推斷出的型別反映執行時的 int，而不是只回報 A。

由索引模型根據 Issue 內容生成。

描述

feature topic-descriptors topic-runtime-semantics 
class A: ...
class B(A):
    def __get__(self, i, o) -> int:
        return 1
class Something:
    a: A = B()
reveal_type(Something.a)  # Revealed type is "A"

actual value at runtime is int

主要語言
Python
星號
20.6k
分支
3.3k
平均合併
1 天 18 小時
30 天內合併 PR
54

貢獻指南

開啟貢獻指南

從這裡開始

  1. 先讀完整個 Issue，再讀專案的貢獻指南。
  2. 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
  3. Fork 儲存庫，在一個分支上完成修改。
  4. 送出 Pull Request，並在描述裡引用這個 Issue 編號。

python/mypy 的其他 Issue

查看 python/mypy 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。