Fix soundness: use raw pointers instead of erased lifetimes#64

somethingelseentirely merged 1 commit into

maintriblespace/anybytes:mainfrom

claude/formal-verification-RfheNtriblespace/anybytes:claude/formal-verification-RfheNCopy head branch name to clipboard