gcc/testsuite/g++.dg/cpp2a/concepts6.C

   1 // { dg-do compile { target c++20 } }
   2
   3 namespace a
   4 {
   5   template<typename = int>
   6     concept b = true; // { dg-message ".a::b. declared here" }
   7 }
   8
   9 static_assert(b); // { dg-error "did you mean .a::b." }
  10
  11 namespace c
  12 {
  13   template<typename>
  14     concept b = true; // { dg-message "concept c::b." }
  15
  16   template<typename>
  17     concept b = true; // { dg-error "concept c::b." }
  18 }