projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
fe97e57
)
intra-document links
author
Ralf Jung
<post@ralfj.de>
Tue, 13 Nov 2018 08:05:26 +0000
(09:05 +0100)
committer
Ralf Jung
<post@ralfj.de>
Tue, 13 Nov 2018 08:05:26 +0000
(09:05 +0100)
ralf/_drafts/stacked-borrows-implementation.md
patch
|
blob
|
history
diff --git
a/ralf/_drafts/stacked-borrows-implementation.md
b/ralf/_drafts/stacked-borrows-implementation.md
index 17c8d27c4be198149808f696d5618ea7750650cf..b4035fea626c6aa54d73da6baa4dfdedf90a6e57 100644
(file)
--- a/
ralf/_drafts/stacked-borrows-implementation.md
+++ b/
ralf/_drafts/stacked-borrows-implementation.md
@@
-33,8
+33,10
@@
changed a bit, but also because I think I understand the model better myself
now.
Ready? Let's get started. I hope you brought some time, because this is a
now.
Ready? Let's get started. I hope you brought some time, because this is a
-rather lengthy post. If you are not interested in the details, you can skip
-right to section 4. If you only want to know how to help, go to section 6.
+rather lengthy post. If you are not interested in a detailed description of
+Stacked Borrows, you can skip most of this post and go right to
+[section 4](#4-differences-to-the-original-proposal). If you only want to know
+how to help, jump to [section 6](#6-evaluation-and-how-you-can-help).
## 1 Enforcing Uniqueness
## 1 Enforcing Uniqueness
@@
-782,7
+784,7
@@
implement in miri because dereferences can happen any time a path is evaluated,
but it is nevertheless interesting and might be useful in a "lower-level MIR"
that does not permit dereferences in paths.
but it is nevertheless interesting and might be useful in a "lower-level MIR"
that does not permit dereferences in paths.
-## Evaluation, and How You Can Help
+##
6
Evaluation, and How You Can Help
I have implemented both the validity invariant and the model as described above
in miri. This [uncovered](https://github.com/rust-lang/rust/issues/54908) two
I have implemented both the validity invariant and the model as described above
in miri. This [uncovered](https://github.com/rust-lang/rust/issues/54908) two