ruff
[ty] Use partial-order-friendly representation of typevar constraints
#20306
Merged
Overview
Commits
17
Changes
View On GitHub

[ty] Use partial-order-friendly representation of typevar constraints #20306

dcreager merged 17 commits into main from dcreager/incomparable
dcreager
dcreager intersection and negation on new constraints
631e5833
dcreager union on new constraints
763427fa
dcreager use new constraints
2b547205
dcreager remove old constraints
1340f77a
dcreager clippy
81e583a0
dcreager helper method
f441ef3a
dcreager these constraints aren't new anymore
d4cb628f
dcreager update docs
629926b1
dcreager dcreager requested a review from carljm carljm 325 days ago
dcreager dcreager requested a review from AlexWaygood AlexWaygood 325 days ago
dcreager dcreager requested a review from sharkdp sharkdp 325 days ago
dcreager dcreager added internal
dcreager dcreager added ty
github-actions
github-actions
dcreager remove moot debug_asserts
08b51cd9
dcreager bottom → top
fa65020c
dcreager never/object are comparable to everything
accb788a
dcreager another range and incomparable simplification
da238419
carljm
carljm approved these changes on 2025-09-08
AlexWaygood AlexWaygood removed review request from AlexWaygood AlexWaygood 325 days ago
dcreager fix range/incomparable intersection
3dff4db1
dcreager add case for range/neq intersection
8f609e51
dcreager mention incomparable
663ded6c
dcreager "atomic constraint" -> "individual constraint"
82fd398d
dcreager
dcreager standardize on "incomparable"
6260b3ef
carljm
carljm approved these changes on 2025-09-09
dcreager dcreager merged ed06fb5c into main 324 days ago
dcreager dcreager deleted the dcreager/incomparable branch 324 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
internal ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum