`--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.

Bắt đầu bằng cách tái hiện ví dụ được cung cấp với mypy --strict --warn-unreachable và xác nhận rằng phép so sánh liên quan đến g không được báo cáo. Truy vết quá trình phân tích --warn-unreachable đối với các phép so sánh với None; được xem là hoàn tất khi phép so sánh không cần thiết được chẩn đoán mà không đánh dấu sai phép so sánh có thể đạt tới liên quan đến f.