Support early return code using "and return" #828

tk0miya · 2023-07-01T07:14:01Z

Do type narrowing if an early return statement uses "and return".

ex:

render and return unless user

refs: #824

Do type narrowing if an early return statement uses "and return". ex: render and return unless user refs: soutaro#824

soutaro

Thanks! Merging this for now, while I found some improvements and I will fix later.

Support early return code using "and return"

09406fd

Do type narrowing if an early return statement uses "and return". ex: render and return unless user refs: soutaro#824

soutaro approved these changes Jul 3, 2023

View reviewed changes

soutaro merged commit 5344252 into soutaro:master Jul 3, 2023

tk0miya deleted the support_and_return branch July 3, 2023 09:51

soutaro added this to the Steep 1.5 milestone Jul 5, 2023

soutaro added the Released The PR is already included in a published release label Jul 5, 2023

tk0miya mentioned this pull request Jul 5, 2023

Steep does not do type narrowing if early return code uses "and return" #824

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Support early return code using "and return" #828

Support early return code using "and return" #828

tk0miya commented Jul 1, 2023

soutaro left a comment

Support early return code using "and return" #828

Support early return code using "and return" #828

Conversation

tk0miya commented Jul 1, 2023

soutaro left a comment

Choose a reason for hiding this comment