1 2 3 4 5 6 7
// PR c++/98717 // { dg-do compile { target c++20 } } template<typename... T> concept True = true; static_assert(True<>);