don't use Option<NonNull> in the example code
authorRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 12:46:12 +0000 (14:46 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 9 Apr 2018 14:15:04 +0000 (16:15 +0200)
commite770d4e05702bb0cbff0f2d0cb78f09cf75a4b28
treea56f0c537d4bfeb6987bd7591a8d4f9fae44cd44
parent56e27ca9176b5ecb9b6148d1086039290c2d3925
don't use Option<NonNull> in the example code
personal/_posts/2018-04-05-a-formal-look-at-pinning.md