Mypy: tell parameter from elif is None without assert

Question

I have a function t.py:

from typing import Optional

def f(a: Optional[int], b: Optional[int]):
    if a i