annotate gcc/testsuite/g++.dg/concepts/pr68434.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // { dg-options "-std=c++17 -fconcepts" }
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 template <class>
kono
parents:
diff changeset
4 concept bool C1 () {
kono
parents:
diff changeset
5 return true;
kono
parents:
diff changeset
6 }
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 template <class>
kono
parents:
diff changeset
9 concept bool C2 () {
kono
parents:
diff changeset
10 return true;
kono
parents:
diff changeset
11 }
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 template <class Expr>
kono
parents:
diff changeset
14 concept bool C3 () {
kono
parents:
diff changeset
15 return requires (Expr expr) {
kono
parents:
diff changeset
16 {expr}->C1;
kono
parents:
diff changeset
17 {expr}->C2;
kono
parents:
diff changeset
18 };
kono
parents:
diff changeset
19 }
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 auto f (C3);