steel icon indicating copy to clipboard operation
steel copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Stack references are freeable

Open nikswamy opened this issue 1 year ago • 0 comments

We need a way to distinguish stack references vs heap references to prevent the user from trying to call free on a stack-allocated ref

nikswamy avatar Dec 29 '23 20:12 nikswamy