3 ms·

Rust's type system is undecidable. You can see a few languages listed here: https://3fx.ch/typing-is-hard.html https://3fx.ch/typing-is-hard.html

• silon42 5y ago
  I believe there are limits to recursion (as mentioned in link above), so not strictly true. Perhaps they are too big?
  • kibwen 5y ago
    Rust's recursion limit is fairly low, I believe it's 128. However, you can override this if you find it too restrictive.
  • randomswede 5y ago
    So (tongue firmly in cheek), no Rust compiler actually fully implements Rust?