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

   1 // PR c++/66758
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template <class T, class U>
   5 concept bool C = requires (T t, U u) { t + u; };
   6
   7 template <class T, class U>
   8 requires C<T,U>
   9 void f(T t, U u) { t + u; }
  10
  11 int main()
  12 {
  13   using T = decltype(f(42, 24));
  14 }