diff options
| author | John Kleint <jk@hinge.co> | 2014-10-12 23:50:22 -0400 |
|---|---|---|
| committer | John Kleint <jk@hinge.co> | 2014-10-12 23:50:22 -0400 |
| commit | ed7d1be12f61e8a863c8c1cb645ca12f9ce38721 (patch) | |
| tree | 2bd8362bbd8cd87ee955699ead1c36dd134e1716 | |
| parent | ff61b74a7d98bae2586047227579733080b71cf6 (diff) | |
Guide: specify that both shared and mutable borrows can be re-lent.
| -rw-r--r-- | src/doc/guide.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/doc/guide.md b/src/doc/guide.md index 4e9966cb3db..d507812478e 100644 --- a/src/doc/guide.md +++ b/src/doc/guide.md @@ -3538,9 +3538,8 @@ restriction: 1. If the borrow is immutable, you may read the data the pointer points to. 2. If the borrow is mutable, you may read and write the data the pointer points to. -3. You may lend the pointer to someone else in an immutable fashion, **BUT** -4. When you do so, they must return it to you before you must give your own - borrow back. +3. You may lend the pointer to someone else, **BUT** +4. When you do so, they must return it before you can give your own borrow back. This last requirement can seem odd, but it also makes sense. If you have to return something, and you've lent it to someone, they need to give it back to |
