1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// PR c++/93467 // { dg-do compile { target c++20 } } template<bool B> requires B class C; template<typename> class S1 { template<bool B> requires B friend class ::C; }; template<typename> class S2 { template<bool B> requires (!B) friend class ::C; // { dg-error "does not match original declaration" } };