Rust 类型检查器。