> 実引数の型から一定の規則に基づいて関数の型を推測し

func(1);

int func();

func("string");

int func();

こうなるだけで推測なんて気の利いたことはしないよ