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
[Adopted at the February/March, 2017 meeting.]
Consider:
template <bool B> struct A { void static foo() noexcept(B);// only dependent on B void bar(struct X* x) { buz<noexcept(foo)>(x); // dependent call through explicit template arguments? } };
A value-dependent exception specification ought to make the type of the corresponding function type-dependent.
Proposed resolution (February, 2017):
Add the following as a new bullet following 13.8.3.2 [temp.dep.type] bullet 9.6:
...
an array type whose element type is dependent or whose bound (if any) is value-dependent,
a function type whose exception specification is value-dependent,
...