box calling Box::into_raw; add some rustdoc links
authorRalf Jung <post@ralfj.de>
Tue, 7 Aug 2018 17:17:46 +0000 (19:17 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 7 Aug 2018 17:17:46 +0000 (19:17 +0200)
commit8ceb4f5cbcd35197c8d637b308dce9cda40cb007
treea6712e11f7e40eb25b91824cb44aa12fbfb72480
parentf5cc045de814c793e7b927beafa405ee0a8923a1
box calling Box::into_raw; add some rustdoc links
personal/_posts/2018-07-19-const.md