Explicit annotation - Rust By Example