---

yaml
---
r: 236020
b: refs/heads/stable
c: c3c9d91
h: refs/heads/master
v: v3

Author: Gankra

[refs]

@@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
 refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
 refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
 refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
-refs/heads/stable: 74b398b93d647237acbc1c738e55e47ec13ea7b2
+refs/heads/stable: c3c9d9140530a9709449fd32e830bf88f567845c
 refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
 refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
 refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e

branches/stable/lifetimes.md

@@ -447,15 +447,9 @@ The variance of `*const` and `*mut` is basically arbitrary as they're not at all
 type or memory safe, so their variance is determined in analogy to & and &mut
 respectively.
 
-
-
-
-## PhantomData
-
 This is all well and good for the types the standard library provides, but
-how is variance determined for type that *you* define? A struct is, informally
-speaking, covariant over all its fields (and an enum over its variants). This
-basically means that it inherits the variance of its fields. If a struct `Foo`
+how is variance determined for type that *you* define? A struct informally
+speaking inherits the variance of its fields. If a struct `Foo`
 has a generic argument `A` that is used in a field `a`, then Foo's variance
 over `A` is exactly `a`'s variance. However this is complicated if `A` is used
 in multiple fields.
@@ -478,6 +472,17 @@ struct Foo<'a, 'b, A, B, C, D, E, F, G, H> {
 }
 ```
 
+
+
+
+## Dropck
+
+TODO
+
+
+## PhantomData
+
+
 However when working with unsafe code, we can often end up in a situation where
 types or lifetimes are logically associated with a struct, but not actually
 part of a field. This most commonly occurs with lifetimes. For instance, the `Iter`
@@ -511,6 +516,8 @@ pub struct Iter<'a, T: 'a> {
 }
 ```
 
+However PhantomData is also necessary to signal important information to
+*dropck*. (TODO)