blob: 8be365dfa974779c8a68d527b68dd86eef7df415 (
plain)
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 "" }
}
|