Reducing Raw Pointer Footguns: Preventing Reference Aliasing Violations at Compile Time

The point of the example is not the specific body of the code itself. The raw pointer operation is only a simulation of real world code or low level operations that fundamentally require raw pointers and can not be changed into references. Eg FFI calls, low level code, intrusive data structures, 3rd party libs that take raw pointers It is demonstrating how fragile the aliasing violation becomes once raw pointers and references start interacting. A tiny ordering mistake silently become UB without any compile time error