clarify what happens when memory gets deallocated
authorRalf Jung <post@ralfj.de>
Mon, 15 Oct 2018 16:18:21 +0000 (18:18 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 15 Oct 2018 16:18:21 +0000 (18:18 +0200)
commitf47bb2d3374f1628f2a94efdf19af9b63c770ee2
tree495d7f81dee20e27d04fbd17e6039cba59c45170
parentf3d54b8e919b2ae34cca1992d7978472a3a2c505
clarify what happens when memory gets deallocated
ralf/_posts/2018-08-07-stacked-borrows.md