ruff
[ty] Avoid repeated subtyping checks for materialized recursive protocols
#28774

Merged

[ty] Avoid repeated subtyping checks for materialized recursive protocols #28774

ibraheemdev merged 1 commit into main from ibraheem/materialized-protocol-subtyping

ibraheemdev added ty

ibraheemdev force pushed from 3853db44 to e46cb33b 13 days ago

ibraheemdev force pushed from e46cb33b to 4b74f306 13 days ago

ibraheemdev marked this pull request as ready for review 13 days ago

ibraheemdev requested a review 13 days ago

astral-sh-bot requested a review from

sharkdp 13 days ago

ibraheemdev force pushed from 4b74f306 to f11d9c8a 13 days ago

ibraheemdev force pushed from f11d9c8a to 3ef290be 13 days ago

sharkdp approved these changes on 2026-09-22

avoid repeated subtyping checks for materialized recursive protocols

ff34f157

ibraheemdev changed the base branch from ibraheem/gradual-impliciation to main 12 days ago

ibraheemdev force pushed from cf2d4308 to ff34f157 12 days ago

ibraheemdev merged d1e47fbf into main 12 days ago

ibraheemdev deleted the ibraheem/materialized-protocol-subtyping branch 12 days ago

Reviewers

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone