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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// { 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." }
}