(🐞) unreachable `isinstance` only works with variables

# mypy: warn-unreachable
def foo() -> int: return 1
class A:
     i: int
     foo() -> int: return 1
assert isinstance(1, str)
assert isinstance(1 + 1, str)
assert isinstance(foo(), str)
assert isinstance(A.foo(), str)
assert isinstance(A().foo(), str)
assert isinstance(A().i, str)
a: A
assert isinstance(a.foo(), str)

i = 1    
assert isinstance(i, str)  # error: Subclass of "int" and "str" cannot exist: would have incompatible method signatures  [unreachable]

Commencez par exécuter l’extrait mypy fourni avec warn-unreachable activé et comparez les expressions isinstance qui produisent des diagnostics avec celles qui n’en produisent pas. Suivez le chemin de vérification des types pour les expressions par rapport aux variables ; terminé doit signifier que les expressions équivalentes prévues reçoivent des vérifications cohérentes d’inatteignabilité.