Refinement types for Rust | Hacker News Reader