This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See for the official list.


2276. Dependent noexcept and function type-dependence

Section:  [temp.dep.constexpr]     Status: C++17     Submitter: Maxim Kartashev     Date: 2016-06-23

[Adopted at the February/March, 2017 meeting.]


  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 [temp.dep.type] bullet 9.6: