Suggested changes by birkenfeld

src/libcore/ops.rs

@@ -157,9 +157,8 @@ use marker::Unsize;
 /// 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
+/// Because of the recursive dropping, you do not need to implement this trait
-/// this trait, you do not need to implement this trait unless your type
+/// unless your type needs its own destructor logic.
-/// needs its own destructor logic.
 ///
 /// # Examples
 ///
@@ -181,9 +180,8 @@ use marker::Unsize;
 /// ```
 ///
 /// Showing the recursive nature of `Drop`. When `outer` goes out of scope, the
-/// `drop` method will be called for `Outer` and then the `drop` method for
+/// `drop` method will be called first for `Outer`, then for `Inner`. Therefore
-/// `Inner` will be called. Therefore `main` prints `Dropping Outer!` and then
+/// `main` prints `Dropping Outer!` and then `Dropping Inner!`.
-/// `Dropping Inner!`.
 ///
 /// ```
 /// struct Inner;