blob: b2c0541e951065a506d662f0bc1b83e09c7ed458 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
// { dg-do compile { target c++11 } }
template<bool, class T = void>
struct enable_if {};
template<class T>
struct enable_if<true, T>
{
using type = T;
};
template<class T>
struct is_true
{
static constexpr bool value = true;
};
extern void* enabler;
template <typename T, typename enable_if<is_true<T>::value>::type*& = enabler>
class A
{
public:
A()
{}
template <typename U>
A& operator=( A<U>&& )
{
return *this;
}
};
int main()
{
A<int> a_i;
A<double> a_d;
a_i = a_d; // { dg-error "cannot bind" }
}
|