1 // { dg-do compile { target c++17 } }
2 
3 template <typename a, a> struct b;
4 template <typename c> struct b<bool, c::d>; // { dg-error "template parameter" }
5