111
|
1 // PR c++/73456
|
131
|
2 // { dg-do compile { target c++17 } }
|
|
3 // { dg-options "-fconcepts" }
|
111
|
4
|
|
5 template<typename...> struct list {};
|
|
6
|
|
7 template<typename Seq>
|
|
8 concept bool Sequence = true;
|
|
9
|
|
10 template<Sequence... Seqs>
|
|
11 struct zip;
|
|
12
|
|
13 template<Sequence... Seqs>
|
|
14 requires requires { typename list<Seqs...>; }
|
|
15 // main.cpp:12:8: internal compiler error: in non_atomic_constraint_p, at cp/logic.cc:315
|
|
16 struct zip<Seqs...> {};
|
|
17
|
|
18 int main()
|
|
19 {
|
|
20 zip<list<>, list<int>> {};
|
|
21 }
|