1 // { dg-do compile { target c++2a } }
2 
3 template<typename T>
4   concept C = __is_class(T);
5 
6 template<typename T>
7   concept D = C<T> && __is_empty(T);
8 
9 template<typename T>
10   struct S {
gS11     void g() requires C<T> { } // #1
gS12     void g() requires D<T> { } // #2
13   };
14 
15 template void S<int>::g(); // { dg-error "match" }
16 
main()17 int main() { }
18