Μια διαδικασία στην οποία ο μεταγλωττιστής συνάγει το είδος της μια τοπική μεταβλητή που δηλώνεται με τη var λέξη-κλειδί σε C# ή χωρίς ρήτρα As σε Visual Basic. Ο μεταγλωττιστής συνάγει τον τύπο της μεταβλητής από τον τύπο της έκφρασης σύνολο αρχικών τιμών.