diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp2a/concepts-requires14.C')
-rw-r--r-- | gcc/testsuite/g++.dg/cpp2a/concepts-requires14.C | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-requires14.C b/gcc/testsuite/g++.dg/cpp2a/concepts-requires14.C new file mode 100644 index 00000000000..e2893c061de --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/concepts-requires14.C @@ -0,0 +1,24 @@ +// { dg-do compile { target c++2a } } + +template<typename T> +concept A = sizeof(T) >= 4; + +template<typename T> +concept B = __is_class(T); + +template<A T> +void ok1(T a) { + return; +} + +template<typename T> + requires B<T> +void ok2(T a) { + return; +} + +template<A T> + requires B<T> +void fun(T a) { + return; +} |