From 025bf9582eb97d72d71ed54fc52941dbb836cf48 Mon Sep 17 00:00:00 2001
From: Tobias Bucher <tobiasbucher5991@gmail.com>
Date: Tue, 7 Mar 2017 23:39:49 +0100
Subject: [PATCH] Clarify handling of `src` in `ptr::write`

Fixes #39733.
---
 src/libcore/ptr.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/libcore/ptr.rs b/src/libcore/ptr.rs
index 02851c224e2e3..260fdab9d58fb 100644
--- a/src/libcore/ptr.rs
+++ b/src/libcore/ptr.rs
@@ -191,6 +191,10 @@ pub unsafe fn read_unaligned<T>(src: *const T) -> T {
 /// allocations or resources, so care must be taken not to overwrite an object
 /// that should be dropped.
 ///
+/// It does not immediately drop the contents of `src` either; it is rather
+/// *moved* into the memory location `dst` and will be dropped whenever that
+/// location goes out of scope.
+///
 /// This is appropriate for initializing uninitialized memory, or overwriting
 /// memory that has previously been `read` from.
 ///