Type Inference

When we use a let to declare a new variable, we have the option to give it a type. In other words, both of the lets below are valid Rust: