What kind of type checking do you think Rust does at runtime?