(🐞) 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]

Inizia eseguendo lo snippet mypy fornito con warn-unreachable abilitato e confronta le espressioni isinstance che producono diagnostica con quelle che non ne producono. Segui il percorso del controllo dei tipi per le espressioni rispetto alle variabili; completato deve significare che le espressioni equivalenti previste ricevono controlli coerenti di irraggiungibilità.