Created on 2023-01-11.00:00:00 last changed 3 days ago
Proposed resolution (approved by CWG 2023-01-27):
Change in 188.8.131.52.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]
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.
|2023-01-27 23:50:39||admin||set||status: open -> tentatively ready|
|2023-01-15 11:51:48||admin||set||messages: + msg7134|