File tree 2 files changed +6
-4
lines changed
2 files changed +6
-4
lines changed Original file line number Diff line number Diff line change @@ -484,8 +484,9 @@ impl<T: ?Sized> *const T {
484
484
///
485
485
/// This operation itself is always safe, but using the resulting pointer is not.
486
486
///
487
- /// The resulting pointer "remembers" the [allocated object] that `self` points to; it must not
488
- /// be used to read or write other allocated objects.
487
+ /// The resulting pointer "remembers" the [allocated object] that `self` points to
488
+ /// (this is called "[Provenance](ptr/index.html#provenance)").
489
+ /// The pointer must not be used to read or write other allocated objects.
489
490
///
490
491
/// In other words, `let z = x.wrapping_offset((y as isize) - (x as isize))` does *not* make `z`
491
492
/// the same as `y` even if we assume `T` has size `1` and there is no overflow: `z` is still
Original file line number Diff line number Diff line change @@ -482,8 +482,9 @@ impl<T: ?Sized> *mut T {
482
482
///
483
483
/// This operation itself is always safe, but using the resulting pointer is not.
484
484
///
485
- /// The resulting pointer "remembers" the [allocated object] that `self` points to; it must not
486
- /// be used to read or write other allocated objects.
485
+ /// The resulting pointer "remembers" the [allocated object] that `self` points to
486
+ /// (this is called "[Provenance](ptr/index.html#provenance)").
487
+ /// The pointer must not be used to read or write other allocated objects.
487
488
///
488
489
/// In other words, `let z = x.wrapping_offset((y as isize) - (x as isize))` does *not* make `z`
489
490
/// the same as `y` even if we assume `T` has size `1` and there is no overflow: `z` is still
You can’t perform that action at this time.
0 commit comments