projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
57c1553
)
we use tag 0 so let's not use a NonZero type
author
Ralf Jung
<post@ralfj.de>
Thu, 6 Jun 2019 13:35:31 +0000
(15:35 +0200)
committer
Ralf Jung
<post@ralfj.de>
Thu, 6 Jun 2019 13:35:31 +0000
(15:35 +0200)
ralf/_posts/2019-04-30-stacked-borrows-2.md
patch
|
blob
|
history
diff --git
a/ralf/_posts/2019-04-30-stacked-borrows-2.md
b/ralf/_posts/2019-04-30-stacked-borrows-2.md
index 573182609c221ac984791687f4efaaa408fa3a44..669d49dff54d539c813628b5501a72102742b50f 100644
(file)
--- a/
ralf/_posts/2019-04-30-stacked-borrows-2.md
+++ b/
ralf/_posts/2019-04-30-stacked-borrows-2.md
@@
-80,7
+80,7
@@
pub struct Stack {
{% endhighlight %}
The *tag* is also simpler than it was before: there are no longer separate tags for mutable and shared references.
{% highlight rust %}
-pub type PtrId =
NonZeroU
64;
+pub type PtrId =
u
64;
pub enum Tag {
Tagged(PtrId),
Untagged,