C言語に型推論を導入するとして

func(n) {
　int ac = n;
　return n;
}

これだけでfuncの引数nの型と戻り型はintって判断してもいいの？
少なくとも暗黙の型変換でintに出来る型ということは確定だよね？