1 2 3 4 5 6 7 8
// PR c++/93400 // { dg-do compile { target concepts } } template <typename> bool a = true; template <typename i> concept b = a<i>; template <int> struct f { template <b c> friend auto g(c, f); }; auto d = f<1>{}; auto e = f<0>{};