False positive with warn-unreachable and no-strict-optional

[Garrett-R]

Bug Report

Mypy warns that a line is unreachable, when it actually is reachable. I don't think this is a Typeshed issue given the typing looks fine there.

To Reproduce

Mypy playground. Repeated here for convenience:

import re

if not re.search('a', 'b'):
    print('no match')  # This is indeed reachable!

Expected Behavior

No Mypy errors

Actual Behavior

Says the print statement is unreachable, yet if you execute the code, it'll hit the print line.

Your Environment

• Mypy version used: 1.8.0
• Mypy command-line flags: --no-strict-optional, --warn-unreachable
• Python version used: 3.12

[AlexWaygood]

Duplicate of #16718