type inference
The compiler working out a type you didn't write.
Type inference lets the compiler deduce types from how values are used, so most local variables need no annotation.
Examples
In
let lives = 3;the compiler picksi32;let n = "5".parse().unwrap();fails with E0284 because nothing says what type to parse into.
See also