Un processo in cui il compilatore inferisce il tipo di una variabile locale dichiarata con la parola chiave var in c# o senza una clausola As in Visual Basic. Il compilatore inferisce il tipo della variabile dal tipo di espressione dell'inizializzatore.