Rusts memory safety is enforced via type safety. You can enforce more than just memory safety related invariants with the same type system?

I've seen many people make this claim and it's wrong but also silly. How do you think type systems work?