I think this is why Rust's type inference only applies within a function.