clarify write_bytes a bit

rust-lang · Sep 21, 2018 · c197dc4 · c197dc4
1 parent adcc0d2
commit c197dc4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/libcore/intrinsics.rs b/src/libcore/intrinsics.rs
@@ -1162,6 +1162,10 @@ extern "rust-intrinsic" {
     /// // Even leaking `v` "uses" it, and hence is undefined behavior.
     /// // mem::forget(v); // ERROR
     ///
+    /// // In fact, `v` is invalid according to basic type layout invariants, so *any*
+    /// // operation touching it is undefined behavior.
+    /// // let v2 = v; // ERROR
+    ///
     /// unsafe {
     ///     // Let us instead put in a valid value
     ///     ptr::write(&mut v as *mut Box<i32>, Box::new(42i32));