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