PR #23784 [ty] Fix overflow with recursive `TypeIs`

[ty] Fix overflow with recursive `TypeIs` #23784

carljm merged 8 commits into main from charlie/recursive-type

charliermarsh force pushed from dc4f49d6 to c70f7e61 108 days ago

charliermarsh added bug

charliermarsh added ty

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

charliermarsh requested a review from

carljm 108 days ago

charliermarsh requested a review from

AlexWaygood 108 days ago

charliermarsh requested a review from

sharkdp 108 days ago

charliermarsh requested a review from

dcreager 108 days ago

charliermarsh requested a review from

ibraheemdev 108 days ago

astral-sh-bot assigned

ibraheemdev 108 days ago

carljm commented on 2026-03-07

carljm dismissed these changes on 2026-03-07

charliermarsh marked this pull request as draft 107 days ago

charliermarsh force pushed from c70f7e61 to 46858374 107 days ago

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

charliermarsh force pushed from 46858374 to ce1d3953 107 days ago

charliermarsh marked this pull request as draft 107 days ago

charliermarsh force pushed from ce1d3953 to e2fd937b 107 days ago

charliermarsh force pushed from e2fd937b to a1eb0cb5 107 days ago

[ty] Fix overflow with recursive TypeIs

21299729

Fix case

173f76d5

Revert "Fix case"

fc72c7bd

Revert "[ty] Fix overflow with recursive TypeIs"

a51d5cc0

Revise implementation

5b406fff

Revert "Revise implementation"

82824388

Try a third implementation

e88df170

charliermarsh force pushed from a1eb0cb5 to e88df170 103 days ago

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

charliermarsh requested a review from

carljm 103 days ago

ibraheemdev commented on 2026-03-13

less special-casing in cycle_normalized

74fdab53

carljm requested a review from

ibraheemdev 101 days ago

carljm removed review request from

carljm 101 days ago

carljm dismissed their stale review 101 days ago

Fixed the mentioned issues

ibraheemdev approved these changes on 2026-03-16

carljm merged cbc17b2c into main 99 days ago

carljm deleted the charlie/recursive-type branch 99 days ago

Reviewers

ibraheemdev

carljm

AlexWaygood

sharkdp

dcreager

Assignees

ibraheemdev

Labels

bug ty

Milestone

No milestone

ruff [ty] Fix overflow with recursive `TypeIs` #23784 Merged

[ty] Fix overflow with recursive `TypeIs` #23784

ruff
[ty] Fix overflow with recursive `TypeIs`
#23784

Merged