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

2025-04-13

2405. Additional type-dependent expressions

[Accepted at the July, 2022 meeting.]

According to 13.8.3.3 [temp.dep.expr] paragraph 3,

...Expressions of the following forms are type-dependent only if the type specified by the type-id, simple-type-specifier or new-type-id is dependent, even if any subexpression is type-dependent:

simple-type-specifier(expression-list)
::_optnewnew-placement_opt new-type-id new-initializer_opt
::_optnewnew-placement_opt(type-id)new-initializer_opt
dynamic_cast <type-id> (expression)
static_cast <type-id> (expression)
const_cast <type-id> (expression)
reinterpret_cast <type-id> (expression)
(type-id)cast-expression

This list is missing cases for:

simple-type-specifier braced-init-list
typename-specifier(expression-list_opt)
typename-specifier braced-init-list

Proposed resolution (approved by CWG 2022-06-17):

Change in 13.8.3.3 [temp.dep.expr] paragraph 3 as follows:

Expressions of the following forms are type-dependent only if the type specified by the type-id, simple-type-specifier, typename-specifier, or new-type-id is dependent, even if any subexpression is type-dependent:

simple-type-specifier ( expression-listopt ) simple-type-specifierbraced-init-listtypename-specifier ( expression-listopt ) typename-specifierbraced-init-list ...