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.

Comienza reproduciendo el ejemplo mínimo de Python del issue e inspecciona cómo mypy gestiona el estrechamiento basado en isinstance para elementos de listas mutables. El issue no menciona archivos fuente ni tests; por tanto, localiza primero el punto de entrada relevante de la comprobación de tipos y los tests existentes de estrechamiento. Se considera terminado cuando el ejemplo no seguro deja de aceptarse, mientras que el estrechamiento válido mediante isinstance sigue siendo compatible.