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