It is a tradeoff, but I prefer my checks at compile time to runtime. Python can be brittle and silently wrong.
What kind of type checking do you think Rust does at runtime?
Google it and try it yourself.
I’m familiar with Rust’s runtime checks, Java has more of those. I’m curious what exactly do you mean.