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

Inizia eseguendo la riproduzione fornita con if annidati usando mypy 0.981 su Python 3.10.6 e conferma l'errore di assegnazione di Literal[False]. Traccia il modo in cui il checker inferisce il tipo di baz nei vari rami condizionali. Il lavoro è completato quando l'assegnazione valida di bool non produce più questa diagnostica e l'esempio dispone di una copertura di regressione.