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

#ifndef __cpp_concepts
#error __cpp_concepts not defined
#endif