Inferring an optional type when first initializer uses non-optional type

オープン
#1,735 コメント 6 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
4/5
見積もり時間
3〜5日
初心者へのやさしさ
35/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
停滞
技術スタック
python
領域
compilers

調査の方向性

Reproduce the two examples from the issue with --strict-optional and inspect the type-inference path for conditional assignments. Confirm that both reveal_type calls report Optional[int] rather than producing None compatibility errors; the issue does not name specific files or tests.

索引モデルが issue の本文から書いたものです。

説明

false-positive feature needs discussion priority-0-high topic-inference

In these cases mypy can't infer an optional type when using --strict-optional, even though it likely should:

def f(): pass

y = 1
if f():
    y = None  # None not compatible with int
reveal_type(y)

if f():
    z = 1
else:
    z = None  # None not compatible with int
reveal_type(z)

The desired behavior would be to infer Optional[int] as the type of both y and z.

主要言語
Python
スター
20.6k
フォーク
3.3k
平均マージ
1日 18時間
マージ済み PR（30日）
54

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

python/mypy のほかの issue

python/mypy の issue をすべて見る

似ている issue

Python の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。