`possibly-undefined` false positive when assigning variable for every case in match statement for all possible values
まだ誰も着手していません。
評価
調査の方向性
まず、リンクされている mypy playground を使って issue 内の最小限の Python 例を実行し、類似する issue #15958 と動作を比較します。網羅的な Literal の match の後に、mypy が possibly-undefined のチェックをどのように処理するかを追跡します。この例で報告されたエラーが生成されなくなれば完了です。
索引モデルが issue の本文から書いたものです。
説明
# mypy: enable-error-code=possibly-undefined
from typing import Literal
value: Literal[1, 2]
match value:
case 1:
result = 1
case 2:
result = 2
result # error: possibly-undefined
similar issue: #15958 (seems it was only fixed when using assert_never at the end)
- 主要言語
- 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
-
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