O código que você escreve é "transformado" em MSIL (Microsoft Intermediate Language).

Nesse processo o compilador pega seus "var" e transforma na tipagem correta.

Esse é um tópico bem avançado, tentei escrever em 1 frase. Saiba apenas que não há nenhuma perda de performance ou outro problema por usar "var" ou o tipo desejado.