Partly fails to identify `Self` and `type(self)`
まだ誰も着手していません。
評価
調査の方向性
リンクされている mypy-play の完全なテストケースから始め、Python 3.11 で mypy 1.3.0 を使用して動作を再現します。次に、isinstance(v, type(self)) と Self に対する型の絞り込み処理を追跡します。Self の値に対して、示されている else 分岐が到達不能として正しく拒否され、妥当な分岐は引き続き受け入れられれば完了です。
索引モデルが issue の本文から書いたものです。
説明
In such a method, mypy accepts the call to __set_from_self, so it does recognize that if v has type type(self) then it has type Self. However, it does not understand that the else branch cannot get a Self, as if some objects of type Self would have failed the isinstance(v, type(self)):
def set(self, v: Union[int, str, Self]) -> None:
if isinstance(v, type(self)):
self.__set_from_self(v)
elif isinstance(v, str):
self.__set_from_int(int(v))
else:
self.__set_from_int(v)
It is unfortunate that those two expressions to describe the type of self are different in different contexts, but I believe they are supposed to be otherwise strictly equivalent.
Full test case: https://mypy-play.net/?mypy=latest&python=3.11&gist=27112299a10603d7093c01173808a566
Mypy version used: 1.3.0
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- 平均マージ
- 1日 18時間
- マージ済み PR（30日）
- 54
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- 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
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
zostera/django-bootstrap4#894 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
use-agent-os/agent-os#3276 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
zephyrproject-rtos/zephyr#119726 ·
-
area/auth bug comp/agent P3 platform/discord type/security
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
NousResearch/hermes-agent#117848 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
zilliztech/memsearch#759 ·