>>174
型推論。fooの型とbarの型とその式の使われ方が勘案される。