つ、つ、ついに暗黙的なテンプレートのインスタンス化ｷﾀ━━━━━━(ﾟ∀ﾟ)━━━━━━ !!!!

条件
１．テンプレートが「関数テンプレート」であること。
２．特殊化してたらダメ
３．暗黙の推論に使用*されない*テンプレート引数はデフォルト値をもてる

関数テンプレートとは、
template Hoge(T) {
T Hoge(T t) { return -t; }
}
テンプレートのメンバが一つだけで、テンプレートと同じ名前で、関数である場合。