we use tag 0 so let's not use a NonZero type
[web.git] / ralf / _posts / 2019-04-30-stacked-borrows-2.md
index 5731826..669d49d 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 %}
-pub type PtrId = NonZeroU64;
+pub type PtrId = u64;
 pub enum Tag {
     Tagged(PtrId),
     Untagged,