Difference between `builtins.type` and `Type[Any]`
まだ誰も着手していません。
評価
調査の方向性
まず、リンクされた mypy playground で不一致を再現し、指定された Python および mypy のバージョンで builtins.type と Type[Any] を比較します。SupportsStr プロトコルに対して各型がどのように解釈されるかを追跡し、文書化された同等性を考慮します。その期待どおりに動作し、回帰テストでカバーされれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Bug Report
I have a protocol:
class SupportsStr(Protocol):
def __str__(self) -> str:
...
Surprisingly, builtins.type is compliant with this, while Type[Any] isn't.
To Reproduce
Link to mypy playground: https://mypy-play.net/?mypy=latest&python=3.11&gist=355a1b96812a523f6e374eb8ca6f4635
Expected Behavior
I would think both should be compliant, given that the typing.Type docs states that:
Type[Any]is equivalent to Type which in turn is equivalent to type, which is the root of Python’s metaclass hierarchy.
Actual Behavior
Surprisingly, builtins.type is compliant with this, while Type[Any] isn't.
Your Environment
See link to mypy playground.
Mypy 0.960 and python 3.11
- 主要言語
- 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 🔔 Pending processing
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
jumpserver/jumpserver#17584 ·
-
link-check link-check:sphinx-theme
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
modelscope/DiffSynth-Studio#1702 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
qgis/QGIS-Documentation#11275 ·
-
bug priority:normal ready-for-dev
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
OpenHands/extensions#626 · コメント 1 件 ·