Skip to content

Reject stateful programs whose output aliases a state-write source#2713

Open
john-rocky wants to merge 1 commit into
apple:mainfrom
john-rocky:guard-stateful-output-alias-crash
Open

Reject stateful programs whose output aliases a state-write source#2713
john-rocky wants to merge 1 commit into
apple:mainfrom
john-rocky:guard-stateful-output-alias-crash

Commits

Commits on May 22, 2026