`allow-redefinition` should perform exhaustive branch analysis

def func(item: int) -> None:
    print(item)
    if True:
        item = "amogus"
    else:
        item = "amogus"     

main.py:3: error: Incompatible types in assignment (expression has type "str", variable has type "int")

In this snipped item is exhaustively redefined to str. I think it would be good if mypy could pick up on that.

Empieza reproduciendo el ejemplo con mypy y sigue el manejo de allow-redefinition a través del código de análisis de ramas. Identifica cómo se representan las ramas if exhaustivas y añade cobertura que demuestre que se aceptan redefiniciones idénticas en ambas ramas; el trabajo estará terminado cuando el ejemplo deje de informar de la asignación incompatible, mientras que los casos no exhaustivos conserven sus comprobaciones.