manual: Clarify that Drop types cannot be Copy

2012-11-30 11:23:17 -08:00 · 2012-11-30 11:23:17 -08:00 · 946427b562
parent 38ba2c4941
commit 946427b562
1 changed files with 1 additions and 0 deletions
--- 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,