Compiling Rust is NP-hard
compilercrim.esThis 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.
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.