Wrong self type only reported upon call if using VarArgs
還沒有人認領這個 Issue。
評估
研究方向
未指定來源檔案或測試。使用 mypy --strict 執行提供的 Python 3.9 重現程式，然後追蹤對使用 VarArg 註解的方法現有的 self 引數驗證。完成的標準是：預期的 [misc] 診斷在方法定義處回報，而不只是於呼叫方法時回報。
由索引模型根據 Issue 內容生成。
描述
Bug Report
Mypy does not raise an error if a method accepts nothing but a vararg list, but lacks a self parameter or staticmethod decorator.
This behavior is confusing because Mypy does catch wrong self types for regular parameters.
To Reproduce
class Class:
def method(*args: int) -> int:
return sum(args)
print(Class().method(1, 2, 3))
Expected Behavior
foo.py:2: error: Self argument missing for a non-static method (or an invalid type for self) [misc]
Actual Behavior
foo.py:5: error: Invalid self argument "Class" to attribute function "method" with type "Callable[[VarArg(int)], Any]" [misc]
Found 1 error in 1 file (checked 1 source file)
Your Environment
- Mypy version used: 1.7.0
- Mypy command-line flags:
--strict - Mypy configuration options from
mypy.ini(and other config files): none - Python version used: 3.9
- 主要語言
- Python
- 星號
- 20.6k
- 分支
- 3.3k
- 平均合併
- 1 天 18 小時
- 30 天內合併 PR
- 54
貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
python/mypy 的其他 Issue
-
bug
難度 2/5 1-3 小時 新手友好度 75/100
-
bug
難度 2/5 1-3 小時 新手友好度 78/100
-
bug
難度 2/5 1-3 小時 新手友好度 76/100
-
documentation
難度 2/5 1-3 小時 新手友好度 72/100
-
bug topic-configuration topic-error-reporting
難度 2/5 1-3 小時 新手友好度 68/100
相似的 Issue
-
area/auth bug comp/agent P3 platform/discord type/security
難度 2/5 1-3 小時 新手友好度 88/100
NousResearch/hermes-agent#117848 ·
-
難度 2/5 1-3 小時 新手友好度 74/100
bancolombia/sentinel#23 ·
-
test md 未關閉CI
難度 2/5 1-3 小時 新手友好度 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
難度 2/5 1-3 小時 新手友好度 74/100
langchain-ai/deepagents#6450 ·
-
bug client
難度 2/5 1-3 小時 新手友好度 88/100