Incomplete inference of extracted values from union of tuples

I expect this is a feature request, though it's possible it indicates a bug.

from typing import Union, Tuple

def func() -> Union[Tuple[None, None], Tuple[int, int]]:
    ...

a, b = func()

if a:
    print(a + b)

if a is not None:
    print(a + b)

# Unsupported operand types for + ("int" and "None")
# Right operand is of type "Optional[int]"

Both if tests result in the same behaviour.

Ideally I'd like mypy to know that the test here for a is sufficient to also know that b cannot be None (due to the way that Union works).

Not sure if this is asking too much though.

Python 3.6, mypy 0.770, also master (at 2a3de7b7941f24b6bc53fe0cf8a2b7f8f7fd4e15)

mypy を使って Python の例を再現し、タプルのユニオンから推論された値に対する 2 つのチェックの診断結果を比較します。タプル・ユニオンの推論に関係する型の絞り込みのエントリーポイントを調査します。両方のチェックで b が int であることが確立され、サポートされていないオペランド型が報告されなくなれば完了です。