1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// { dg-do compile { target c++20 } } // { dg-additional-options "-fconcepts" } #include <type_traits> template <class T, class U> concept Same = std::is_same<T, U>::value; struct test { template <Same<int>... Ints> void func(Ints... ints) {} }; int main() { test t; t.func(1, 2, 3); }