Unsound typing using isinstance

isinstance make mypy assume a too strong hypothesis on the type of the value, for example:

def foo(t : list[int | str]) -> int :
  assert(isinstance(t[0], int))
  t[0] = "coucou"
  return t[0]

x : list[int | str] = [1, 2]
foo(x)

typechecks correctly while the type annotation is not correct.

まず、issue にある最小限の Python の例を再現し、mypy が可変なリスト要素に対する isinstance ベースの絞り込みをどのように処理するかを調査します。issue にはソースファイルやテストが指定されていないため、まず関連する型チェックのエントリーポイントと既存の絞り込みテストを見つけてください。完了の条件は、安全でない例が受け入れられなくなる一方で、有効な isinstance による絞り込みは引き続きサポートされることです。