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.

Beginne damit, das minimale Python-Beispiel aus dem Issue zu reproduzieren, und untersuche, wie mypy die auf isinstance basierende Eingrenzung für veränderliche Listenelemente behandelt. Im Issue werden keine Quelldateien oder Tests genannt; ermittle daher zuerst den relevanten Einstiegspunkt der Typprüfung und die vorhandenen Tests zur Eingrenzung. Als abgeschlossen gilt die Änderung, wenn das unsichere Beispiel nicht mehr akzeptiert wird, während eine gültige isinstance-Eingrenzung weiterhin unterstützt wird.