Analizzando il contesto, si chiama type inferring ed è una delle cose migliori mai inventate a mio parere!