Proces, w którym kompilator ustala typ zmiennej lokalnej, która jest zadeklarowana ze słowem kluczowym var w C# lub bez klauzula As w języku Visual Basic. Kompilator ustala typ zmiennej z typem wyrażenia inicjatora.