---

yaml
---
r: 33899
b: refs/heads/snap-stage3
c: 946427b
h: refs/heads/master
i:
  33897: 0e25c89
  33895: b870ddb
v: v3

Author: brson

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: d783f4d7bb543f33aaf0fc8a04c6d5b2493e8268
+refs/heads/snap-stage3: 946427b562d7ece5fc85c5067051c4aec73d5aff
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/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,