https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94632
--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> --- Smaller testcase that exhibits the ICE: template <bool> struct b; template <typename> class c { template <typename f> static void d(f e, b<decltype(e)::k> x); public: static const bool h = false; }; bool y = c<int>::h;