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;
