(🎁) `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 los ejemplos proporcionados de foo y Thing como reproducciones mínimas y luego ejecuta mypy para confirmar el diagnóstico que falta en la rama else. Rastrea las comprobaciones de narrowing y de expresiones redundantes involucradas; se considera terminado cuando se informan las comparaciones mostradas que siempre son verdaderas sin hacer que el comportamiento válido de narrowing deje de funcionar.