(inter-)dependent variable types

I'm not sure how to entitle this, but I think it's a dependent type.

• Are you reporting a bug, or opening a feature request? yes
• Please insert below the code you are checking with mypy,
  or a mock-up repro if the source is private. We would appreciate
  if you try to simplify your case to a minimal repro.

from typing import Tuple, Union

def x() -> Union[Tuple[int, int], Tuple[str, str]]:
    ...

a, b = x()

if isinstance(b, int):
    reveal_type(a) # can only be int but is reported as Union[int, str]

• What is the actual behavior/output?
  type is reported as Union[int, str]
• What is the behavior/output you expect?
  type of a can only be int given the return type signature
• What are the versions of mypy and Python you are using? 7.20
  Do you see the same issue after installing mypy from Git master? yes
• What are the mypy flags you are using? (For example --strict-optional)
  python_version=3.7

I'm assuming this would be a difficult change, but I figured I'd open an issue for the sake of having a record, and in the meantime I can use assert isinstance()

issue にある最小限の Python 再現コードから始め、指定された Python 3.7 構成で現在の reveal_type の出力を確認します。b を int に絞り込むと a も int に絞り込まれ、対応する str のケースと、無関係な union に対する既存の動作が維持されれば、変更は完了です。