fix typo in Lifetimes mutable reference aliasing section

pull/225/head
Max Orok 4 years ago
parent bfe1ab96d7
commit d052363c6a

@ -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 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`, 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 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 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 semantics we're actually interested in preserving. For the most part, *that's

Loading…
Cancel
Save