gcc/testsuite/g++.dg/concepts/req7.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 #include <vector>
   4
   5 using namespace std;
   6
   7 template<typename T>
   8   struct Sequence : std::false_type { };
   9
  10 template<typename T>
  11   struct Predicate : std::false_type { };
  12
  13 template<typename Seq, typename Fn>
  14   requires Sequence<Seq>{} and Predicate<Fn>{}
  15     bool all(const Seq& seq, Fn fn) {
  16       for(const auto& x : seq)
  17         if (not fn(x))
  18           return false;
  19       return true;
  20     }
  21
  22 int main() {
  23   all(vector<int>{0, 2}, true); // { dg-error "not|bool" }
  24 }