diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/concepts/req12.C')
-rw-r--r-- | gcc/testsuite/g++.dg/concepts/req12.C | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/gcc/testsuite/g++.dg/concepts/req12.C b/gcc/testsuite/g++.dg/concepts/req12.C deleted file mode 100644 index c6b345a08e9..00000000000 --- a/gcc/testsuite/g++.dg/concepts/req12.C +++ /dev/null @@ -1,26 +0,0 @@ -// PR c++/66218 -// { dg-do compile { target c++17 } } -// { dg-options "-fconcepts" } - -#include <type_traits> - -template <class T, class U> -concept bool Same = - std::is_same<T, U>::value; - -template <class T> -concept bool C = - requires(T t) { - { t } -> Same<T>; - }; - -template <class> -constexpr bool f() { return false; } -template <C> -constexpr bool f() { return true; } - -static_assert(f<char>(), ""); -static_assert(f<int>(), ""); -static_assert(f<double>(), ""); - -int main() {} |