aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/concepts/req5.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.dg/concepts/req5.C')
-rw-r--r--gcc/testsuite/g++.dg/concepts/req5.C19
1 files changed, 0 insertions, 19 deletions
diff --git a/gcc/testsuite/g++.dg/concepts/req5.C b/gcc/testsuite/g++.dg/concepts/req5.C
deleted file mode 100644
index 7ad1cab9e93..00000000000
--- a/gcc/testsuite/g++.dg/concepts/req5.C
+++ /dev/null
@@ -1,19 +0,0 @@
-// { dg-do compile { target c++17 } }
-// { dg-options "-fconcepts" }
-
-struct fool { };
-
-constexpr fool operator&&(fool, fool) { return {}; }
-constexpr fool operator||(fool, fool) { return {}; }
-
-template<typename T> constexpr fool p1() { return {}; }
-template<typename T> constexpr fool p2() { return {}; }
-
-template<typename T>
- concept bool C() { return p1<T>() && p2<T>(); }
-
-template<C T> void f(T x) { }
-
-int main() {
- f(0); // { dg-error "cannot call|uses overloaded operator" }
-}