[josh11b]

I don't think Rust polymorphism is decidable: https://sdleffler.github.io/RustTypeSystemTuringComplete/

[choeger]

Well, shit. They broke the language. I still hope that a reasonable subset of the type system remains decidable, though.