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

Usa l’esempio func1 fornito come punto di ingresso; confronta le diagnostiche di mypy quando la dichiarazione def e l’assegnazione Callable si verificano in ciascun ordinamento dei rami. Il lavoro è completato quando il comportamento diverso è spiegato e, se viene confermato che si tratta di un bug, entrambi gli ordinamenti sono coperti da un test di regressione.