// { dg-do link { target c++17_only } }
// { dg-options "-fconcepts-ts" }


// template<typename T>
// concept bool C() { return true; }


template<typename T>
concept bool C = true;

void f1(C, C);
void f2(C, C);
void f3(C, C);

int main() {
  f1(0, 0);
  f2(0, 0);
  f3(0, 0);
}

void f1(C, C) { }

template<C T1, C T2>
void f2(T1, T2) { }

template<typename T, typename U>
  requires C<T> && C<U>
void f3(T, U) { }