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


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

// PR c++/94186
// { dg-do compile { target concepts } }

template <typename T>
struct is_small
{
  enum { value = sizeof(T) <= 4 };
};

template <typename T>
  requires is_small<T>::value	// { dg-error "bool" }
void fun(T) {}

template <typename T>
void fun(T) {}

int main()
{
  fun(1);  // { dg-message "" }
}