17 Templates [temp]

17.8 Function template specializations [temp.fct.spec]

17.8.2 Template argument deduction [temp.deduct]

17.8.2.2 Deducing template arguments taking the address of a function template [temp.deduct.funcaddr]

1
#
Template arguments can be deduced from the type specified when taking the address of an overloaded function ([over.over]).
The function template's function type and the specified type are used as the types of P and A, and the deduction is done as described in [temp.deduct.type].
2
#
A placeholder type ([dcl.spec.auto]) in the return type of a function template is a non-deduced context.
If template argument deduction succeeds for such a function, the return type is determined from instantiation of the function body.