Add description of how values are dropped to Drop trait.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/libcore/ops.rs b/src/libcore/ops.rs
index a2cdd646bd4..f2385cfcd78 100644
--- a/src/libcore/ops.rs
+++ b/src/libcore/ops.rs
@@ -153,7 +153,13 @@ use marker::Unsize;
 /// The `Drop` trait is used to run some code when a value goes out of scope.
 /// This is sometimes called a 'destructor'.
 ///
-/// 
+/// When a value goes out of scope, if it implements this trait, it will have
+/// its `drop` method called. Then any fields the value contains will also
+/// be dropped recursively.
+///
+/// Because of the recursive dropping, even for types that do not implement
+/// this trait, you do not need to implement this trait unless your type
+/// needs its own destructor logic.
 ///
 /// # Examples
 ///