diff --git a/src/phantom-data.md b/src/phantom-data.md index 58ee61d..4c9a880 100644 --- a/src/phantom-data.md +++ b/src/phantom-data.md @@ -91,12 +91,12 @@ Here’s a table of all the wonderful ways `PhantomData` could be used: | Phantom type | `'a` | `T` | |-----------------------------|-----------|---------------------------| -| `PhantomData` | - | variant (with drop check) | -| `PhantomData<&'a T>` | variant | variant | -| `PhantomData<&'a mut T>` | variant | invariant | -| `PhantomData<*const T>` | - | variant | +| `PhantomData` | - | covariant (with drop check) | +| `PhantomData<&'a T>` | covariant | covariant | +| `PhantomData<&'a mut T>` | covariant | invariant | +| `PhantomData<*const T>` | - | covariant | | `PhantomData<*mut T>` | - | invariant | | `PhantomData` | - | contravariant | -| `PhantomData T>` | - | variant | +| `PhantomData T>` | - | covariant | | `PhantomData T>` | - | invariant | | `PhantomData>` | invariant | - |