145
|
1 // PR c++/72415
|
|
2 // { dg-do compile { target c++17 } }
|
|
3 // { dg-options "-fconcepts" }
|
|
4
|
|
5 template<int... Xs>
|
|
6 struct indices {};
|
|
7
|
|
8 template<typename Dummy>
|
|
9 struct foo_type {
|
|
10 template<int... Indices>
|
|
11 static void impl(indices<Indices...>)
|
|
12 requires (... && (Indices, true));
|
|
13
|
|
14 static auto caller()
|
|
15 { return impl(indices<0, 1, 2> {}); }
|
|
16 };
|
|
17
|
|
18 int main()
|
|
19 {
|
|
20 // internal compiler error: in satisfy_predicate_constraint, at cp/constraint.cc:2013
|
|
21 foo_type<void>::caller();
|
|
22 }
|