ruff
[red-knot] more type-narrowing in match statements
#17302

Merged

[red-knot] more type-narrowing in match statements #17302

carljm merged 7 commits into astral-sh:main from ericmarkmartin:more-match-narrowing

ericmarkmartin requested a review from

carljm 321 days ago

ericmarkmartin requested a review from

AlexWaygood 321 days ago

ericmarkmartin requested a review from

sharkdp 321 days ago

ericmarkmartin requested a review from

dcreager 321 days ago

ericmarkmartin changed the title ~~More match narrowing~~ [red-knot] more type-narrowing in match statements 321 days ago

AlexWaygood added ty

carljm approved these changes on 2025-04-09

AlexWaygood removed review request from

AlexWaygood 321 days ago

carljm force pushed from 6bb43026 to 3aba9467 321 days ago

add narrowing from guard expressions

418413ea

more match narrowing

8b444e7b

expand comment a bit

a9f4456e

stop visiting case patterns in the no-case-matched path

0fcba9d1

ericmarkmartin force pushed from b1beb27f to 4b090669 312 days ago

ericmarkmartin force pushed from 4b090669 to 33b34d43 312 days ago

cleanup visibility constraint management

35dabdc5

ericmarkmartin force pushed from 33b34d43 to 35dabdc5 312 days ago

re-inline unused method

4cc3753c

remove unnecessary collection of visibility constraint IDs

f65bcc18

carljm approved these changes on 2025-04-18

carljm merged de8f4e62 into main 312 days ago

Reviewers

carljm

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone