diff gcc/testsuite/g++.dg/cpp2a/concepts-pr65575.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr65575.C	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,23 @@
+// PR c++/65575
+// { dg-do compile { target c++17_only } }
+// { dg-additional-options "-fconcepts" }
+
+template<typename T>
+concept bool C = false;
+
+int f1() requires false;
+int& f2() requires false;
+int* f3() requires false;
+auto f4() -> int& requires false;
+auto f5() -> int* requires false;
+auto f6() -> int requires false;
+
+int (*p1)() requires true; // { dg-error "" }
+int (&p2)() requires true; // { dg-error "" }
+int g(int (*)() requires true); // { dg-error "" }
+
+int
+main()
+{
+  f1(); // { dg-error "" }
+}