LANGUAGE · VERIFIED
Memory & Pointers
let x = 10;
let p = &mut x;
*p = 20;
return *p;Verified
*mut T&mut- Dereference
- Pointer read/write
- Pointer assignment
- Pointer-to-local scenarios
arena- Arena escape protection
- Pointer-safety diagnostics
Not established
Complete lifetime semantics, aliasing rules, pointer arithmetic, null-pointer semantics, and a complete ownership/borrow model are not established by this audit.
TRACEABILITY
Related Evidence
Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.