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

   1 // PR c++/67159
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template <class T, class U>
   5 concept bool SameAs = __is_same_as(T, U);
   6
   7 template <class T>
   8 concept bool R1 = requires (T& t) {
   9   { t.begin() } -> T
  10   { t.end() } -> SameAs<T*>;
  11 };
  12
  13 template <class T>
  14 concept bool R2 = requires (T& t) {
  15   { t.end() } -> SameAs<T*>;
  16 };
  17
  18 struct foo {
  19   int* begin();
  20   int* end();
  21 };
  22
  23 R1{T}
  24 constexpr bool f() { return true; }
  25
  26 R2{T}
  27 constexpr bool g() { return true; }
  28
  29 static_assert(f<foo>());        // { dg-error "" }
  30 static_assert(g<foo>());        // { dg-error "" }