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

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
1 // { dg-do compile { target c++2a } }
2
3 template<typename T>
4 concept A = sizeof(T) >= 4;
5
6 template<typename T>
7 concept B = __is_class(T);
8
9 template<A T>
10 void ok1(T a) {
11 return;
12 }
13
14 template<typename T>
15 requires B<T>
16 void ok2(T a) {
17 return;
18 }
19
20 template<A T>
21 requires B<T>
22 void fun(T a) {
23 return;
24 }