1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 template<typename T, typename U = float> struct A { }; 3 4 typedef A<int> A_int; 5 6 typedef float FLOAT; 7 8 A<int, FLOAT> *foo(A<int> *ptr, A<int> const *ptr2, A<int, double> *ptr3) { 9 if (ptr) 10 return ptr; // okay 11 else if (ptr2) 12 return ptr2; // expected-error{{cannot initialize return object of type 'A<int, FLOAT> *' (aka 'A<int, float> *') with an lvalue of type 'const A<int> *'}} 13 else { 14 return ptr3; // expected-error{{cannot initialize return object of type 'A<int, FLOAT> *' (aka 'A<int, float> *') with an lvalue of type 'A<int, double> *'}} 15 } 16 } 17 18 template<int I> struct B; 19 20 const int value = 12; 21 B<17 + 2> *bar(B<(19)> *ptr1, B< (::value + 7) > *ptr2, B<19 - 3> *ptr3) { 22 if (ptr1) 23 return ptr1; 24 else if (ptr2) 25 return ptr2; 26 else 27 return ptr3; // expected-error{{cannot initialize return object of type 'B<17 + 2> *' with an lvalue of type 'B<19 - 3>}} 28 } 29 30 typedef B<5> B5; 31 32 33 namespace N { 34 template<typename T> struct C {}; 35 } 36 37 N::C<int> c1; 38 typedef N::C<float> c2; 39 40 // PR5655 41 template<typename T> struct Foo { }; // expected-note{{template is declared here}} 42 43 void f(void) { Foo bar; } // expected-error{{use of class template 'Foo' requires template arguments}} 44 45 // rdar://problem/8254267 46 template <typename T> class Party; 47 template <> class Party<T> { friend struct Party<>; }; // expected-error {{use of undeclared identifier 'T'}} 48
