Um processo em que o compilador determina o tipo de dados de uma variável local que tenha sido declarada sem uma declaração de tipo de dados explícita. O tipo é inferido do valor inicial fornecido para a variável.