1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<typename T> struct A { }; 4 5 template<typename T> A<T> f0(T*); 6 7 void test_f0(int *ip, float const *cfp) { 8 A<int> a0 = f0(ip); 9 A<const float> a1 = f0(cfp); 10 } 11 12 template<typename T> void f1(T*, int); 13 14 void test_f1(int *ip, float fv) { 15 f1(ip, fv); 16 } 17 18 template<typename T> void f2(T*, T*); // expected-note {{candidate template ignored: could not match 'T *' against 'ConvToIntPtr'}} \ 19 // expected-note{{candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'float')}} 20 21 struct ConvToIntPtr { 22 operator int*() const; 23 }; 24 25 void test_f2(int *ip, float *fp) { 26 f2(ip, ConvToIntPtr()); // expected-error{{no matching function}} 27 f2(ip, ip); // okay 28 f2(ip, fp); // expected-error{{no matching function}} 29 } 30 31 namespace test3 { 32 template<typename T> 33 struct bar { }; 34 35 template<typename T> 36 struct foo { 37 operator bar<T>(); 38 }; 39 40 template<typename T> 41 void func(bar<T>) { // expected-note {{candidate template ignored: could not match 'bar' against 'foo'}} 42 } 43 44 void test() { 45 func(foo<int>()); // expected-error {{no matching function}} 46 } 47 } 48
