Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol