Rust の型チェッカー。