Can't convert from Tuple of optional to Tuple of non-optional

Code:

from typing import Tuple, Optional

a: Tuple[Optional[int], Optional[int]] = (1, 1)
b: Tuple[int, int]
if a[0] is not None and a[1] is not None:
    b = a

After that has error:

script.py:6: error: Incompatible types in assignment (expression has type "Tuple[Optional[int], Optional[int]]", variable has type "Tuple[int, int]")

Expected no error.
I have: mypy-0.770 and Python 3.7.7

示されている Tuple と Optional のアノテーションを使い、mypy で script.py の報告されたエラーを再現してください。2 回の None チェックの後に mypy がタプル要素をどのように絞り込むかを調査し、b への代入が incompatible-types エラーなしで受け入れられれば作業完了としてください。