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)24X<int Y::*> test0(X<int Y::*> x) { return x; } test1(X<long> x)25X<int> test1(X<long> x) { return x; } 26 27 test2(X<int Y::* > x)28X<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)32void 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)50void test_X2(X3 &to, X3 from) { 51 to = from; 52 } 53