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