Skip to content

Commit 87ef2e9

Browse files
authored
Update mod.rs
1 parent f65b523 commit 87ef2e9

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

library/core/src/ptr/mod.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -66,10 +66,10 @@
6666
//! a separate allocated object), and `static` variables.
6767
//!
6868
//! It is guaranteed that an allocated object never spans more than `isize::MAX` bytes.
69-
//! The address "at the end" of an allocated object (i.e., one past the last byte that
70-
//! is contained inside the allocated object) can always be computed without wrapping
71-
//! around the address space. Equivalently, the address `usize::MAX` is never contained
72-
//! in an allocated object.
69+
//! An allocated object cannot contain the last (`usize::MAX`) byte of the address space.
70+
//! As a consequence, any address which is either in the allocated object or one byte past
71+
//! the last address in the allocated object can be computed without wrapping around the
72+
//! address space.
7373
//!
7474
//! # Strict Provenance
7575
//!

0 commit comments

Comments
 (0)