Affected subclause: [temp.deduct.type]
Change: Deducing template arguments from exception specifications
. Rationale: Facilitate generic handling of throwing and non-throwing functions
. Effect on original feature: Valid ISO C++ 2020 code may be ill-formed in this revision of C++
. [
Example 1:
template<bool> struct A { };
template<bool B> void f(void (*)(A<B>) noexcept(B));
void g(A<false>) noexcept;
void h() {
f(g);
}
—
end example]