gcc/testsuite/g++.dg/cpp2a/concepts-member-concept.C


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

// { dg-do compile { target c++2a } }

// FIXME: Diagnostics should be better.

struct Base {
  template<typename T>
  static concept D = __is_same_as(T, int); // { dg-error "static data member" }

  template<typename T, typename U>
  static concept E = __is_same_as(T, U); // { dg-error "static data member" }

  template<typename T>
  concept C1 = __is_same_as(T, int); // { dg-error "not in namespace scope" }
};

union U {
  template<typename T>
  concept C = true; // // { dg-error "not in namespace scope" }
};

// { dg-excess-errors "deprecated" }