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)
commitdd5d6e9045661fdeb506b9009f214ef24f2c346f
tree9a027131e372b57a4de81b883f2d84284d0580f7
parentc978ebe6da26c876b0f4c1cc4d81705cd5390e2c
box calling Box::into_raw; add some rustdoc links
ralf/_posts/2018-07-19-const.md