Mercurial > hg > CbC > CbC_gcc

diff gcc/testsuite/g++.dg/concepts/variadic4.C @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
line wrap: on
line diff
--- a/gcc/testsuite/g++.dg/concepts/variadic4.C	Thu Oct 25 07:37:49 2018 +0900
+++ b/gcc/testsuite/g++.dg/concepts/variadic4.C	Thu Feb 13 11:34:05 2020 +0900
@@ -1,5 +1,5 @@
 // PR c++/73456
-// { dg-do compile { target c++17 } }
+// { dg-do compile { target c++17_only } }
 // { dg-options "-fconcepts" }
 
 template<typename...> struct list {};
@@ -7,13 +7,14 @@
 template<typename Seq>
 concept bool Sequence = true;
 
-template<Sequence... Seqs>
+template<Sequence... Seqs> // requires (Sequence<Seqs> && ...)
 struct zip;
 
 template<Sequence... Seqs>
-    requires requires { typename list<Seqs...>; }
-// main.cpp:12:8: internal compiler error: in non_atomic_constraint_p, at cp/logic.cc:315
-struct zip<Seqs...> {};
+    requires requires { typename list<Seqs...>; } // && (Sequence<Seqs> && ...)
+struct zip<Seqs...> {}; // { dg-error "does not specialize" }
+// The constraints of the specialization and the sequence are not
+// comparable; the specializations are unordered.
 
 int main()
 {