Douglas Gregor | a933319 | 2010-05-08 17:41:32 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | |
| 3 | template<typename T> |
| 4 | const T& min(const T&, const T&); // expected-note{{candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'long')}} |
| 5 | |
| 6 | void test_min() { |
| 7 | (void)min(1, 2l); // expected-error{{no matching function for call to 'min'}} |
| 8 | } |
Douglas Gregor | f1a8445 | 2010-05-08 19:15:54 +0000 | [diff] [blame] | 9 | |
| 10 | template<typename R, typename T> |
| 11 | R *dyn_cast(const T&); // expected-note{{candidate template ignored: couldn't infer template argument 'R'}} |
| 12 | |
| 13 | void test_dyn_cast(int* ptr) { |
| 14 | (void)dyn_cast(ptr); // expected-error{{no matching function for call to 'dyn_cast'}} |
| 15 | } |
| 16 | |
| 17 | template<int I, typename T> |
| 18 | void get(const T&); // expected-note{{candidate template ignored: invalid explicitly-specified argument for template parameter 'I'}} |
| 19 | template<template<class T> class, typename T> |
| 20 | void get(const T&); // expected-note{{candidate template ignored: invalid explicitly-specified argument for 1st template parameter}} |
| 21 | |
| 22 | void test_get(void *ptr) { |
| 23 | get<int>(ptr); // expected-error{{no matching function for call to 'get'}} |
| 24 | } |
Douglas Gregor | ec20f46 | 2010-05-08 20:07:26 +0000 | [diff] [blame] | 25 | |
| 26 | template<typename T> |
| 27 | typename T::type get_type(const T&); // expected-note{{candidate template ignored: substitution failure [with T = int *]}} |
| 28 | |
| 29 | void test_get_type(int *ptr) { |
| 30 | (void)get_type(ptr); // expected-error{{no matching function for call to 'get_type'}} |
| 31 | } |
Douglas Gregor | ff5adac | 2010-05-08 20:18:54 +0000 | [diff] [blame] | 32 | |
| 33 | struct X { |
| 34 | template<typename T> |
| 35 | const T& min(const T&, const T&); // expected-note{{candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'long')}} |
| 36 | }; |
| 37 | |
| 38 | void test_X_min(X x) { |
| 39 | (void)x.min(1, 2l); // expected-error{{no matching member function for call to 'min'}} |
| 40 | } |