Type inference

The compiler deriving an expression or declaration type from its initializer, arguments, and surrounding expected type.