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 } 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 } 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 } 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 } 41
