Skip to content

Commit

Permalink
fix typo in Lifetimes mutable reference aliasing section
Browse files Browse the repository at this point in the history
  • Loading branch information
mxxo committed Jul 6, 2020
1 parent bfe1ab9 commit d052363
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lifetimes.md
Original file line number Diff line number Diff line change
Expand Up @@ -213,7 +213,7 @@ understand `Vec` at all. What it *does* see is that `x` has to live for `'b` to
be printed. The signature of `Index::index` subsequently demands that the
reference we take to `data` has to survive for `'b`. When we try to call `push`,
it then sees us try to make an `&'c mut data`. Rust knows that `'c` is contained
within `'b`, and rejects our program because the `&'b data` must still be live!
within `'b`, and rejects our program because the `&'b data` must still be alive!

Here we see that the lifetime system is much more coarse than the reference
semantics we're actually interested in preserving. For the most part, *that's
Expand Down

0 comments on commit d052363

Please sign in to comment.