`--warn-unreachable` doesn't flag unnecessary comparison to `None`

Here is a full example:

from random import randrange



def f(x: int) -> int | None:

    return None if x == 0 else 2 * x



def g(x: int) -> int:

    return 2 * x



if __name__ == '__main__':

    if f(randrange(10)) is None:

        print('f: got 0')



    if g(randrange(10)) is None:  # <-- unreachable but not flagged

        print('g: got 0')

mypy --strict --warn-unreachable does not raise any warnings, but it should. So this is a FALSE NEGATIVE bug. Or a new feature, whatever, but in any case this situation should be flagged.

Originally posted by @nickdrozd in #18386

This might be intentional, but I think it's counterintuitive and I can't really see a benefit. Making an issue to make sure I get around to investigating this.

Beginne damit, das bereitgestellte Beispiel mit mypy --strict --warn-unreachable nachzustellen, und bestätige, dass der Vergleich mit g nicht gemeldet wird. Verfolge die --warn-unreachable-Analyse für Vergleiche mit None; als erledigt gilt die Aufgabe, wenn der unnötige Vergleich diagnostiziert wird, ohne den erreichbaren Vergleich mit f fälschlicherweise zu markieren.