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