fix(ty): aggregate constraints - #2

Merged

andogq merged 12 commits into

mainfrom

fix/aggregate-constraints

Jan 11, 2026

Commits on Jan 7, 2026

fix(thir_gen): build `Constraints` to easily add constraints
andogq
committed
b5a10dd

Commits on Jan 8, 2026

fix(thir): intern `TypeVar`
andogq
committed
07ce9cb
fix(disjoint-set): make `DisjointUnionSet` generic
andogq
committed
6abaac2
feat(ty): add `TupleMergeAndSubstitute` solution
andogq
committed
b80923d
fix(mir-gen): catch mismatched function body type
andogq
committed
0152d2e
fix(solver): use `root.union_sets` more consistently
andogq
committed
30c1ca8
fix(solver): remove redundant return boolean
andogq
committed
b2488a4
fix(solver): combine some merge-and-insert logic
andogq
committed
8e5acc9

Commits on Jan 11, 2026