ruff
[ty] Improve protocol member type checking and relation handling
#18847
Merged
Merged
[ty] Improve protocol member type checking and relation handling #18847
AlexWaygood
merged
14 commits into
astral-sh:main
from
mtshiba:protocol-member-checks
Improve protocol member type checking and relation handling
fd040c49
Update protocols.md
607b0195
Update instance.rs
7a7809e6
Merge remote-tracking branch 'upstream/main' into protocol-member-checks
ab52f9dc
Merge remote-tracking branch 'upstream/main' into protocol-member-checks
db50a0a2
[ty] Implement equivalence for protocols with method members
16e95991
avoiding panics related to recursive protocols (workaround)
65a016e3
check attribute type equivalence and use `Assignability` in `is_disjo…
b93f06a4
Merge remote-tracking branch 'upstream/main' into protocol-member-checks
019a1b05
mtshiba
commented
on 2025-06-27
mtshiba
commented
on 2025-06-27
carljm
commented
on 2025-06-27
fix some bugs
dfcf0e09
AlexWaygood
approved these changes
on 2025-06-27
fix `hasattr` check
874cae65
nitpicks
1da5d998
generalize disjointness logic to non-instance types too
65f5a1bb
nitpicks
0beafecd
AlexWaygood
approved these changes
on 2025-06-29
Login to write a write a comment.
Login via GitHub