`ClassVar` cannot be overridden with `Final`
オープン
まだ誰も着手していません。
bug
topic-final
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- PR マージ指標
- PR 指標を取得中
説明
Bug Report
A typing.ClassVar cannot be overridden with typing.Final.
main.py:7: error: Cannot override class variable (previously declared on base class "Base") with instance variable [misc]
Found 1 error in 1 file (checked 1 source file)
To Reproduce
import typing
class Base:
value : typing.ClassVar[str]
class Derived(Base):
value : typing.Final[str] = 'derived'
https://mypy-play.net/?mypy=latest&python=3.12&flags=verbose&gist=03819c6e8c7b6fb53baebe094faed123
Expected Behavior
I though using a typing.Final annotation would imply typing.ClassVar.
Actual Behavior
It seems not allowed to override a ClassVar with a Final.
Your Environment
See reproducer.
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
提供されている Python reproducer から始め、mypy が ClassVar を Final アノテーションでオーバーライドする処理を追跡します。想定される型付けの動作を確認し、このケースのカバレッジを追加します。完了の条件は、reproducer が誤ったオーバーライドエラーを報告しなくなり、既存のチェックが引き続き通過することです。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- devtools
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 38/100