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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T, typename U>
   4 struct is_same
   5 {
   6   static constexpr bool value = false;
   7 };
   8
   9 template<typename T>
  10 struct is_same<T, T>
  11 {
  12   static constexpr bool value = true;
  13 };
  14
  15 template<class T, class U>
  16 concept bool Same = is_same<T, U>::value;
  17
  18 template<typename T>
  19 concept bool C1 = true;
  20
  21 template<typename T, typename U>
  22 concept bool C2 = true;
  23
  24 template<typename T>
  25 concept bool C3() { return true; }
  26
  27 template<typename T, typename U>
  28 concept bool C4() { return true; }
  29
  30 C1      c1 = 0;
  31 C2<int> c2 = 0;
  32 C3      c3 = 0;
  33 C4<int> c4 = 0;
  34 Same<int> s1 = 'a'; // { dg-error "does not satisfy|is_same" }