fix: add aliasing rules for Box

Author: DiuDiu777

library/alloc/src/boxed.rs

@@ -998,6 +998,11 @@ impl<T: ?Sized> Box<T> {
     /// memory problems. For example, a double-free may occur if the
     /// function is called twice on the same raw pointer.
     ///
+    /// The ownership of `raw` is effectively transferred to the resulting
+    /// `Box<T>` which may then deallocate or change the contents of memory
+    /// pointed to by the pointer at will. You must ensure that nothing else uses
+    /// the pointer after calling this function.
+    ///
     /// The raw pointer must point to a block of memory allocated by the global allocator.
     ///
     /// The safety conditions are described in the [memory layout] section.
@@ -1047,6 +1052,11 @@ impl<T: ?Sized> Box<T> {
     /// memory problems. For example, a double-free may occur if the
     /// function is called twice on the same `NonNull` pointer.
     ///
+    /// The ownership of `ptr` is effectively transferred to the resulting
+    /// `Box<T>` which may then deallocate or change the contents of memory
+    /// pointed to by the pointer at will. You must ensure that nothing else uses
+    /// the pointer after calling this function.
+    ///
     /// The non-null pointer must point to a block of memory allocated by the global allocator.
     ///
     /// The safety conditions are described in the [memory layout] section.
@@ -1221,6 +1231,11 @@ impl<T: ?Sized, A: Allocator> Box<T, A> {
     /// memory problems. For example, a double-free may occur if the
     /// function is called twice on the same raw pointer.
     ///
+    /// The ownership of `raw` is effectively transferred to the resulting
+    /// `Box<T>` which may then deallocate or change the contents of memory
+    /// pointed to by the pointer at will. You must ensure that nothing else uses
+    /// the pointer after calling this function.
+    ///
     /// The raw pointer must point to a block of memory allocated by `alloc`.
     ///
     /// # Examples
@@ -1274,6 +1289,11 @@ impl<T: ?Sized, A: Allocator> Box<T, A> {
     /// memory problems. For example, a double-free may occur if the
     /// function is called twice on the same raw pointer.
     ///
+    /// The ownership of `raw` is effectively transferred to the resulting
+    /// `Box<T>` which may then deallocate or change the contents of memory
+    /// pointed to by the pointer at will. You must ensure that nothing else uses
+    /// the pointer after calling this function.
+    ///
     /// The non-null pointer must point to a block of memory allocated by `alloc`.
     ///
     /// # Examples