Inconsistent behavior with function / callable overrides

Mypy appears to allow a callable variable to be overridden by a function declaration (a symbol defined using def statement) if the signatures match and they are in different suites (e.g. one in the "if" block and the other in an "else" block). If the order is reversed, mypy generates an error.

Is this intended or a bug? It strikes me as inconsistent.

def func1(cond: bool):
    if cond:
        def a(a: int, /) -> None:
            return None

        b: Callable[[int], None] = lambda a: None

    else:
        a: Callable[[int], None] = lambda a: None  # Mypy error: Name "a" already defined

        def b(a: int, /) -> None:
            return None

Verwende das bereitgestellte func1-Beispiel als Einstiegspunkt; vergleiche die Diagnosen von mypy, wenn die def-Deklaration und die Callable-Zuweisung in jeder Reihenfolge der Zweige auftreten. Als erledigt gilt die Aufgabe, wenn das unterschiedliche Verhalten erklärt ist und, falls es sich als Fehler bestätigt, beide Reihenfolgen durch einen Regressionstest abgedeckt sind.