Mypy treating type of final class variable in dataclass as Any
まだ誰も着手していません。
評価
調査の方向性
issue にある最小の再現例、またはその mypy-play リンクから始め、reveal_type の実行時に dataclass の処理が ClassVar[Final[...]] をどのように扱うかを追跡します。mypy が Foo.cv について dict[type[Bar], Foo] を報告し、その挙動が回帰テストでカバーされれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Bug Report
from dataclasses import dataclass
from typing import ClassVar, Final, reveal_type
class Bar: pass
@dataclass
class Foo:
cv: ClassVar[Final[dict[type[Bar], Foo]]] = {}
reveal_type(Foo.cv)
$ mypy test.py
test.py:10: note: Revealed type is "Any"
Success: no issues found in 1 source file
The correct type of Foo.cv is builtins.dict[type[Bar], Foo].
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.14&gist=2fad4ef5fded90ecaeb0f1d1e59d882a
Expected Behavior
reveal_type should report the correct type for the class variable.
Actual Behavior
reveal_type showed incorrect type (Any).
Your Environment
- Fedora 44
python3-mypy-1.18.2-4.fc44.noarch(reproducible with Mypy 2.3.1)python3-3.14.6-1.fc44.x86_64- No config files used
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- 平均マージ
- 1日 12時間
- マージ済み PR（30日）
- 58
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/mypy のほかの issue
-
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
-
bug topic-attrs
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
anthropics/skills#1811 · コメント 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
speaches-ai/speaches#678 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
datalayer/mcp-compose#42 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
conda-forge/spacy-feedstock#177 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
UKGovernmentBEIS/inspect_evals#2523 ·