[ty] Optional lower/upper bounds in individual constraints #25435
dcreager
merged
16 commits into
main
from
dcreager/optional-bounds
[π] Plan Option-backed constraint bounds
c1672121
[π] Introduce optional constraint bounds
3016316d
[π] Preserve optional constraint bounds through solving
8f322f31
[π] Mitigate evidence-bearing OR blowups
9ad1246d
[π] Consolidate path-bound representations
d7a32324
[π] Rename unique constraint traversal
7ff26a07
[π] Use direct ConstraintBounds fields
3c73e946
[π] Store ConstraintBounds in Constraint
1a547829
[π] Remove redundant Never promotion guard
7db5f3c6
clean up the diff a bit
f6491e89
don't need to dedup constraints twice
62d72bb9
[π] Remove out-of-scope sequent implications
92e4e9b0
merge main
a5d1046c
if let guards are still experimental in MSRV
7d2d8a2d
[π] Add mdtests for upper-bound overfitting
2b1eb7d2
remove completed plan
dc5f74b3
charliermarsh
commented
on 2026-06-02
charliermarsh
approved these changes
on 2026-06-02
Reviewers
Assignees
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub