(🎁) `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.

Usa gli esempi forniti di foo e Thing come riproduzioni minime, quindi esegui mypy per confermare la diagnostica mancante nel ramo else. Traccia i controlli di narrowing e delle espressioni ridondanti coinvolti; il lavoro è completato quando vengono segnalati i confronti mostrati che sono sempre veri senza regredire nel comportamento valido di narrowing.