ruff
[ty] Only consider a type `T` a subtype of a protocol `P` if all of `P`'s members are fully bound on `T`
#18466
Merged
Merged
[ty] Only consider a type `T` a subtype of a protocol `P` if all of `P`'s members are fully bound on `T` #18466
AlexWaygood
merged
2 commits into
main
from
alex/proto-subtyping-boundness
[ty] Only consider a type `T` a subtype of a protocol `P` if all of `…
489615fa
carljm
approved these changes
on 2025-06-04
Update crates/ty_python_semantic/src/types/instance.rs
b02be172
Login to write a write a comment.
Login via GitHub