gcc/testsuite/g++.dg/cpp2a/concepts-redecl1.C

// PR c++/94553
// { dg-do compile { target c++20 } }

struct E { };
template<typename> concept E = false; // { dg-error "different kind of entity" }
template<typename> concept F = false;
struct F { }; // { dg-error "different kind of entity" }