about summary refs log tree commit diff
path: root/src/liballoc
diff options
context:
space:
mode:
authorMichael Layzell <michael@thelayzells.com>2015-05-24 21:45:29 -0400
committerMichael Layzell <michael@thelayzells.com>2015-05-24 21:45:29 -0400
commit04ab4a34719979d7f17b4c0df82ac8dbf08af1ad (patch)
treedc604e17b9e4b98a216ecdfdba13ffd1a7a3668f /src/liballoc
parent893e4169337016cc5bbe4048f2132b896bda8ce8 (diff)
downloadrust-04ab4a34719979d7f17b4c0df82ac8dbf08af1ad.tar.gz
rust-04ab4a34719979d7f17b4c0df82ac8dbf08af1ad.zip
Mark `boxed::into_raw` as safe
By the same logic that `mem::forget` is safe, `boxed::into_raw` is actually a safe function. Fixes #25755.
Diffstat (limited to 'src/liballoc')
-rw-r--r--src/liballoc/boxed.rs10
1 files changed, 3 insertions, 7 deletions
diff --git a/src/liballoc/boxed.rs b/src/liballoc/boxed.rs
index 35732dacd44..6633e48a814 100644
--- a/src/liballoc/boxed.rs
+++ b/src/liballoc/boxed.rs
@@ -139,24 +139,20 @@ impl<T : ?Sized> Box<T> {
 /// convert pointer back to `Box` with `Box::from_raw` function, because
 /// `Box` does not specify, how memory is allocated.
 ///
-/// Function is unsafe, because result of this function is no longer
-/// automatically managed that may lead to memory or other resource
-/// leak.
-///
 /// # Examples
 /// ```
 /// # #![feature(alloc)]
 /// use std::boxed;
 ///
 /// let seventeen = Box::new(17u32);
-/// let raw = unsafe { boxed::into_raw(seventeen) };
+/// let raw = boxed::into_raw(seventeen);
 /// let boxed_again = unsafe { Box::from_raw(raw) };
 /// ```
 #[unstable(feature = "alloc",
            reason = "may be renamed")]
 #[inline]
-pub unsafe fn into_raw<T : ?Sized>(b: Box<T>) -> *mut T {
-    mem::transmute(b)
+pub fn into_raw<T : ?Sized>(b: Box<T>) -> *mut T {
+    unsafe { mem::transmute(b) }
 }
 
 #[stable(feature = "rust1", since = "1.0.0")]