summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2016-07-18 17:13:41 -0400
committerJason Merrill <jason@redhat.com>2016-07-19 02:10:54 -0400
commitd553ba6fcbdc4b0526aa6e855d72032c44fc56c6 (patch)
tree2c4d25f0283392809a2dc348c24b1e4c3128a10b
parentc536c71093b19ae11294ca7f5ce753dcdf2f4445 (diff)
downloadgcc-d553ba6fcbdc4b0526aa6e855d72032c44fc56c6.tar.gz
Test for EXPR_CONSTR case.
-rw-r--r--gcc/testsuite/g++.dg/concepts/req19.C13
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/concepts/req19.C b/gcc/testsuite/g++.dg/concepts/req19.C
new file mode 100644
index 00000000000..0564b0ce8b0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/concepts/req19.C
@@ -0,0 +1,13 @@
+// { dg-options "-std=c++1z -fconcepts" }
+
+struct B
+{
+ template <class T> void f(T t)
+ requires requires (T tt) { tt; }
+ { }
+};
+
+int main()
+{
+ B().f(42);
+}