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

Comienza ejecutando el fragmento de mypy proporcionado con warn-unreachable habilitado y compara las expresiones isinstance que producen diagnósticos y las que no. Sigue el recorrido de comprobación de tipos para las expresiones frente a las variables; completado debe significar que las expresiones equivalentes previstas reciben comprobaciones de inalcanzabilidad coherentes.