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

// { dg-options "-std=c++1z" }

template<class T> concept bool C1 = true;
template<class A, class B> struct Pair {};
void f(Pair<auto, C1>);