Rust の型チェッカー (実験的)。