Rust Variable Bindings and Type Inference