Allow proof blocks inside proof fn (fixes #2061)#2249

nitrotap wants to merge 1 commit into

verus-lang:mainverus-lang/verus:mainfrom

nitrotap:fix/issue-2061-proof-block-in-proof-fnnitrotap/verus:fix/issue-2061-proof-block-in-proof-fnCopy head branch name to clipboard