Skip to content

[ty] avoid fixpoint unioning of types containing current-cycle Divergent#21910

Merged
carljm merged 2 commits intomainfrom
cjm/nodiv
Dec 12, 2025
Merged

[ty] avoid fixpoint unioning of types containing current-cycle Divergent#21910
carljm merged 2 commits intomainfrom
cjm/nodiv

Commits

Commits on Dec 11, 2025

Commits on Dec 12, 2025