gcc/testsuite/g++.dg/cpp2a/concepts-pr84980.C

// { dg-do compile { target c++17_only } }
// { dg-additional-options "-fconcepts" }

template<T> concept bool C = true;  // { dg-error "has not been declared" }