(🎁) `redundant-expression` doesn't report in `else` branch when both sides are narrowed

def foo() -> bool:
    return None == None

1 == 1
True == False

These codes show no warning about an always true check.

mypy in real life 😳

class Thing:
    thing: str | None
    def something(self, that: Thing) -> bool:
        if self.thing is not None or that.thing is not None:
            return True
        else:
            return self.thing == that.thing  # no error, despite None == None

Would be nice if mypy could report on this code.

Verwende die bereitgestellten foo- und Thing-Beispiele als minimale Reproduktionen und führe anschließend mypy aus, um die fehlende Diagnose im else-Zweig zu bestätigen. Verfolge die beteiligten Narrowing- und Redundant-Expression-Prüfungen; abgeschlossen ist die Aufgabe, wenn die gezeigten Vergleiche, die immer wahr sind, gemeldet werden, ohne das gültige Narrowing-Verhalten zu beeinträchtigen.