Compile-Time Invariants in Rust | Hacker News Reader