Typestates in Rust (2018) | Hacker News