1 // { dg-do compile { target c++17 } }
2 // { dg-options "-fconcepts" }
3 
4 template<class T> concept bool C1 = true;
5 template<class A, class B> struct Pair {};
6 void f(Pair<auto, C1>);
7