clarify write_bytes a bit

RalfJung · RalfJung · commit c197dc467fc1 · 2018-09-21T16:01:58.000+02:00
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));
