gcc/testsuite/g++.dg/concepts/deduction-constraint1.C

   1 // PR c++/67007
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template <class U>
   5 concept bool A =
   6   requires (U u) { u; };
   7
   8 template <class T>
   9 concept bool B =
  10   requires (T t) { { t } -> A; };
  11
  12 void foo(B);