manual: Clarify that Drop types cannot be Copy

catamorphism · Nov 30, 2012 · 946427b · 946427b
1 parent 38ba2c4
commit 946427b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/rust.md b/doc/rust.md
@@ -2731,6 +2731,7 @@ The kinds are:
   : This kind includes all types that can be copied. All types with
     sendable kind are copyable, as are managed boxes, managed closures,
     trait types, and structural types built out of these.
+    Types with destructors (types that implement `Drop`) can not implement `Copy`.
 _Default_
   : Types with destructors, closure environments,
     and various other _non-first-class_ types,