How to deny int variable without explicit type annotation in Rust?

Question

I often use integer type without type annotation:

let mut counter = 0

If there is no constraint, rustc w