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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 // Check that we can evaluate constant requires-expressions
   4 // as constant expressions, for the curious case when they
   5 // appear within predicate constraints.
   6
   7 template<typename... Ts> struct variant { };
   8
   9 template<typename T>
  10 concept bool Streamable()
  11 {
  12   return requires (T t) { t; };
  13 }
  14
  15 template<typename T>
  16 concept bool Range()
  17 {
  18   return requires (T t) { t; };
  19 }
  20
  21 template<class T>
  22   requires Streamable<T>() and not Range<T>()
  23 void print(const T& x) { }
  24
  25 int main()
  26 {
  27   print("hello"); // { dg-error "cannot call" }
  28 }