Back to tool/Back to issues

#3689·pyrefly

`unreachable` doesn't work with `if` statements

Author: DetachHeadCreated Jun 4, 2026Updated Sep 21, 2026

Labelstypechecking

Describe the Bug

python

if False:
    print("unreachable") # no error

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIEYABAGKpRwyIA661H1xAThOgC4AKFiACu6bjFQBjABapssEQEoQAGhBlJYKKUL9cAWygUy-WbnQBaAG4xucCJeoBeaiIDMhAIwAWEWw88DD8ru4gcPy80vwB6ADa9ty4DgC6bJgwQdKo-DCYYSJJKSLu6BCGxFAQ0hD8VgqR3DL10lCocHCFIMXccRVVNXVWAymhbkXcyX0gZQPVtfy6VpmQ6PkN-FEQ2KJ53b1xhhCdfADmVnC4otzSMAdTJSBs6JZWMPjyopEQdlaGuTkD2mcVe9UkAEdRBBJJgrABrGCkBrSO6dYFPNi4YgwaziYgyeHnDEzMqw8SYDCtDrjcKHWZsclYKlWaSWTB1JzsCY9R6ktjidZotDcZFsyqoXhXbl0vmlAXoIXwEXI-ikHGsyx2Bxckny9DiSQyeSKe48%2BllQ1SOQKWD-QGyVkdM2ykEMg0SeC4KA2W0wFYU%2BwNKBQPXu8RqnFw0bcWmTN2Wg1MaNnV6SMNlX28DB3f4nAH8IHmuXuvi%2B6pwzJs5oGbhhkAAXw0LV%2BMFo0BgFDQWDwRDIjaAA

(Only applicable for extension issues) IDE Information

No response

Source: facebook/pyrefly

View original on GitHub View discussion on GitHub