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

Utilisez les exemples fournis de foo et Thing comme reproductions minimales, puis exécutez mypy pour confirmer le diagnostic manquant dans la branche else. Suivez les vérifications de narrowing et d’expressions redondantes impliquées ; le travail est terminé lorsque les comparaisons montrées qui sont toujours vraies sont signalées sans régression du comportement de narrowing valide.