Compiling Rust is NP-hard
I had not thought of pattern-exhaustiveness checking like that.<p>Isn&#x27;t compiling several languages, including Rust, actually undecidable though? Seems like if your type system or metaprogramming systems are Turing complete, this has to be the case.<p>So that&#x27;s ~worse than NP-hard already (though calling it NP-hard is still technically correct).