This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
[Accepted as a DR at the February, 2023 meeting.]
In 13.1 [temp.pre] paragraph 8, the phrase "templated entity" is defined. The derived term "templated function" is never actually defined, but is intended to apply to function templates as well as non-template members of class templates. Similarly, the phrases "templated variable" and "templated class" should be properly defined.
Proposed resolution (approved by CWG 2023-01-27):
Change in 220.127.116.11.1 [dcl.spec.auto.general] paragraph 12 as follows:
Return type deduction for a templated
entity that is afunction or function templatewith 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.
Change in 13.1 [temp.pre] paragraph 8 as follows:
[Note 6: A local class, a local or block variable, or a friend function defined in a templated entity is a templated entity. —end note]