2 ms·Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol11 points by fanf2 2y ago