File tree 1 file changed +3
-6
lines changed
1 file changed +3
-6
lines changed Original file line number Diff line number Diff line change @@ -498,13 +498,10 @@ they go out of scope:
498
498
However, boxes do _ not_ use reference counting or garbage collection. Boxes are
499
499
what's called an * affine type* . This means that the Rust compiler, at compile
500
500
time, determines when the box comes into and goes out of scope, and inserts the
501
- appropriate calls there. Furthermore, boxes are a specific kind of affine type,
502
- known as a * region* . You can read more about regions [ in this paper on the
503
- Cyclone programming
504
- language] ( http://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf ) .
501
+ appropriate calls there.
505
502
506
- You don't need to fully grok the theory of affine types or regions to grok
507
- boxes, though. As a rough approximation, you can treat this Rust code:
503
+ You don't need to fully grok the theory of affine types to grok boxes, though.
504
+ As a rough approximation, you can treat this Rust code:
508
505
509
506
``` {rust}
510
507
{
You can’t perform that action at this time.
0 commit comments