gcc/testsuite/g++.dg/cpp1z/pr81016.C

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

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