Resolve https://github.com/rust-lang/rust/pull/124870#issuecomment-21… · model-checking/verify-rust-std@613145f (original) (raw)

Original file line number Diff line number Diff line change
@@ -137,10 +137,13 @@
137 137 //!
138 138 //! [^extern_fn]: this remains true for any argument/return types and any other ABI: `extern "abi" fn` (_e.g._, `extern "system" fn`)
139 139 //!
140 +//! Under some conditions the above types `T` are also null pointer optimized when wrapped in a [`Result`][result_repr].
141 +//!
140 142 //! [`Box`]: ../../std/boxed/struct.Box.html
141 143 //! [`num::NonZero*`]: crate::num
142 144 //! [`ptr::NonNull`]: crate::ptr::NonNull
143 145 //! [function call ABI]: ../primitive.fn.html#abi-compatibility
146 +//! [result_repr]: crate::result::Result#Representation
144 147 //!
145 148 //! This is called the "null pointer optimization" or NPO.
146 149 //!