gcc/testsuite/g++.dg/template/canon-type-14.C

// PR c++/94632
// { dg-do compile { target c++11 } }

template <bool> struct b;
template <typename> class c {
  template <typename f> static void d(f e, b<decltype(e)::k>);
};
template class c<int>;