1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 // Make sure that copy constructors and assignment operators are properly
4 // generated when there is a matching
5 
6 // PR5072
7 template<typename T>
8 struct X {
9   template<typename U>
XX10   X(const X<U>& other)
11     : value(other.value + 1) { } // expected-error{{binary expression}}
12 
13   template<typename U>
operator =X14   X& operator=(const X<U>& other)  {
15     value = other.value + 1; // expected-error{{binary expression}}
16     return *this;
17   }
18 
19   T value;
20 };
21 
22 struct Y {};
23 
test0(X<int Y::* > x)24 X<int Y::*> test0(X<int Y::*> x) { return x; }
test1(X<long> x)25 X<int> test1(X<long> x) { return x; }
26 
27 
test2(X<int Y::* > x)28 X<int> test2(X<int Y::*> x) {
29   return x; // expected-note{{instantiation}}
30 }
31 
test3(X<int> & x,X<int> xi,X<long> xl,X<int Y::* > xmptr)32 void test3(X<int> &x, X<int> xi, X<long> xl, X<int Y::*> xmptr) {
33   x = xi;
34   x = xl;
35   x = xmptr; // expected-note{{instantiation}}
36 }
37 
38 struct X1 {
39   X1 &operator=(const X1&);
40 };
41 
42 template<typename T>
43 struct X2 : X1 {
44   template<typename U> X2 &operator=(const U&);
45 };
46 
47 struct X3 : X2<int> {
48 };
49 
test_X2(X3 & to,X3 from)50 void test_X2(X3 &to, X3 from) {
51   to = from;
52 }
53