Rust 타입 검사기.