1 // { dg-do compile { target c++11 } } 2 // { dg-additional-options "-fconcepts" } 3 4 template<class... Xs> consume(Xs &&...)5void consume(Xs&&...) {} 6 7 template<class... Xs> 8 struct A { 9 template<class... Ys> requiresA10 requires requires(Ys... ys) { 11 consume(Xs{ys}...); 12 } AA13 A(Ys&&... ys) { 14 } 15 }; 16 main()17int main() { 18 A<int, long> a(55, 2); 19 } 20