diff --git a/src/phantom-data.md b/src/phantom-data.md index 1cfd38f..c82859e 100644 --- a/src/phantom-data.md +++ b/src/phantom-data.md @@ -106,7 +106,9 @@ that that `Vec` _owns_ values of type `T` (more precisely: may use values of in its `Drop` implementation), and Rust will thus not allow them to _dangle_ should a `Vec` be dropped. -**Adding an extra `_owns_T: PhantomData` field is thus _superfluous_ and accomplishes nothing**. +When a type already has a `Drop impl`, **adding an extra `_owns_T: PhantomData` field +is thus _superfluous_ and accomplishes nothing**, dropck-wise (it still affects variance +and auto-traits). ___