[ty] more precise tuple addition #25078
[ty] more precise tuple addition
3d87425e
avoid divergence in fixpoint iteration
94ef416f
carljm
marked this pull request as ready for review 71 days ago
cap size of union of tuples
6d27dea6
reduce cap
ef3265cb
carljm
marked this pull request as draft 71 days ago
only collapse unions with many different-length tuples
79b3d20b
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub