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