1 2 3 4
// { dg-do compile { target c++17_only } } // { dg-additional-options "-fconcepts" } template<T> concept bool C = true; // { dg-error "has not been declared" }