Mercurial > hg > CbC > CbC_gcc
diff 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 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires4.C Thu Feb 13 11:34:05 2020 +0900 @@ -0,0 +1,15 @@ +// { dg-do compile { target c++2a } } + +// Test associated type requirements + +// req8.C + +template<typename T> +concept Has_member_type = requires { typename T::type; }; + +template<typename T> +concept Concept = true && Has_member_type<T>; + +template<typename T> + requires Concept<T> +void foo(T t) { }