---

yaml
---
r: 179519
b: refs/heads/snap-stage3
c: 310ada0
h: refs/heads/master
i:
  179517: 6ba3e27
  179515: 9e1966c
  179511: 8ae71bf
  179503: c514a37
  179487: 6715ce6
  179455: 4067410
v: v3

Author: Junseok Lee

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: 0ba9e1fa52627404a1e5b90f745f96a872a0c564
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: b6544fd3520d5eed05aafeb6b78737e32bf2c435
+refs/heads/snap-stage3: 310ada06f2d632340845ccd4d7e68a1b54d2f28a
 refs/heads/try: ccf8fedf1cffcb8f6f3581d53d220039e192fe77
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d

branches/snap-stage3/src/libcore/marker.rs

@@ -308,6 +308,20 @@ impl<T: ?Sized> Clone for ContravariantType<T> {
 ///
 /// For more information about variance, refer to this Uncyclopedia
 /// article <http://en.wikipedia.org/wiki/Variance_%28computer_science%29>.
+///
+/// # Example
+///
+/// The Cell type is an example of an `InvariantType` which uses unsafe
+/// code to achieve "interior" mutability:
+///
+/// ```
+/// struct Cell<T> { value: T }
+/// ```
+///
+/// The type system would infer that `value` is only read here
+/// and never written, but in fact `Cell` uses unsafe code to achieve
+/// interior mutability. In order to get correct behavior, the
+/// `InvariantType` marker must be applied.
 #[unstable(feature = "core",
            reason = "likely to change with new variance strategy")]
 #[lang="invariant_type"]