`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.

Beginne damit, das Beispiel mit mypy zu reproduzieren, und verfolge die Behandlung von allow-redefinition durch den Code zur Verzweigungsanalyse. Ermittle, wie erschöpfende if-Zweige dargestellt werden, und füge eine Abdeckung hinzu, die zeigt, dass identische Neudefinitionen in beiden Zweigen akzeptiert werden; abgeschlossen ist die Arbeit, wenn das Beispiel die inkompatible Zuweisung nicht mehr meldet, während nicht erschöpfende Fälle ihre Prüfungen beibehalten.