From a5e2d0c4e5f4afe1bd52ed0ebe0be03890d3af62 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 24 Feb 2019 12:25:46 +0100 Subject: [PATCH] remark that the rules are unfinished --- src/libcore/mem.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/libcore/mem.rs b/src/libcore/mem.rs index 30fa904101d2..d4d51f8eeb76 100644 --- a/src/libcore/mem.rs +++ b/src/libcore/mem.rs @@ -1230,6 +1230,8 @@ impl MaybeUninit { /// let x_vec = unsafe { &*x.as_ptr() }; /// // We have created a reference to an uninitialized vector! This is undefined behavior. /// ``` + /// (Notice that the rules around referenced to uninitialized data are not finalized yet, but + /// until they are, it is advisable to avoid them.) #[unstable(feature = "maybe_uninit", issue = "53491")] #[inline(always)] pub fn as_ptr(&self) -> *const T { @@ -1266,6 +1268,8 @@ impl MaybeUninit { /// let x_vec = unsafe { &mut *x.as_mut_ptr() }; /// // We have created a reference to an uninitialized vector! This is undefined behavior. /// ``` + /// (Notice that the rules around referenced to uninitialized data are not finalized yet, but + /// until they are, it is advisable to avoid them.) #[unstable(feature = "maybe_uninit", issue = "53491")] #[inline(always)] pub fn as_mut_ptr(&mut self) -> *mut T {