Type InferenceType inference é a capacidade do compilador de descobrir automaticamente o tipo de uma variável com base no contexto.