Skip to content

[ty] avoid unions of generic aliases of the same class in fixpoint#21909

Merged
carljm merged 2 commits intomainfrom
cjm/nounion
Dec 11, 2025
Merged

[ty] avoid unions of generic aliases of the same class in fixpoint#21909
carljm merged 2 commits intomainfrom
cjm/nounion

Commits

Commits on Dec 11, 2025