ruff
[ty] Exhaustiveness checking & reachability for `match` statements
#19508

Merged

[ty] Exhaustiveness checking & reachability for `match` statements #19508

sharkdp merged 1 commit into main from david/match-exhaustiveness

sharkdp added ty

sharkdp added ecosystem-analyzer

sharkdp changed the title ~~[ty] Exhaustiveness checking / reachability modeling for `match` statements~~ [ty] Exhaustiveness checking & reachability for `match` statements 74 days ago

sharkdp force pushed from 00bd4525 to d2fa2533 74 days ago

sharkdp removed ecosystem-analyzer

sharkdp added ecosystem-analyzer

[ty] Exhaustiveness checking & reachability for match statements

7e70581a

sharkdp force pushed from db907cfc to 7e70581a 74 days ago

sharkdp commented on 2025-07-23

sharkdp marked this pull request as ready for review 74 days ago

sharkdp requested a review from

carljm 74 days ago

sharkdp requested a review from

AlexWaygood 74 days ago

sharkdp requested a review from

dcreager 74 days ago

carljm approved these changes on 2025-07-23

sharkdp merged 2a00eca6 into main 74 days ago

sharkdp deleted the david/match-exhaustiveness branch 74 days ago

Reviewers

carljm

AlexWaygood

dcreager

Assignees

No one assigned

Labels

ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] Exhaustiveness checking & reachability for `match` statements #19508 Merged

[ty] Exhaustiveness checking & reachability for `match` statements #19508

ruff
[ty] Exhaustiveness checking & reachability for `match` statements
#19508

Merged