Skip to content

Fix #653/#654: variable reassignment flow narrowing + widen all enclosing guards on escape#744

Merged
nickna merged 1 commit into
mainfrom
wrk/crazy-elgamal-7bef69
Jun 16, 2026
Merged

Fix #653/#654: variable reassignment flow narrowing + widen all enclosing guards on escape#744
nickna merged 1 commit into
mainfrom
wrk/crazy-elgamal-7bef69

Fix #653/#654: narrow variables across reassignment; widen all enclos…

326c6ba
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar