`var` daje inferencję typu dla zmiennych lokalnych: kompilator wywnioskuje statyczny typ z inicjalizatora. To NIE robi z Javy języka dynamicznego. `var` działa tylko dla zmiennych lokalnych z inicjalizatorem (nie dla pól, parametrów metod ani bez przypisania).