Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/cpp2a/concepts-requires4.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
// { 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) { }