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

まず、warn-unreachableを有効にして提供されたmypyスニペットを実行し、診断が生成されるisinstance式と生成されないisinstance式を比較します。式と変数それぞれの型チェックの経路を追跡します。完了とは、意図された同値な式に一貫した到達不能チェックが行われることを意味します。