ruff
[ty] Add disjointness for protocol method members
#25315

Merged

[ty] Add disjointness for protocol method members #25315

charliermarsh merged 1 commit into main from charlie/non-never

charliermarsh

astral-sh-bot

astral-sh-bot added ty

astral-sh-bot

astral-sh-bot

astral-sh-bot

charliermarsh

charliermarsh force pushed from 4d33c606 to f3df1ce5 177 days ago

charliermarsh

charliermarsh changed the title ~~[ty] View ecosystem results for non-never disjointness~~ [ty] Add disjointness for protocol method members 177 days ago

charliermarsh

charliermarsh commented on 2026-05-22

charliermarsh

charliermarsh force pushed from 86a436a7 to 86d8a90a 177 days ago

charliermarsh

charliermarsh force pushed from 86d8a90a to 617e16c4 177 days ago

charliermarsh

charliermarsh commented on 2026-05-22

charliermarsh

charliermarsh force pushed from 617e16c4 to 43fb9d35 177 days ago

charliermarsh

charliermarsh force pushed from 94a4ba2d to 43fb9d35 177 days ago

charliermarsh

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

charliermarsh

charliermarsh requested a review from

carljm

carljm 177 days ago

charliermarsh

charliermarsh requested a review from

AlexWaygood

AlexWaygood 177 days ago

charliermarsh

charliermarsh requested a review from

sharkdp

sharkdp 177 days ago

charliermarsh

charliermarsh requested a review from

dcreager

dcreager 177 days ago

charliermarsh

charliermarsh requested a review from

ibraheemdev

ibraheemdev 177 days ago

astral-sh-bot

astral-sh-bot assigned

dcreager

dcreager 177 days ago

charliermarsh

charliermarsh assigned

AlexWaygood

AlexWaygood 177 days ago

charliermarsh

charliermarsh unassigned

dcreager

dcreager 177 days ago

charliermarsh

charliermarsh force pushed from 43fb9d35 to 7a2dcf79 176 days ago

charliermarsh

charliermarsh force pushed from 7a2dcf79 to 5153c2b5 173 days ago

charliermarsh

charliermarsh force pushed from 5153c2b5 to d9f11964 171 days ago

charliermarsh

charliermarsh force pushed from d9f11964 to 3921ec44 171 days ago

charliermarsh

charliermarsh commented on 2026-05-28

charliermarsh

charliermarsh force pushed from 3921ec44 to 14361111 171 days ago

charliermarsh

charliermarsh force pushed from 14361111 to 58247e2f 170 days ago

charliermarsh

charliermarsh force pushed from 58247e2f to 7bd614b6 169 days ago

charliermarsh

charliermarsh force pushed from 7bd614b6 to 9a39019d 169 days ago

charliermarsh

charliermarsh force pushed from 9a39019d to 248cd6cc 169 days ago

codspeed

AlexWaygood

AlexWaygood approved these changes on 2026-05-30

charliermarsh

[ty] Check protocol method return types for disjointness

a30f5b93

charliermarsh

charliermarsh force pushed from 248cd6cc to a30f5b93 169 days ago

charliermarsh

charliermarsh

charliermarsh merged dba3619f into main 169 days ago

charliermarsh

charliermarsh deleted the charlie/non-never branch 169 days ago

carljm

Login to write a write a comment.

Login via GitHub

Reviewers

AlexWaygood

AlexWaygood

carljm

carljm

sharkdp

sharkdp

dcreager

dcreager

ibraheemdev

ibraheemdev

Assignees

AlexWaygood

AlexWaygood

Labels

ty

Milestone

No milestone