Make the size of Option<NonZero*> a documented guarantee.
Closes #49137, the tracking issue for `NonZero*`, as this was the last remaining open question. Note that `ptr::NonNull<T>` already documents a similar guarantee.
This commit is contained in:
parent
4a9c58c6bd
commit
5c7ca77b17
|
@ -39,10 +39,10 @@ macro_rules! nonzero_integers {
|
|||
$(
|
||||
/// An integer that is known not to equal zero.
|
||||
///
|
||||
/// This may enable some memory layout optimization such as:
|
||||
/// This enables some memory layout optimization.
|
||||
/// For example, `Option<NonZeroU32>` is the same size as `u32`:
|
||||
///
|
||||
/// ```rust
|
||||
/// # #![feature(nonzero)]
|
||||
/// use std::mem::size_of;
|
||||
/// assert_eq!(size_of::<Option<std::num::NonZeroU32>>(), size_of::<u32>());
|
||||
/// ```
|
||||
|
|
Loading…
Reference in New Issue