MyPy incorrectly tracks attribute type in chained ifs with assignment

$ cat b.py 
from typing import Optional

class A:
    x: Optional[str]

def f(a: A) -> None:
    if not a.x:
        pass
    elif a.x == "x":
        a = A()
    else:
        y: str = a.x

$ mypy b.py 
b.py:12: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")

$ mypy --version
mypy 0.701

The assignment a = A() should not affect the code in the else branch.

Reproduziere die Diagnose mit b.py unter Verwendung von mypy 0.701 und verfolge dann die Typverengung durch das verkettete if/elif/else und die Neuzuweisung von a. Als erledigt gilt die Aufgabe, wenn die abschließende Zuweisung an y akzeptiert wird und a.x als str behandelt wird, ohne das gemeldete Verhalten der anderen Zweige zu ändern.