false error "Name "..." is not defined" when a valid symbol is used in a type position

オープン

#11,520 2021年11月11日に作成コメント 3 件リアクション 0 件担当者 0 名 GitHub で見る

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

bug diagnostics

説明

from typing import cast

class Test:
    a: int
    
t = Test()

cast(t.a, int)  # error: Name "t.a" is not defined

This leave me being like:

Till I realize that I got the args the wrong way around.

まず、提供された Python スニペットを mypy で再現し、診断結果を cast で使用されている引数の順序と比較します。型位置で使用される式の型チェックパスを追跡します。診断が誤っているかどうかを明らかにして焦点を絞った回帰ケースを定義するか、レポートを無効としてクローズすれば完了です。

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

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