This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115d. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-10-26

1292. Dependent calls with braced-init-lists containing a pack expansion

[Moved to DR at the November, 2014 meeting.]

The discussion of issue 1233 revealed that the dependency of function calls involving a braced-init-list containing a pack expansion is not adequately addressed by the existing wording.

Proposed resolution (February, 2014):

1. Change 13.8.3 [temp.dep] paragraph 1 as follows:

...In an expression of the form:

postfix-expression ( expression-list_opt )

where the postfix-expression is an unqualified-id, the unqualified-id denotes a dependent name if

• any of the expressions in the expression-list is a pack expansion (13.7.4 [temp.variadic]),

• any of the expressions or braced-init-lists in the expression-list is a type-dependent expression (13.8.3.3 [temp.dep.expr]), or

• if the unqualified-id is...

2. Add the following as a new paragraph at the end of 13.8.3.3 [temp.dep.expr]:

A class member access expression (7.6.1.5 [expr.ref]) is type-dependent if...

A braced-init-list is type-dependent if any element is type-dependent or is a pack expansion.