The Rust type checker.