// { dg-do compile { target c++17 } }

template <typename a, a> struct b;
template <typename c> struct b<bool, c::d>; // { dg-error "not deducible" }