[ty] Narrow bound method overloads by receiver #24707
charliermarsh
marked this pull request as ready for review 60 days ago
charliermarsh
marked this pull request as ready for review 59 days ago
carljm
requested changes
on 2026-04-26
charliermarsh
marked this pull request as ready for review 53 days ago
charliermarsh
marked this pull request as ready for review 53 days ago
charliermarsh
marked this pull request as ready for review 53 days ago
charliermarsh
marked this pull request as ready for review 49 days ago
charliermarsh
marked this pull request as ready for review 49 days ago
charliermarsh
marked this pull request as ready for review 37 days ago
charliermarsh
marked this pull request as ready for review 25 days ago
charliermarsh
marked this pull request as ready for review 24 days ago
carljm
approved these changes
on 2026-05-29
[ty] Narrow bound method overloads
77c1b7b5
[ty] Filter invalid bound overload receivers
5d88109e
[ty] Require assignable receiver overloads
f91626bc
[ty] Leave aliased Self as follow-up
a41ea481
[ty] Preserve bound method overload narrowing after rebase
19d63e70
[ty] Add TODOs for deferred receiver specialization
28fbfd25
[ty] Avoid receiver filtering for ordinary overloads
21229dcd
[ty] Restore receiver filtering comments
684fb00d
[ty] Explain deferred receiver specialization TODOs
09b51850
[ty] Structure receiver overload mdtests
4d0bdcff
[ty] Remove redundant receiver mdtest prose
219448b1
[ty] Avoid branch-relative receiver mdtest prose
6528e9aa
[ty] Assert empty bound receiver overload set
853964d7
[ty] Preserve literal-string iterable inference
15bd503e
[ty] Revert LiteralString iterable inference follow-up
f15639b1
[ty] Preserve protocol inference during bound overload filtering
a41b3362
Preserve literals
f4128705
Add IDE tests
f4999738
Add override tests to lock-in behavior
e5f61fd4
Add TODOs
b5e051e9
Move TODO
007481d8
Remove string special-casing
348213d5
Login to write a write a comment.
Login via GitHub