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

Beginne damit, das bereitgestellte mypy-Snippet mit aktiviertem warn-unreachable auszuführen und die isinstance-Ausdrücke zu vergleichen, die Diagnosen erzeugen bzw. nicht erzeugen. Verfolge den Typprüfpfad für Ausdrücke im Vergleich zu Variablen; abgeschlossen bedeutet, dass die beabsichtigten äquivalenten Ausdrücke konsistente Prüfungen auf Unerreichbarkeit erhalten.