ruff
[ty] Specialize bound method overloads from generic protocol receivers
#25388

Open

[ty] Specialize bound method overloads from generic protocol receivers #25388

charliermarsh wants to merge 14 commits into main from charlie/protocol-selfs

astral-sh-bot added ty

charliermarsh force pushed from de9e7edb to 44739701 8 days ago

charliermarsh force pushed from 44739701 to bf47dd05 8 days ago

charliermarsh force pushed from bf47dd05 to a446da0c 8 days ago

charliermarsh force pushed from 8157cf06 to 2a1b3bb3 8 days ago

charliermarsh force pushed from 2a1b3bb3 to 8c363a74 8 days ago

[ty] Narrow bound method overloads

c7ec2231

[ty] Filter invalid bound overload receivers

e1e9ae70

[ty] Require assignable receiver overloads

36097adf

[ty] Leave aliased Self as follow-up

4fc26241

[ty] Preserve bound method overload narrowing after rebase

bf588c86

[ty] Add TODOs for deferred receiver specialization

e12629ac

[ty] Avoid receiver filtering for ordinary overloads

702f1bd0

[ty] Restore receiver filtering comments

5dcb273e

[ty] Explain deferred receiver specialization TODOs

4b8d29df

[ty] Structure receiver overload mdtests

ab671d39

[ty] Remove redundant receiver mdtest prose

a45b350b

[ty] Avoid branch-relative receiver mdtest prose

3c53c5c5

[ty] Assert empty bound receiver overload set

b4d2345d

[ty] Preserve protocol inference

e31d8530

charliermarsh force pushed from 95e97fb5 to e31d8530 7 days ago

Base automatically changed from charlie/bind-selfs to main 4 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

Milestone

No milestone