[ty] Correct Self binding for intersection refinements #25705
charliermarsh
wants to merge
19 commits into
main
from
charlie/correct-self-binding-intersection-refinements
astral-sh-bot
changed the title
Correct Self binding for intersection refinements
4d0f28d0
Preserve nominal exclusions when binding Self
65dcbb7e
Preserve Self in generic method defaults
84c67aa3
Preserve Self owners across overloads
13f186f1
Bind protocol-owned Self in properties
bc1dd420
Bind Self in generic defaults
d4a77dce
Avoid leaking Self from aliased methods
a94601bc
Bind Self in bound method generic defaults
1b2b3b43
Bind classmethod Self defaults to instances
fe894127
Preserve dependent generic Self defaults
2c4fa53c
Preserve tuple class information for Self
92952be9
Consolidate bound method Self preparation
96f6dd03
Preserve intersection receivers for classmethod Self
f6c92e5b
Widen literal receivers when binding Self
f08c4fa2
Widen literal-constrained receivers for Self
b7d38b67
Recognize union-bounded Self owners
5b8f2124
Simplify Self binding implementation
d6601481
Preserve generic constraints when binding Self
7fd36183
Simplify generic Self constraint handling
d6c99c88
Reviewers
No reviews
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub