What's true about variables?

A variable can automatically recognize its typeWe can't change a variable's type later onWe can't change a variable's value later on

Great! Type inference means we don't have to specify a type. We can change a variable's value, but the type is permanent after declaration.

Nope! Type inference means we don't have to specify a type. We can change a variable's value, but the type is permanent after declaration.