https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78361
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org --- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Or to demonstrate the regression, this is valid but fails with gcc7 in C++17 mode: #include <type_traits> using std::is_same; using std::add_pointer; void f() noexcept { } static_assert(is_same<add_pointer<decltype(f)>::type, decltype(&f)>::value, "");