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

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template <class> struct all_same {
   4   static constexpr bool value = 1;
   5 };
   6 template <class T> concept bool Assignable
   7 = requires(T t)
   8 {
   9   requires all_same<decltype(t = 0)>::value;
  10 };
  11
  12 template <class I> requires !Assignable<I>
  13 int dispatch();
  14 template <Assignable>
  15 void dispatch();
  16
  17 int main() { dispatch<int *>(); }