ruff
[ty] Perform assignability etc checks using new `Constraints` trait
#19838
Merged
Merged
[ty] Perform assignability etc checks using new `Constraints` trait #19838
dcreager
merged
21 commits into
main
from
dcreager/relation-with-constraints
Base automatically changed from
dcreager/inferrable
to
main
188 days ago
add test cases
9b2398b0
constraints trait
28c02410
constraints
2ff4305a
clone instead of copy for pair visitor
3b9db67a
construct visitors with better names
912c1fdd
use constraints for has_relation_to
1e5c45d5
use constraints for is_equivalent_to
043e15a5
use constraints for is_disjoint_from
cf6b15a4
not using this yet
3c4aa51a
not using this either
29723245
document constraints
7499478d
dcreager
commented
on 2025-08-19
dcreager
changed the title
use constraints for is_subclass_of
a1efedb9
less magic for short circuiting
38b8d13b
Merge branch 'main' into dcreager/relation-with-constraints
5ac04674
carljm
approved these changes
on 2025-08-21
Update crates/ty_python_semantic/src/types/constraints.rs
8188a891
Merge branch 'main' into dcreager/relation-with-constraints
bd4e27a1
AlexWaygood
commented
on 2025-08-21
rename some methods
744af0c8
document the module
86bd115e
fix docs
4b469dae
Update crates/ty_python_semantic/src/types/constraints.rs
1a380f39
Apply suggestions from code review
f10babf6
Login to write a write a comment.
Login via GitHub