diff --git a/src/phantom-data.md b/src/phantom-data.md index c13e3f8..7ed6d2f 100644 --- a/src/phantom-data.md +++ b/src/phantom-data.md @@ -22,7 +22,7 @@ We do this using `PhantomData`, which is a special marker type. `PhantomData` consumes no space, but simulates a field of the given type for the purpose of static analysis. This was deemed to be less error-prone than explicitly telling the type-system the kind of variance that you want, while also providing other -useful such as the information needed by drop check. +useful things such as the information needed by drop check. Iter logically contains a bunch of `&'a T`s, so this is exactly what we tell the PhantomData to simulate: