diff --git a/src/dropck.md b/src/dropck.md index 4063d561..7db6ed93 100644 --- a/src/dropck.md +++ b/src/dropck.md @@ -260,7 +260,7 @@ compiler is not checking the implicit assertion that no potentially expired data The attribute can be applied to any number of lifetime and type parameters. In the following example, we assert that we access no data behind a reference of -lifetime `'b` and that the only uses of `T` will be moves or drops, but omit +lifetime `'b` and that the only uses of `T` will be drops, but omit the attribute from `'a` and `U`, because we do access data with that lifetime and that type: