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