Type Annotations In Rust