// { dg-do compile { target c++20 } } | |
namespace a | |
{ | |
template<typename = int> | |
concept b = true; // { dg-message ".a::b. declared here" } | |
} | |
static_assert(b); // { dg-error "did you mean .a::b." } | |
namespace c | |
{ | |
template<typename> | |
concept b = true; // { dg-message "concept c::b." } | |
template<typename> | |
concept b = true; // { dg-error "concept c::b." } | |
} |