https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101715
--- Comment #16 from Marek Polacek <mpolacek at gcc dot gnu.org> --- This slightly modified test started to ICE with r11-4682 which is the gist of the problem: template <class T> struct S { S<T> bar() noexcept(T::value); S<T> foo() noexcept(T::value); }; template <class T> S<T> S<T>::foo() noexcept(T::value) {}