ruff
[ty] Treat non-empty `range` calls as non-empty for reachability
#25220

Merged

[ty] Treat non-empty `range` calls as non-empty for reachability #25220

charliermarsh merged 10 commits into main from charlie/range

astral-sh-bot added ty

charliermarsh force pushed from c2c2c9f5 to 0595810e 105 days ago

charliermarsh force pushed from 0595810e to da2e3416 105 days ago

AlexWaygood commented on 2026-05-18

charliermarsh force pushed from da2e3416 to 9fa043f8 104 days ago

charliermarsh force pushed from 67746bc3 to dd8a3017 104 days ago

charliermarsh force pushed from dd8a3017 to 5d6e2ef2 104 days ago

charliermarsh force pushed from 5d6e2ef2 to 47ee5ead 104 days ago

charliermarsh force pushed from fa08429e to 31051021 104 days ago

charliermarsh force pushed from 31051021 to 0f26b888 104 days ago

charliermarsh force pushed from 0f26b888 to 9945aba1 104 days ago

charliermarsh force pushed from 9945aba1 to 7938511d 104 days ago

charliermarsh force pushed from 7938511d to 321551da 104 days ago

charliermarsh changed the title ~~[ty] View ecosystem report for non-empty range~~ [ty] Treat non-empty `range` calls as non-empty for reachability 104 days ago

charliermarsh force pushed from 321551da to a90c1368 104 days ago

charliermarsh force pushed from a90c1368 to 9d3860ef 104 days ago

charliermarsh force pushed from 9d3860ef to 667a3fb1 104 days ago

charliermarsh marked this pull request as ready for review 104 days ago

charliermarsh requested a review from

carljm 104 days ago

charliermarsh requested a review from

sharkdp 104 days ago

charliermarsh requested a review from

dcreager 104 days ago

charliermarsh requested a review from

ibraheemdev 104 days ago

astral-sh-bot assigned

carljm 104 days ago

charliermarsh commented on 2026-05-19

charliermarsh requested a review from

AlexWaygood 104 days ago

charliermarsh assigned

AlexWaygood 103 days ago

charliermarsh unassigned

carljm 103 days ago

charliermarsh force pushed from 667a3fb1 to 740c94ba 97 days ago

charliermarsh force pushed from 740c94ba to 5b9c09e1 94 days ago

charliermarsh force pushed from 5b9c09e1 to 53006b1a 93 days ago

charliermarsh force pushed from 53006b1a to 066e6318 88 days ago

charliermarsh force pushed from 066e6318 to 2ae6e9fc 80 days ago

charliermarsh force pushed from 2ae6e9fc to 1b3dc8ef 80 days ago

lerebear removed review request from

dcreager 76 days ago

lerebear removed review request from

carljm 76 days ago

lerebear removed review request from

sharkdp 76 days ago

lerebear removed review request from

ibraheemdev 76 days ago

lerebear unassigned

AlexWaygood 76 days ago

charliermarsh requested a review from

carljm 67 days ago

charliermarsh force pushed from 1b3dc8ef to 9fb12f01 67 days ago

charliermarsh requested a review 67 days ago

carljm approved these changes on 2026-06-25

charliermarsh requested a review 67 days ago

[ty] View ecosystem report for non-empty range

588da633

Support inference

8b1d76f2

Use a known instance type

b7c9cd68

Drop from limit

c70a7f0b

Avoid unknown

fc971625

Hybrid

387921fd

[ty] Fix range reachability CI

d9a15534

[ty] Regenerate lint documentation

b4b8c55d

[ty] Keep range refinements disjoint

96af4163

charliermarsh force pushed from add7d4b8 to 96af4163 67 days ago

[ty] Clarify iterable reachability predicate

ec6058dc

charliermarsh merged bb9e94e3 into main 67 days ago

charliermarsh deleted the charlie/range branch 67 days ago

Reviewers

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Treat non-empty `range` calls as non-empty for reachability #25220 Merged

[ty] Treat non-empty `range` calls as non-empty for reachability #25220

ruff
[ty] Treat non-empty `range` calls as non-empty for reachability
#25220

Merged