Re:What Is Rust's Hole Purpose?
by avgcorrection on Friday February 18, 2022 @04:30PM
(#30391374)
What was the Rustonomicon error?
[ Parent
| on HN ]
Re:What Is Rust's Hole Purpose?
by steveklabnik on Friday February 18, 2022 @05:07PM
(#30391749)
I think they're talking about https://github.com/rust-unofficial/too-many-lists/issues/213
not rustonomicon, https://rust-unofficial.github.io/too-many-lists/fifth-layou... there are new sections that were recently added to this