Richard Trieu | 910515b | 2012-11-07 21:17:13 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | |
| 3 | template<typename T> class vector2 {}; |
| 4 | template<typename T> class vector : vector2<T> {}; |
| 5 | |
| 6 | template<typename T> void Foo2(vector2<const T*> V) {} // expected-note{{candidate template ignored: can't deduce a type for 'T' which would make 'const T' equal 'int'}} |
| 7 | template<typename T> void Foo(vector<const T*> V) {} // expected-note {{candidate template ignored: can't deduce a type for 'T' which would make 'const T' equal 'int'}} |
| 8 | |
| 9 | void test() { |
| 10 | Foo2(vector2<int*>()); // expected-error{{no matching function for call to 'Foo2'}} |
| 11 | Foo(vector<int*>()); // expected-error{{no matching function for call to 'Foo'}} |
| 12 | } |