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)
commit6623b3da7d6851ccf42186871c7e325abc5c250a
tree7bcd3cf845d1a2550f1bea51c5d14d9c3f272fb6
parent57c15535608590417bd3d56eb26790e4806b83fc
we use tag 0 so let's not use a NonZero type
ralf/_posts/2019-04-30-stacked-borrows-2.md