diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2015-03-23 17:13:38 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2015-03-23 17:13:38 -0700 |
| commit | 7380b6ffc84a296a61fcc017e4c5135529bba2b3 (patch) | |
| tree | 4c4a2e1cb73a1d82e8a9281c08be06d147e243d9 | |
| parent | 6a44f24b9e05c67cf2d0e62234e8395e283e21d0 (diff) | |
| parent | 05c9728c6943bc313e29cdf8140caecda0c62715 (diff) | |
| download | rust-7380b6ffc84a296a61fcc017e4c5135529bba2b3.tar.gz rust-7380b6ffc84a296a61fcc017e4c5135529bba2b3.zip | |
rollup merge of #23645: steveklabnik/gh23642
Fixes #23642
| -rw-r--r-- | src/doc/trpl/pointers.md | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/doc/trpl/pointers.md b/src/doc/trpl/pointers.md index 39106aaf857..bd9b449fc08 100644 --- a/src/doc/trpl/pointers.md +++ b/src/doc/trpl/pointers.md @@ -498,13 +498,10 @@ they go out of scope: However, boxes do _not_ use reference counting or garbage collection. Boxes are what's called an *affine type*. This means that the Rust compiler, at compile time, determines when the box comes into and goes out of scope, and inserts the -appropriate calls there. Furthermore, boxes are a specific kind of affine type, -known as a *region*. You can read more about regions [in this paper on the -Cyclone programming -language](http://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf). +appropriate calls there. -You don't need to fully grok the theory of affine types or regions to grok -boxes, though. As a rough approximation, you can treat this Rust code: +You don't need to fully grok the theory of affine types to grok boxes, though. +As a rough approximation, you can treat this Rust code: ```{rust} { |
