2 // { dg-options "-std=c++17 -fconcepts" }
4 template<int... Indices>
7 template<typename Dummy>
9 template<int... Indices>
10 static void impl(indices<Indices...>)
11 requires (... && (Indices, true));
14 { return impl(indices<0, 1, 2> {}); }
19 // internal compiler error: in satisfy_predicate_constraint, at cp/constraint.cc:2013
20 foo_type<void>::caller();