---

yaml
---
r: 36509
b: refs/heads/try2
c: 38ba2c4
h: refs/heads/master
i:
  36507: 380bfd1
v: v3

Author: brson

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: b52a4b412e515620c2c3ccbe8b7f8c7e0300f6ff
+refs/heads/try2: 38ba2c4941ede8d999a0208c50f1ad077ba259da
 refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
 refs/heads/dist-snap: 22efa39382d41b084fde1719df7ae8ce5697d8c9
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/try2/src/libcore/kinds.rs

@@ -1,9 +1,35 @@
-//! The kind traits
+/*!
+The kind traits
 
-#[lang="const"]
-pub trait Const {
-    // Empty.
-}
+Rust types can be classified in vairous useful ways according to
+intrinsic properties of the type. These classifications, often called
+'kinds', are represented as traits.
+
+They cannot be implemented by user code, but are instead implemented
+by the compiler automatically for the types to which they apply.
+
+The 4 kinds are
+
+* Copy - types that may be copied without allocation. This includes
+  scalar types and managed pointers, and exludes owned pointers. It
+  also excludes types that implement `Drop`.
+
+* Send - owned types and types containing owned types.  These types
+  may be transferred across task boundaries.
+
+* Const - types that are deeply immutable. Const types are used for
+  freezable data structures.
+
+* Owned - types that do not contain borrowed pointers. Note that this
+  meaning of 'owned' conflicts with 'owned pointers'. The two notions
+  of ownership are different.
+
+`Copy` types include both implicitly copyable types that the compiler
+will copy automatically and non-implicitly copyable types that require
+the `copy` keyword to copy. Types that do not implement `Copy` may
+instead implement `Clone`.
+
+*/
 
 #[lang="copy"]
 pub trait Copy {
@@ -15,6 +41,11 @@ pub trait Send {
     // Empty.
 }
 
+#[lang="const"]
+pub trait Const {
+    // Empty.
+}
+
 #[lang="owned"]
 pub trait Owned {
     // Empty.