we use tag 0 so let's not use a NonZero type
authorRalf Jung <post@ralfj.de>
Thu, 6 Jun 2019 13:35:31 +0000 (15:35 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 6 Jun 2019 13:35:31 +0000 (15:35 +0200)
personal/_posts/2019-04-30-stacked-borrows-2.md

index 573182609c221ac984791687f4efaaa408fa3a44..669d49dff54d539c813628b5501a72102742b50f 100644 (file)
@@ -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 %}
 {% 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 = NonZeroU64;
+pub type PtrId = u64;
 pub enum Tag {
     Tagged(PtrId),
     Untagged,
 pub enum Tag {
     Tagged(PtrId),
     Untagged,