Skip to content

vir: catch delayed-init reassignment for ghost/tracked locals - #2867

Draft
Marti2203 wants to merge 4 commits into
verus-lang:mainfrom
Marti2203:fix-issue-2865-ghost-mut-check
Draft

vir: catch delayed-init reassignment for ghost/tracked locals#2867
Marti2203 wants to merge 4 commits into
verus-lang:mainfrom
Marti2203:fix-issue-2865-ghost-mut-check

vir: catch delayed-init reassignment for ghost/tracked locals

05eadea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
full-test
succeeded Aug 30, 2026 in 27m 35s