Compiling Rust is NP-hard(compilercrim.es)
compilercrim.es
Compiling Rust is NP-hard
https://compilercrim.es/rust-np/
1 comments
This is because of exhaustiveness checking in match statements, so it applies to many more languages than Rust: most modern languages have match statements whose pattern can be tuples and literals.