En el segundo caso, el compilador "infiere" los tipos de las expresiones y las declaraciones de acuerdo al contexto.