From a2f9535f3ec478014c2303106414a986d18d2b46 Mon Sep 17 00:00:00 2001 From: Carl Fredrik Samson Date: Tue, 14 Apr 2020 23:56:25 +0200 Subject: [PATCH] fist sentence might be confusing, so I changed it --- src/4_pin.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/4_pin.md b/src/4_pin.md index c1d4a2a..79d0afb 100644 --- a/src/4_pin.md +++ b/src/4_pin.md @@ -15,7 +15,9 @@ it gets significantly easier to reason about. ## Definitions -Pin is only relevant for pointers. A reference to an object is a pointer. +Pin wraps a pointer. A reference to an object is a pointer. Pin gives some +guarantees about the _pointee_ (the data it points to) which we'll explore further +in this chapter. Pin consists of the `Pin` type and the `Unpin` marker. Pin's purpose in life is to govern the rules that need to apply for types which implement `!Unpin`.