"Return type deduction for a function template with a placeholder in its declared type occurs when the
definition is instantiated even if the function body contains a return statement with a non-type-dependent
operand."

"function template" is not enough; we also need to cover non-templated member functions of class templates etc.