Well it's more of a feature of the language really. The type of static type checking provided by Rust would be impossible to achieve in C or Python for instance

Well it's more of a feature of the language really. The type of static type checking provided by Rust would be impossible to achieve in C or Python for instance, unless you add specific annotations to augment the language's type system.