view gcc/testsuite/g++.dg/concepts/req7.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
line wrap: on
line source

// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }

#include <vector>

using namespace std;

template<typename T>
  struct Sequence : std::false_type { };

template<typename T>
  struct Predicate : std::false_type { };

template<typename Seq, typename Fn>
  requires Sequence<Seq>{} and Predicate<Fn>{}
    bool all(const Seq& seq, Fn fn) {
      for(const auto& x : seq)
        if (not fn(x))
          return false;
      return true;
    }

int main() {
  all(vector<int>{0, 2}, true); // { dg-error "not|bool" }
}