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

Use the supplied foo and Thing examples as minimal reproductions, then run mypy to confirm the missing diagnostic in the else branch. Trace the narrowing and redundant-expression checks involved; done means the shown always-true comparisons are reported without regressing valid narrowing behavior.