1 // { dg-options "-std=c++17 -fconcepts" }
3 // Redefinition errors.
6 concept bool C() { return __is_class(T); }
9 concept bool D() { return C<T>() and __is_empty(T); }
11 template<C T> void f(T x) { }
14 void f(T x) { } // { dg-error "redefinition" }