Incompatible types in assignment (expression has type "bool", variable has type "Literal[False]") with nested code

To Reproduce

class Bar:
    def __init__(self, baz: bool) -> None:
        self.baz: bool = baz


def busted(key: int, bar: Bar) -> None:
    b = bar
    if key > 1:
        if b.baz: # No error without this block
            return
        if key != 1:
            baz = b.baz
    if key > 0:
        if key < 5:
            baz = b.baz  # error: Incompatible types in assignment (expression has type "bool", variable has type "Literal[False]")

Expected Behavior
This silly example is the smallest I could trim my real code to. It is a lot of nested if that stores references to bool properties in various levels of nesting. At no point is anything else assigned to the local variable (baz in this example).

Actual Behavior
error: Incompatible types in assignment (expression has type "bool", variable has type "Literal[False]")

Your Environment
mypy --version
mypy 0.981 (compiled: yes)
python --version
Python 3.10.6
Mypy command-line flags: None

Führe zunächst die bereitgestellte Reproduktion mit verschachtelten if-Anweisungen mit mypy 0.981 unter Python 3.10.6 aus und bestätige den Zuweisungsfehler für Literal[False]. Verfolge, wie der Checker den Typ von baz über die bedingten Zweige hinweg ableitet. Erledigt ist dies, wenn die gültige bool-Zuweisung diese Diagnose nicht mehr erzeugt und eine Regressionstestabdeckung für das Beispiel vorhanden ist.