[ty] Simplify union lower bounds and intersection upper bounds in constraint sets #21871
simpler bounds
78dc8962
reword comment
eb98a22a
clippy
0c717834
carljm
approved these changes
on 2025-12-09
describe CannotSimplify results
4643f3ff
dcreager
merged
c343e94a
into main 2 days ago
dcreager
deleted the dcreager/die-die-intersections branch 2 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub