// { dg-do compile { target c++2a } }

#ifndef __cpp_concepts
#error __cpp_concepts not defined
#endif