Een proces waarin de compiler concludeert het type van een lokale variabele die is gedeclareerd met het gereserveerde woord var in C# of zonder een As-component in Visual Basic. De compiler concludeert het type van de variabele van het type van de initializer meningsuiting.