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 el ejemplo func1 proporcionado como punto de entrada; compara los diagnósticos de mypy cuando la declaración def y la asignación Callable aparecen en cada orden de las ramas. Se considera terminado cuando se explica el comportamiento diferente y, si se confirma que es un error, ambas ordenaciones están cubiertas por una prueba de regresión.