ruff
[ty] Perform assignability etc checks using new `Constraints` trait
#19838
Merged

Commits
  • add test cases
    dcreager committed 355 days ago
  • constraints trait
    dcreager committed 355 days ago
  • constraints
    dcreager committed 355 days ago
  • clone instead of copy for pair visitor
    dcreager committed 355 days ago
  • construct visitors with better names
    dcreager committed 355 days ago
  • use constraints for has_relation_to
    dcreager committed 355 days ago
  • use constraints for is_equivalent_to
    dcreager committed 355 days ago
  • use constraints for is_disjoint_from
    dcreager committed 355 days ago
  • not using this yet
    dcreager committed 355 days ago
  • not using this either
    dcreager committed 355 days ago
  • document constraints
    dcreager committed 355 days ago
  • use constraints for is_subclass_of
    dcreager committed 355 days ago
  • less magic for short circuiting
    dcreager committed 353 days ago
  • Merge branch 'main' into dcreager/relation-with-constraints
    dcreager committed 353 days ago
  • Update crates/ty_python_semantic/src/types/constraints.rs
    dcreager committed 353 days ago
  • Merge branch 'main' into dcreager/relation-with-constraints
    dcreager committed 353 days ago
  • rename some methods
    dcreager committed 353 days ago
  • document the module
    dcreager committed 353 days ago
  • fix docs
    dcreager committed 353 days ago
  • Update crates/ty_python_semantic/src/types/constraints.rs
    dcreager committed 353 days ago
  • Apply suggestions from code review
    dcreager committed 353 days ago
Loading