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.