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

Commits

Commits on Jun 16, 2026