| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647 |
- // RUN: %clang_cc1 -fsyntax-only -verify %s
- template<typename T, typename U = float> struct A { };
- typedef A<int> A_int;
- typedef float FLOAT;
- A<int, FLOAT> *foo(A<int> *ptr, A<int> const *ptr2, A<int, double> *ptr3) {
- if (ptr)
- return ptr; // okay
- else if (ptr2)
- return ptr2; // expected-error{{cannot initialize return object of type 'A<int, FLOAT> *' with an lvalue of type 'const A<int> *'}}
- else {
- return ptr3; // expected-error{{cannot initialize return object of type 'A<int, FLOAT> *' with an lvalue of type 'A<int, double> *'}}
- }
- }
- template<int I> struct B;
- const int value = 12;
- B<17 + 2> *bar(B<(19)> *ptr1, B< (::value + 7) > *ptr2, B<19 - 3> *ptr3) {
- if (ptr1)
- return ptr1;
- else if (ptr2)
- return ptr2;
- else
- return ptr3; // expected-error{{cannot initialize return object of type 'B<17 + 2> *' with an lvalue of type 'B<19 - 3>}}
- }
- typedef B<5> B5;
- namespace N {
- template<typename T> struct C {};
- }
- N::C<int> c1;
- typedef N::C<float> c2;
- // PR5655
- template<typename T> struct Foo { }; // expected-note{{template is declared here}}
- void f(void) { Foo bar; } // expected-error{{use of class template 'Foo' requires template arguments}}
- // rdar://problem/8254267
- template <typename T> class Party;
- template <> class Party<T> { friend struct Party<>; }; // expected-error {{use of undeclared identifier 'T'}}
|