[Bug c++/86233] explicit specialization of function template accepted with weaker exception specification

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86233

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|A tricky code sample        |explicit specialization of
                   |                            |function template accepted
                   |                            |with weaker exception
                   |                            |specification

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Reduced further:

template<typename T> void f() noexcept { }

template<> void f<int>() { }