[ty] Preserve constraints from bound receivers #26776
charliermarsh
merged
10 commits into
main
from
charlie/bound-method-binding-constraints
Base automatically changed from
charlie/constraint-set-universal-quantification
to
main
30 days ago
dcreager
approved these changes
on 2026-07-15
[ty] Preserve constraints from bound receivers
f4f3b196
[ty] Enforce declared receiver TypeVar domains
abf1a999
[ty] Defer receiver TypeVar domain enforcement
4b56bd52
[ty] Check receiver bindings outside overload aggregation
9410d371
[ty] Traverse bound receiver constraints
9d202c84
[ty] Preserve class receivers in protocol comparisons
f9af97c8
[ty] Represent bound receiver constraints with OwnedConstraintSet (#2…
acfe2512
[ty] Address bound receiver review feedback
41f9bf87
[ty] Require bound receiver overloads to always match
4c7d615a
[ty] Keep bound receiver constraints borrowed
cc8d1c7e
Login to write a write a comment.
Login via GitHub