Open
Description
Location
https://doc.rust-lang.org/std/primitive.pointer.html#method.wrapping_offset
Summary
The resulting pointer “remembers” the allocated object that self points to; it must not be used to read or write other allocated objects.
This is describing provenance, but it seems to have been written before rust's provenance rules started getting written down, as it does not use the word, nor does it link to the section.