Pattern matching and exhaustiveness checking algorithms implemented in Rust | Heykuki News