Mercurial > hg > CbC > CbC_gcc
annotate gcc/testsuite/g++.dg/cpp2a/concepts-requires4.C @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
rev | line source |
---|---|
145 | 1 // { dg-do compile { target c++2a } } |
2 | |
3 // Test associated type requirements | |
4 | |
5 // req8.C | |
6 | |
7 template<typename T> | |
8 concept Has_member_type = requires { typename T::type; }; | |
9 | |
10 template<typename T> | |
11 concept Concept = true && Has_member_type<T>; | |
12 | |
13 template<typename T> | |
14 requires Concept<T> | |
15 void foo(T t) { } |