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

提供されている foo と Thing の例を最小限の再現ケースとして使用し、次に mypy を実行して else 分岐で診断が欠落していることを確認します。関係する narrowing と冗長な式のチェックを追跡します。完了の条件は、妥当な narrowing の動作を後退させることなく、示されている常に真となる比較が報告されることです。